Professional Documents
Culture Documents
No part of this digital document may be reproduced, stored in a retrieval system or transmitted in any form or
by any means. The publisher has taken reasonable care in the preparation of this digital document, but makes no
expressed or implied warranty of any kind and assumes no responsibility for any errors or omissions. No
liability is assumed for incidental or consequential damages in connection with or arising out of information
contained herein. This digital document is sold with the clear understanding that the publisher is not engaged in
rendering legal, medical or any other professional services.
Mathematics Research Developments
All rights reserved. No part of this book may be reproduced, stored in a retrieval system or transmitted
in any form or by any means: electronic, electrostatic, magnetic, tape, mechanical photocopying,
recording or otherwise without the written permission of the Publisher.
We have partnered with Copyright Clearance Center to make it easy for you to obtain permissions to
reuse content from this publication. Simply navigate to this publication’s page on Nova’s website and
locate the “Get Permission” button below the title description. This button is linked directly to the
title’s permission page on copyright.com. Alternatively, you can visit copyright.com and search by
title, ISBN, or ISSN.
For further questions about using the service on copyright.com, please contact:
Copyright Clearance Center
Phone: +1-(978) 750-8400 Fax: +1-(978) 750-4470 E-mail: info@copyright.com.
Independent verification should be sought for any data, advice or recommendations contained in this
book. In addition, no responsibility is assumed by the Publisher for any injury and/or damage to persons
or property arising from any methods, products, instructions, ideas or otherwise contained in this
publication.
This publication is designed to provide accurate and authoritative information with regard to the subject
matter covered herein. It is sold with the clear understanding that the Publisher is not engaged in
rendering legal or any other professional services. If legal or any other expert assistance is required,
the services of a competent person should be sought. FROM A DECLARATION OF PARTICIPANTS
JOINTLY ADOPTED BY A COMMITTEE OF THE AMERICAN BAR ASSOCIATION AND A
COMMITTEE OF PUBLISHERS.
Additional color graphics may be available in the e-book version of this book.
Preface xi
Acknowledgments xiii
1 Introduction 1
1.1 Terminology and Notation . . . . . . . . . . . . . . . . . 2
1.2 Examples of Linear PDEs . . . . . . . . . . . . . . . . . . 6
1.2.1. Scalar PDEs . . . . . . . . . . . . . . . . . . . . 7
1.2.2. System of PDEs . . . . . . . . . . . . . . . . . . 9
1.3 Strategies for Studying PDEs . . . . . . . . . . . . . . . . 10
1.3.1. Well Posed Problems: Classical Solutions . . . . . 10
1.3.2. Weak Solutions and Regularity . . . . . . . . . . . 11
1.3.3. Typical Difficulties . . . . . . . . . . . . . . . . . 12
1.4 Generalized Functions . . . . . . . . . . . . . . . . . . . 13
11 Conclusion 339
References 341
Index 345
Preface
The laws of nature are written in the language of partial differential equa-
tions. Therefore, these equations arise as models in virtually all branches
of science and technology. Our goal in this book is to help you to under-
stand with this vast subject is about. The book is an introduction to the
field suitable for senior undergraduate and junior graduate students.
Introductory courses in partial differential equations (PDEs) are given
all over the world in various forms. The traditional approach to the sub-
ject is to introduce a number of analytical techniques, enabling the stu-
dent to derive exact solutions of some simplified problems. Students who
learn about computational techniques on other courses subsequently real-
ize scope of partial differential equations beyond paper and pencil.
Our book is significantly different from the existing ones. We introduce
both analytical theory, including the theory of classical solutions and that
of weak solutions, and an introductory techniques of the ill-posed problems
with reference to weak solutions. Besides, since computational techniques
are commonly available and are currently used in all practical applications
of partial differential equations, we incorporate classical finite difference
methods and finite element methods in our book.
The following four topics are discussed in this textbook:
3. Part 3: The third part is concerned with the introduction of the the-
ory of ill-posed problems,
4. Part 4: The final part is devoted to the two commonly used numer-
ical methods for PDEs, namely the finite difference method and the
finite element method.
Acknowledgments
Introduction
Different from other textbooks which have either the theory of classical
solutions or the theory of weak solutions, this PDE textbook has both. We
should say with reference to weak solutions that we give only introductory
courses of weak solutions and ill-posed problems.
Now, other textbooks rarely have finite difference methods (FDM) and
finite element methods (FEM), that is, the PDE theory is not combined in
them with FEM and FEM. But both FDM and FEM are very important
for computations. Finally, other textbooks do not combine the PDE theory
with an introductory course in the theory of ill-posed problems.
We now list three main parts of this textbook.
Topological Notation
(i) Rn = n dimensional real Euclidean space, R = R1 .
(iv) A typical point in Rn+1 will often be written as (x,t) = (x1 , · · · , xn ,t),
where (t = xn+1 = time).
(vi) ∂Q = boundary of Q.
(vii) Q = Q ∪ ∂Q = closure of Q.
πn/2
(x) a(n) = volume of unit ball in Rn = .
Γ( n2 + 1)
Functional Notation
(i) If u : Q → R, we write
(ii) If u : Q → Rm , we write
1
Z Z
− u dµ = u dµ (µ(E) 6= 0).
E µ(E) E
Thus, in particular,
1
Z Z
− f dy = f dy
B(x,r) a(n)rn B(x,r)
and
1
Z Z
− f dS = f dS .
∂B(x,r) na(n)rn−1 ∂B(x,r)
4 Michael V. Klibanov and Jingzhi Li
Differential Notation
Assume u : Q → R, x ∈ Q.
|α| = α1 + · · · + αn .
∂|α| u(x)
Dα u(x) = .
∂xα1 1 , · · · , ∂xαn n
∂u ∂u
Du = ,··· , = gradient vector .
∂x1 ∂xn
Introduction 5
·
= Hessian matrix .
··
∂2 u ∂ u
2
···
∂xn ∂x1 ∂xn ∂xn n×n
··
∂u m
∂u
m
···
∂x1 ∂xn m×n
Remarks.
(i) We always assume that the function u has the property that the vari-
ous mixed partial derivatives at x are equal; thus uxix j = ux j xi , etc.
n
scalarvalued functions u, there are consequently dk = dk =
(ii) For
k+n−1 (k + n − 1)!
= different partial derivatives of order k.
n−1 k!(n − 1)!
Using the notation above we can now write out symbolically a typical
PDE. Fix an integer k ≥ 1.
Definition. A PDE of the form
is given, and
u:Q→R
6 Michael V. Klibanov and Jingzhi Li
is the unknown.
We say we solve the PDE (1.1.1) if we find all functions u satisfying
(1.1.1), possibly only among those functions satisfying certain auxiliary
boundary conditions on some portion Γ of ∂Q. By finding the solution
we mean, ideally, obtaining simple, explicit formulas for the solutions, or,
failing that, deducing various properties of the solutions.
Definition.
n
ut (x,t) + ∑ bi (x,t)uxi (x,t) = 0 .
i=1
Abbreviation:
ut + b · Du = 0 .
n
ut (x,t) − ∑ (bi(x,t)u(x,t))xi = 0 .
i=1
Abbreviation:
ut − div(bu) = 0 .
3. Laplace’s Equation
n
∑ ux x (x) = 0 .
i i
i=1
Abbreviation:
∆u = 0 .
4. Helmholtz’s Equation
∆u + λu = 0 .
8 Michael V. Klibanov and Jingzhi Li
n
ut (x,t) − ∑ uxixi (x,t) = 0 .
i=1
Abbreviation:
ut − ∆u = 0 .
6. Kolmogorov’s Equation
n n
ut (x,t) − ∑ ai j (x,t)uxix j (x,t) + ∑ bi (x,t)uxi (x,t) = 0 .
i, j=1 i=1
Abbreviation:
ut − tr(AD2 u) + b · Du = 0 .
n n
ut (x,t) − ∑ (ai j(x,t)u(x,t))x x i j − ∑ (bi (x,t)u(x,t))xi = 0 .
i, j=1 i=1
Abbreviation:
ut − D2 (Au) − div(bu) = 0 .
8. Wave Equation
n
utt (x,t) − ∑ uxi xi (x,t) = 0 .
i=1
Abbreviation:
utt − ∆u = 0 .
Introduction 9
n n
utt (x,t) − ∑ ai j (x,t)uxix j (x,t) + ∑ bi (x,t)uxi (x,t) = 0 .
i, j=1 i=1
Abbreviation:
utt − tr(AD2 u) + b · Du = 0 .
utt + ut − uxx = 0 .
n
∆(∆u(x)) = ∑ ux x x x (x) = 0 .
i i j j
i, j=1
Abbreviation:
∆2 u = 0 .
utt + uxxxx = 0 .
iϕt = ∆ϕ .
2. Maxwell’s Equations
∂E
= curlB ,
∂t
∂B
= −curlE ,
∂t
divB = 0 ,
divE = 0 .
3
µ∆ui + (λ + µ) ∑ uxji x j = 0 (i = 1, 2, 3) .
j=1
3
utti = µ∆ui + (λ + µ) ∑ uxji x j (i = 1, 2, 3) .
i=1
(c) the solution depends continuously on the data given in the problem.
ut + F(ux) = 0 . (1.3.1)
We will see in the following that this PDE governs various one-dimensional
phenomena involving fluid dynamics, and in particular models the forma-
tion and propagation of shock waves. Now by definition a shock wave is a
line of discontinuity of the solution u of (1.3.1); and so if we wish to study
conservation laws and recover the underlying physics we must allow for
solutions u which are not continuously differentiable or even continuous.
In general, as we will see, (1.3.1) has no classical solutions, but is well
posed if we allow for properly defined weak solutions.
12 Michael V. Klibanov and Jingzhi Li
This is all to say that we are forced by the structure of the particular
PDE to abandon the search for smooth, classical solutions; we must in-
stead, while still hoping to achieve the well posedness condition (a)-(c),
investigate a wider class of candidates for solutions. And in fact, even for
those PDEs which turn out to be classically solvable, it is often quite expe-
dient initially to search for some appropriate kind of weak solutions. The
point is this: if we from the outset demand that our “solutions” be very
smooth, say k-times continuously differentiable, then we are often going
to have a hard time finding them, as our proofs must then necessarily in-
clude possibly intricate demonstrations that the solutions we are building
are in fact smooth enough. A far more reasonable strategy is to consider
as separate the existence and the smoothness (or regularity) problems. The
idea is to define for a given PDE a reasonable wide notion of a weak so-
lution, in the anticipation that since we are not asking too much by way
of smoothness of this weak solution, it may be easier to establish its exis-
tence, uniqueness, and continuous dependence on the given data. Thus it
is often wise to aim at proving well posedness in some appropriate class of
weak solutions.
Now, as noted above, for various PDEs, for example, conservation
laws, this is the best that can be done. For other equations we can hope that
our weak solution may turn out after all to be smooth enough to qualify as
classical solutions; this is the question of regularity of weak solutions. As
we will see, it is often the case that the existence of weak solutions depends
upon often simple estimates plus ideas of functional analysis, whereas the
regularity of the weak solutions, when true, usually rests upon lots of intri-
cate calculus-type estimates.
(1) Nonlinear PDEs are more difficult than linear PDEs; and, indeed,
the more the nonlinearity affects the higher derivatives, the more
difficult the PDE is.
The principal advantages of linearity are that
(a) complicated solutions can be built from the superposition of sim-
pler solutions, and
Introduction 13
(2) Higher order PDEs are more difficult than lower order PDEs.
(4) PDEs entailing many independent variable are harder than PDEs en-
tailing few independent variables.
(5) For most PDEs it is not possible to write out an explicit formula for
the solution.
We shall first take as the density δ(x) the point limit of the sequence of
average densities f ε (x), that is,
+∞ if x = 0 ,
δ(x) = lim f ε (x) = (1.4.1)
ε→0 0 if x = 6 0.
It is naturally required that the integral of the density δ over any volume
G should give the mass of this volume, that is,
(
1, if 0 ∈ G ,
Z
δ(x) dx =
G 0, if 0 ∈ G .
But, by virtue of (1.4.1), the left-hand side of this equation is always equal
to zero if the integral is taken to be improper. The contradiction here shows
that the point limit of the sequence f ε (x) as ε → 0 cannot be taken as the
density δ(x).
We shall now calculate the weak limit of the sequence of functions
f ε (x) as ε → 0, that is, for any continuous function ϕ we shall find the limit
of the numerical sequence f ε ϕ dx when ε → 0.
R
We show that Z
lim f ε (x)ϕ(x) dx = ϕ(0) .
ε→0
In fact, on account of the continuity of function ϕ(x) for any η > 0 there is
a ε0 > 0 such that |ϕ(x) − ϕ(0)| < η whenever |x| < ε0 . From this, for all
ε ≤ ε0 , we obtain
Z Z
f ε (x)ϕ(x) dx − ϕ(0) = 3
4πε3 |x|<ε [ϕ(x) − ϕ(0)] dx
3
Z
≤ |ϕ(x) − ϕ(0)| dx
4πε3 |x|<ε
3
Z
<η dx = η ,
4πε3 |x|<ε
as was to be shown.
In this way, the weak limit of the sequence of functions f ε (x) as ε → 0 is
the functional ϕ(0), assigning to each continuous function ϕ(x) the number
ϕ(0)-its value at the point x = 0. It is this functional which is taken as the
definition of the density δ(x), and this is the well-known Dirac δ function.
Introduction 15
is valid, where the symbol (δ, ϕ) denotes the number ϕ(0)-the value of the
functional δ acting on function ϕ.
To recover the complete mass, it is necessary to act with the functional
(density) δ(x) on the function ϕ(x) = 1, (δ, 1) = 1.
If the mass m is concentrated at the point x = 0, the corresponding
density must be considered equal to mδ(x). If mass m is concentrated at
the point x0 , its density is naturally considered equal to mδ (x − x0 ), where
(mδ(x −x0 ), ϕ) = mϕ (x0 ) . In general, if masses mk are concentrated at
different points xk , k = 1, 2, . . ., N, the corresponding density is equal to
N
∑ mk δ (x − xk ) ..
k=1
Chapter 2
Analytic Approaches to
Linear PDEs
We compute
d
u̇(s) = Du(x + sb,t + s) · b + ut (x + sb,t + s) = 0, ˙=
ds
according to (2.1.1). Thus u(s) is a constant function of s and so for each
fixed point (x,t), u is constant on the line L through (x,t) with the direction
(b, 1) ∈ Rn+1. Hence if we know the value of u at some point on each such
line we know its value everywhere in Rn+1 .
18 Michael V. Klibanov and Jingzhi Li
Here g and b are known, and the problem is to compute u. Given (x,t) as
above, with t > 0, the line L through (x,t) with direction (b, 1) is repre-
sented parametrically by the equation
l(s) = (x + sb,t + s) (s ∈ R) .
Remark 2.1.1. (i) Observe that our solution is just as good for times
t ≤ 0. The solution at time t is merely the solution at time 0 shifted
by an amount −tb.
As before fix (x,t) ∈ Rn+1 and set u(s) = u(x + sb,t + s) for s ∈ R. Then
Consequently
and so
Z t
u(x,t) = g(x − bt) + f (x + (s − t)b, s) ds
0
solves (2.1.4).
20 Michael V. Klibanov and Jingzhi Li
Remark 2.1.2. Even if g is smooth, our solution of (2.1.6) need not neces-
sarily be continuous. The reason is that given two close points (x,t), (x,t)
in UT , the lines L, L through them may not intersect ΓT at nearby points
(y, s), (y, s).
Analytic Approaches to Linear PDEs 21
∆u(x) = 0 , (2.2.1)
where
and so
n
n−1
∆u = ∑ uxi xi = v00 (r) + v0 (r) .
i=1 r
and thus
b
w(r) = ,
rn−1
for appropriate constants a and b. Consequently if r 6= 0, we have
c logr + d (n = 2)
v(r) = c
+d (n > 2) ,
rn−2
where c and d are constants. These considerations motive the following.
and
C
|D2 Φ(x)| ≤ (x 6= 0) (2.2.8)
|x|n
−∆u = f in Rn .
24 Michael V. Klibanov and Jingzhi Li
Proof. 1. We have
Z Z
u(x) = Φ(x − y) f (y) dy = Φ(y) f (x − y) dy ;
Rn Rn
hence
u(x + hei ) − u(x) f (x + hei − y) − f (x − y)
Z
= Φ(y) dy .
h Rn h
But
f (x + hei − y) − f (x − y) ∂f
→ (x − y)
h ∂xi
uniformly on Rn , and thus
∂u ∂f
Z
(x) = Φ(y) (x − y) dy (i = 1, · · · , n) .
∂xi Rn ∂x
Similarly
∂2 u ∂2 f
Z
(x) = Φ(y) (x − y) dy (i, j = 1, · · · , n) . (2.2.10)
∂xi ∂x j Rn ∂xi ∂x j
As the expression on the right hand side of (2.2.10) is continuous in the
variable x, we see that u ∈ C2 (Rn ).
2. Fix ε > 0. Then
Z Z
∆u(x) = Φ(y)∆x f (x − y) dy + Φ(y)∆x f (x − y) dy
B(0,ε) Rn −B(0,ε)
= Iε + Jε . (2.2.11)
Now
(
2
Z Cε2 | logε| (n = 2)
|Iε | ≤ C||D f ||L∞ (Rn ) Φ(y) dy ≤ (2.2.12)
B(0,ε) Cε2 (n ≥ 3) ;
whereas an integration by parts yields
Z
Jε = Φ(y)∆y f (x − y) dy
Rn −B(0,ε)
∂f
Z Z
=− DΦ(y) · D f (x − y) dy + Φ(y) (x − y) ds
Rn −B(0,ε) ∂B(0,ε) ∂ν
(2.2.13)
= Kε + Lε ,
Analytic Approaches to Linear PDEs 25
where ν denotes the inward pointing unit normal along ∂B(0, ε). We easily
check that
(
Cε| logε| (n = 2)
Z
|Lε | ≤ ||D f ||L∞(Rn ) Φ(y) ds ≤ (2.2.14)
∂B(0,ε) Cε (n ≥ 3) ;
Now
−1 y
DΦ(y) =
nα(n) |y|n
−y
and ν = |y| = − yε on ∂B(0, ε). Consequently
∂Φ(y) 1
= ν · DΦ(y) =
∂ν nα(n)εn−1
−∆u(x) = f (x),
as desired.
−∆Φ = δ0 in Rn .
Here δ0 denoting the Dirac measure on Rn giving unit mass at the origin.
Adopting this notation, we may formally compute
Z
−∆u(x) = −∆x Φ(x − y) f (y) dy
n
ZR
= δx f (y) dy = f (x) (x ∈ Rn ) ,
Rn
Then
Z
φ0 (r) = − Du(x + rz) · z ds(z) ,
∂B(0,1)
and consequently
y−x
Z
0
φ (r) = − Du(y) · ds(y)
∂B(x,r) r
∂u
Z
=− ds(y)
∂B(x,r) ∂ν
r
Z
= − ∆u(y) dy = 0 .
n B(x,r)
Analytic Approaches to Linear PDEs 27
Proof. If ∆u 6= 0, then there exists some ball B(x, r) ⊂ Q such that, say,
∆u > 0 on B(x, r). But then, for φ as above,
r
Z
0 = φ0 (r) = − ∆u(y) du > 0 ,
n B(x,r)
a contradiction.
2.2.3. Applications
Assume Q ⊂ Rn is open and bounded.
Furthermore,
(ii) if Q is connected and there exists a point x0 ∈ Q such that
u(x0 ) = max u ,
Q
then u is constant on Q.
u(x0 ) = M = max u .
Q
Proof. If u and v both satisfy (2.2.17), apply Theorem 2.2.4 to the har-
monic function ±(u − v).
Analytic Approaches to Linear PDEs 29
b. Regularity
Theorem 2.2.6. If u ∈ C(Q) and satisfies the mean value property (2.2.16)
for each ball B(x, r), then
u ∈ C∞ (Q) .
uε = η ε ∗ u
for all balls B(x, r/2) ⊂ B(x, r) ⊂ Q, and all harmonic functions u in Q.
30 Michael V. Klibanov and Jingzhi Li
and so
C0
Z
max |u| ≤ |u| dz . (2.2.19)
B(x,r/2) rn B(x,r)
∆(Dαu) = 0 in Q .
C
|Dβ u(z)| ≤ ||u||L1(B(x,r)) ,
rk+n
by (2.2.18) for k. Thus
C
max |Dα u| ≤ ||u||L1 (B(x,r)) .
B(x,r/2) rk+1+n
d. Liouville’s Theorem
Theorem 2.2.8. Suppose u : Rn → R is harmonic and bounded. Then u is
constant.
Proof. Fix x ∈ Rn , r > 0, and apply Theorem 2.2.7 on B(x, r):
C1
|Du(x)| ≤ ||u||L1(B(x,r))
rn+1
C
≤ ||u||L∞(Rn ) → 0 as r → ∞.
r
Thus Du = 0.
Rn Φ(x − y) f (y) dy +C
R
has the form u(x) = for some constant C.
e. Harnack’s Inequality
Theorem 2.2.9. For each connected open set V ⊂⊂ Q there exists a posi-
tive constant β, depending only on V , such that
β sup u ≤ inf u ,
V V
(i) W0 = 0,
where
Thus (2.2.23) says that u satisfies the mean-value property; whence, as-
suming u is continuous, Theorems 2.2.5 and 2.2.6 imply u is harmonic in
Q. This fact and (2.2.22) solves (2.2.20).
It turns out that the above argument can be made rigorous provided ∂Q
satisfies some very mild smoothness assumptions and g ∈ C(∂Q).
by calculations as in the proof of Theorem 2.2.1. Thus the left hand side of
(2.2.29) converges to −W (x) as ε → 0. Likewise the right hand converge
to −V (y). Consequently
Suppose now that u ∈ C2 (Q) ∩C1 (Q) solves the boundary value prob-
lem
(
−∆u = f in Q
(2.2.31)
u = g on ∂Q .
Plugging into (2.2.28) we obtain this representation formula for the solu-
tion:
∂G
Z Z
u(x) = − g(y) (x, y) ds + f (y)G(x, y) dy .
∂Q ∂ν Q
36 Michael V. Klibanov and Jingzhi Li
is called the point dual to x (or the inversion of x) with respect to ∂B(0, 1).
Remark 2.2.5. •
(i) Observe that x and x̃ are on the same line through the origin, |x||x̃| =
x · x̃ = 1, x̃ = x if |x| = 1.
Now
1
∆ =0 (2.2.33)
|x|n−2
Analytic Approaches to Linear PDEs 37
and
n n
x x δi j 2xix j x δi j 2xix j
u
|x|2
= ∑ ux j |x|2 2
−
|x|4
+ ∑ ux j
|x|2 |x|2
−
|x|4 xi
xi xi j=1 xi |x| j=1
n
x δik 2xixk δi j 2xix j
= ∑ u x j xk 2 2
− 4 2
− (2.2.36)
j,k=1 |x| |x| |x| |x| |x|4
n x −2δi j xi 2x j 2xi δi j 8x2i x j
+ ∑ ux j − 4− + .
j=1 |x|2 |x|4 |x| |x|4 |x|6
then
G(x, y) = Φ(x − y) − φx (y) . (2.2.38)
Now the mapping y → Φ(x − y) is harmonic for y 6= x. Thus its Kelvin
transform
1
y → n−2 Φ(x − ỹ)
|y|
is harmonic for y 6= x̃, y 6= 0. Furthermore if n ≥ 3,
1
lim Φ(x − ỹ) = lim |z|n−2Φ(x − z)
y→0 |y|n−2 z→∞
1
= = Φ(1) ;
n(n − 2)α(n)
and so
(
Φ(|y|(x − ỹ)) (y 6= 0)
φx (y) = (2.2.39)
Φ(1) (y = 0)
is harmonic in B(0, 1). Furthermore,
lim ỹ = y ;
|y|→1
consequently
φx (y) = Φ(x − y) (y ∈ ∂B(0, 1)) , (2.2.40)
as required.
For n = 2, the function y → Φ(x − ỹ) is harmonic in B(0, 1) − {0} and
therefore so is the mapping
−1
y → Φ(x − ỹ) − Φ(y) = log(|y|(x − ỹ)) = Φ(|y|(x − ỹ)) .
2π
In addition
y
lim log(|y|(x − ỹ)) = lim log(||y|x − |) = 0 = Φ(1) ;
y→0 y→0 |y|
so that formulas (2.2.39), (2.2.40) are valid for the case n = 2 as well.
Thus Green’s function for the unit ball B(0, 1) is
(
Φ(x − y) − Φ(|y|(x − ỹ)) y 6= 0
G(x, y) = (2.2.41)
Φ(x) − Φ(1) y = 0.
Analytic Approaches to Linear PDEs 39
1 − |x|2 g(y)
Z
u(x) = ds(y) .
nα(n) ∂B(0,1) |x − y|n
R
Notice that if x = 0, u(0) = −∂B(0,1) g ds, in agreement with the mean value
property.
Suppose now that instead of (2.2.42) u solves
(
∆u = 0 in B(0, r)
(2.2.44)
u=g on ∂B(0, r) .
Then u0 (x) = u(rx) solves (2.2.42), with g0 (x) = g(rx) replacing g. Hence
1 − |x|2 g(ry)
Z
u(rx) = ds(y) .
nα(n) ∂B(0,1) |x − y|n
r2 − |x|2 g(y)
Z
u(x) = n
ds(y) . (2.2.45)
nα(n)r ∂B(0,r) |x − y|
r2 − |x|2 1
K(x, y) = (x ∈ B(0, r), y ∈ ∂B(0, r))
nα(n)r |x − y|n
r2 − |x|2 g(y)
Z
(i) u(x) = n
ds(y) (x ∈ B(0, r))
nα(n)r ∂B(0,r) |x − y|
(ii) ∆u = 0 in B(0, r) ,
and
Proof. 1. For each fixed y ∈ ∂B(0, r), the mappings x → G(x, y), and thus
x → ∂G
∂ν (x, y), are harmonic for x ∈ B(0, r). Hence
∂G
Z
u(x) = − g(y) (x, y) ds(y)
∂B(0,1) ∂ν
r 2 − |x|2 1
Z Z
≤ε K(x, y) ds(y) + 2||g||L∞ ds(y) .
∂B(0,r) nα(n)r ∂B(0,r)∩|y−x0 |≥δ |x − y|n
δ ≤ |x − y| + |x − x0 | ≤ |x − y| + δ/2 ;
42 Michael V. Klibanov and Jingzhi Li
and so
n
1 2
≤ .
|x − y|n δ
Thus
n
r2 − |x|2 2
|u(x) − g(x0 )| ≤ ε +C rn−1 ;
r δ
and the last term is less than or equal to ε if |x − x0 | is small enough.
a. Uniqueness
Consider first the boundary-value problem
(
−∆u = f in Q
(2.2.47)
u=g on ∂Q .
b. Dirichlet’s Principle
Next let us demonstrate that a solution of the boundary-value problem
(2.2.47) for Poisson’s equation can be characterized as the minimizer of
an appropriate functional. For this, we define the energy functional
1
Z
I[w] = |Dw|2 − w f dx ,
Q 2
where w belonging to the admissible set
A = w ∈ C2 (Q̄) | w = g on ∂Q .
Theorem 2.2.14. (Dirichlet’s principle). Assume u ∈ C2 (Ū) solves
(2.2.47). Then
v(x,t) = u(λx, λ2 t) (λ ∈ R) .
2
This indicates that the ratio rt is important for the heat equation and sug-
gests that we search for a solution of (2.3.1) of the form
2 2
r |x|
u(x,t) = v =v (t > 0, x ∈ Rn ) ,
t t
for some function v as yet undetermined. It turns that although this ap-
proach eventually leads to what we want, it is quicker to try a slightly more
complicated form initially, say
2 2
r |x|
u(x,t) = w(t)v = w(t)v (t > 0, x ∈ Rn ) , (2.3.3)
t t
Thus
2 2 2 2 2 2
r r r 00 r 4r 0 r 2n
ut − ∆u = w0 (t)v − w(t)v0 2
− w(t)v 2
− w(t)v ;
t t t t t t t
(2.3.4)
Analytic Approaches to Linear PDEs 45
Let us select
z
v(z) = e− 4 . (2.3.6)
Then 4v00 (z) + v0(z) = 0, and the first two terms inside the square brackets
in (2.3.5) cancel. Consequently (2.3.5) reduces to
w(t) n
w0 (t) + = 0,
t 2
a solution of which is
1 |x|2
n/2
e− 4t
t
and, more generally,
a |x|2
n/2
e− 4t +b
t
are solutions of (2.3.1) for arbitrary constants a, b.
Proof.
1 2
Z Z
− |x|4t
Φ(x,t) dx = e dx
Rn (4πt)n/2 Rn
1
Z
2
= n/2 e−|z| dz
π R n
Z ∞
1 n 2
= n/2 Πi=1 e−zi dzi = 1 .
π −∞
To find a solution we note that Φ(x,t) solves the heat equation and thus
so does Φ(x − y,t) for each fixed y ∈ Rn . This suggests that
Z
u(x,t) = Φ(x − y,t)g(y) dy (2.3.9)
Rn
Now
Z Z
I≤ Φ(z − y,t)|g(y) − g(x)| dy ≤ ε Φ(z − y,t) dy = ε
B(x,2δ) Rn
C |z−y|2
Z Z
J ≤ 2||g||L∞ Φ(z − y,t) dy ≤ e− 4t dy
Rn −B(z,δ) t n/2 Rn −B(z,δ)
Z ∞
C r2
≤ e− 4t rn−1 dr → 0 as t → 0+ .
t n/2 δ
solves
(
ut (x,t; s) − ∆u(x,t; s) = 0 (x ∈ Rn , t > s) ,
(2.3.13)
u(x, s; s) = f (x, s) (x ∈ R) ,
which is just a problem of the form (2.3.8) with the initial time t = 0 re-
placed by t = s. This is certainly not a solution of (2.3.13).
However Duhamel principle says that we can build a solution of
(2.3.12) out of solutions of (2.3.13) by integrating with respect to s; that is,
we should try
Z t Z tZ
u(x,t) = u(x,t; s) ds = Φ(x − y,t − s) f (y, s) dy ds . (2.3.14)
0 0 Rn
(iii) u(x, 0) = 0 (x ∈ Rn ).
and
Z tZ
D2 u(x,t) = Φ(y, s)D2x f (x − y,t − s) dy ds .
0 Rn
2
Z ε Z
|Jε | ≤ || ft ||L∞ + ||D f ||L∞ Φ(y, s) dy ds ≤ εC . (2.3.16)
0 Rn
|u(x,t)| ≤ || f ||L∞
uniformly as t → 0+.
where δ0 denoting the Dirac measure on Rn giving unit mass to the point
0.
1 (x−y)2 1
− 4(t−s)
Φ(x − y,t − s) = e ≥ ,
(4π(t − s)) n/2 (4πr2 )n/2
provided
2
n/2
− (x−y) (t − s)
e 4(t−s) ≥ ;
r2
in which case
|x − y|2 n t −s
− ≥ log ,
4(t − s) 2 r2
2 t −s
|x − y| ≤ −2n(t − s) log .
r2
Thus
for
1/2
t −s
Rr (s) = − 2n(t − s) log (t − r2 < s < t) . (2.3.21)
r2
Note that Rr (s) is the radius of the spherical cross section of E(x,t; r)
at t − r2 < s < t.
1 |x − y|2
ZZ
u(x,t) = n+2 n/2 n u(y, s) dy ds (2.3.22)
2 π r E(x,t;r) (t − s)2
|x − y|2
ZZ
Remark 2.3.3. Let us write u(x,t) = u(y, s) dy ds as an
E(x,t;r) (t − s)2
abbreviation of (2.3.22).
Then
n |y|2
ZZ
0
φ (r) = − u(y, s) dy ds
rn+1 E(r) s2
Z
1 0 |y|2 ∂Rr (s)
Z
+ n u(y, s) 2 ds ds .
r −r2 ∂B(0,Rr (s)) s ∂r
1/2
−s
Now by (2.3.21) we see that Rr (s) = 2ns log ; hence
r2
Thus
n
n |y|2 2n 0 1
ZZ Z Z
0
φ (r) = − n+1
r
u 2 dy ds − n+1
E(r) s r ∑
−r 2 s B(0,Rr (s)) i=1
(uyi)yi dy ds
n
1 n|y|2 2n2 2n
ZZ
= − n+1 u 2
+ + ∑ uyi yi dy ds .
r E(r) s s i=1 s
Furthermore
1 2
yi = − Rr (s) − |y|2 y (i = 1, · · · , n) .
2 i
Furthermore,
1 |y|2 |y|2
ZZ ZZ
2
dy ds = 2
dy ds = 2n+2 πn/2 ,
tn E(t) s E(1) s
Lemma 2.3.1.
|y|2
ZZ
2
dy ds = 2n+2 πn/2 .
E(1) s
54 Michael V. Klibanov and Jingzhi Li
1/2
Proof. Recall that R1 (s) = 2ns log(−s) . Thus
Z
|y|2
Z 0
1
ZZ
2
2
dy ds = |y| dy ds
E(1) s s2
−1 B(0,R1 (s))
R1 (s)n+2
Z 0
nα(n)
= ds
n + 2 −1 s2
n+2 Z 0 n+2
nα(n)(2n) 2 (s log−s) 2
= ds .
n+2 −1 s2
2t
Substitute −s = e− n in the integral to compute:
n+2
− 2tn 2t 2
n+2 Z e
|y|2 nα(n)(2n) 2 ∞ n 2 − 2t
ZZ
2
dy ds = 4t e n dt
E(1) s n+2 0 e− n n
α(n)2n+3 ∞ −t n+2
Z
= e t 2 dt
n+2 0
α(n)2n+3 n
= Γ +2
n+2 2
2n+3 πn/2 n
= Γ +2 .
n+2 n 2
Γ +1
2
2.3.3. Applications
a. Strong Maximum Principle; Uniqueness
Assume Q ⊂ Rn is open and bounded, and set
QT = Q × (0, T ) (T > 0) .
Analytic Approaches to Linear PDEs 55
(ii) if Q is connected and there exists a point (x0 ,t0 ) ∈ QT − ΓT such that
Then for all sufficiently small r > 0, E(x0 ,t0 ; r) ⊂ QT ; and we have
|x0 − y|2
ZZ
M = u(x0 ,t0 ) = u(y, s) dy ds ≤ M .
E(x0 ,t0 ;r) (t0 − s)2
56 Michael V. Klibanov and Jingzhi Li
Draw any line segment L in QT connecting (x0 ,t0 ) with some point
(y0 , s0 ) ∈ ΓT , with s0 < t0 . Consider
u=M on Qt0 .
Proof. If u and v are two solutions of (2.3.23), apply Theorem 2.3.5 to the
solution of the heat equation ±(u − v).
sup u = sup g .
Rn ×[0,T ] Rn
in which case
vt − ∆v = 0 in Rn × (0, T ) .
Fix r > 0 and set Q = Q(y, r), QT = Q(y, r) × (0, T ). Then by Theorem
2.3.5,
Now
µ |x−y|2
v(x, 0) = u(x, 0) − e 4(T +ε) (2.3.29)
(T + ε)n/2
≤ u(x, 0) = g(x) ;
and if |x − y| = r, 0 ≤ r ≤ T , then
µ r2
v(x,t) = u(x,t) − e 4(T +ε−t)
(T + ε − t)n/2
2 µ r2
≤ Aea|x| − e 4(T +ε−t)
(T + ε − t)n/2
2 µ r2
≤ Aea(|y|+r) − e 4(T +ε−t) .
(T + ε − t)n/2
for some γ > 0. Thus we may continue the calculation above to find that if
|x − y| = r, 0 ≤ t ≤ T , then
2 µ 2
v(x,t) ≤ Aea(|y|+r) − n/2
e(a+γ)r ≤ 0, for r sufficiently large .
(T + ε)
(2.3.30)
v(y,t) ≤ sup g
Rn
Analytic Approaches to Linear PDEs 59
1
T1 = .
8a
Theorem 2.3.8. (Uniqueness for Cauchy problem) Let g ∈ C(Rn × (0, T )).
Then there exists at most one solution u ∈ C2,1 (Rn × (0, T )) ∩ C(Rn ×
[0, T )) of the Cauchy problem
(
ut − ∆u = f in Rn × (0, T )
(2.3.31)
u=g on Rn × {t = 0}
b. Regularity
Definition 2.3.4.
u ∈ C∞ (QT ) .
C = C(x0 ,t0 ; r) ⊂ QT .
Set
3 1
C0 = C(x0 ,t0 ; r) , C00 = C(x0 ,t0 ; r) .
4 2
Then
vt = ζut + ζt u
Analytic Approaches to Linear PDEs 61
and
Consequently
v=0 on Rn × {t = 0} , (2.3.34)
and
Now set
Z tZ
ṽ(x,t) = Φ(x − y,t − s) f (y, s) dy ds .
0 Rn
where
for all cylinders C(x,t; r/2) ⊂ C(x,t; r) ⊂ QT 0 and all solutions u of the
heat equation in QT .
Proof. 1. Fix some point in QT ; we may as well assume the point is (0, 0).
2. Suppose first that the cylinder
C(1) = C(0, 0; 1)
C(r) = C(0, 0; r)
Analytic Approaches to Linear PDEs 63
But
Dkx Dtl v(x,t) = r2l+k Dkx Dtl u (rx, r2t)
and
1
||v||L1 (C(1)) = ||u||L1(C(1)) .
rn+2
Consequently
Ckl
max |DkxDtl u(x,t)| ≤ k+2l+n+2
||u||L1(C(r)) .
C(r/2) r
Write
∂ ∂
v(x,t) = − u(x,t) . (2.4.6)
∂t ∂x
for l(x) = u(x, 0). Next we employ the initial conditions (2.4.4) to compute
l and η. Equations (2.4.7) and (2.4.4) imply
l(x) = g(x) ;
Hence
Z x+t
1 1
u(x,t) = [g(x + t) + g(x − t)] + h(y) dy . (2.4.9)
2 2 x−t
Remark 2.4.1.
(i) From (2.4.9) we see that u is of the form
u(x,t) = F(x + t) + G(x − t) (2.4.10)
for appropriate function F and G. Conversely any function of this form
solves (2.4.3). Hence the general solution of utt − uxx = 0 is a sum of the
general solution of ut − ux = 0 and the general solution of ut + ux = 0; this
is a consequence of the factorization (2.4.5). This fact, unfortunately, does
not generalize to n ≥ 2.
(ii) In view of the representation (2.4.10) we see for any ξ, η ∈ R,
u(x + ξ,t + ξ) = F(x + t + 2ξ) + G(x − t)
u(x − η,t + η) = F(x + t) + G(x − t − 2η)
u(x + ξ − η,t + ξ + η) = F(x + t + 2ξ) + G(x − t − 2η) ;
so that
u(x,t) − u(x + ξ,t + ξ) − u(x − η,t + η) + u(x + ξ − η,t + ξ + η) = 0 .
Geometrically this means that
u(A) + u(C) = u(B) + u(D) ,
where A, B,C, D are the vertices of the indicated rectangle:
(iii) We see from (2.4.10) that if g ∈ Ck and h ∈ Ck−1 , then u ∈ Ck , but is not
in general smoother. Thus the wave equation does not display “instanta-
neous smoothing” of the initial data, as does the heat equation.
Analytic Approaches to Linear PDEs 67
b. Spherical Means
Now suppose u ∈ C2 (Rn × [0, ∞)) solves
utt − ∆u = 0
in Rn × (0, ∞) ,
u=g (2.4.11)
ut = h on Rn × {t = 0} .
Definition 2.4.1. •
(i) Let x ∈ Rn , t > 0, r > 0. Define
Z
u
M (x; r,t) = − u(y,t) ds(y) ,
∂B(x,r)
Thus
Z r Z
n−1 1
r Mru = utt ds ds ,
nα(n) 0 ∂B(x,s)
and so
n−1
1
Z
r Mru γ = utt ds
nα(n) ∂B(x,r)
Z
= rn−1 − utt ds
∂B(x,r)
n−1 u
= r Mtt .
This equality is (2.4.12) for r > 0, from which the same equality follows
for all r ∈ R. The initial conditions (2.4.13) are obvious.
d2
(rφ) = rφ00 + 2φ0 ,
dr2
Analytic Approaches to Linear PDEs 69
whereas
1 d 1
(r2 φ0 ) = (r2 φ00 + 2rφ0 ) = rφ00 + 2φ0 .
r dr r
2. Assume now (i) is valid for k and all smooth functions φ. Then
k 2
d2 1 d d 1 d k−1 1 2k+1 0
r2k+1 φ = [r φ + (2k + 1)r2k φ]
dr2 r dr dr2 r dr r
2
d 1 d k−1 2k−1 0
= [r (rφ )]
dr2 r dr
2
d 1 d k−1
+ [(2k + 1)r2k−1 φ]
dr2 r dr
1 d k 2k 0 0
= [r (rφ ) + (2k + 1)r2k φ0 ]
r dr
1 d k
= [(2k + 2)r2k φ0 + r2k+1 φ00 ]
r dr
1 d k 1 d
= [r2k+2φ0 ] .
r dr r dr
This proves (i) for k + 1.
3. Assertion (ii) is clearly valid for k = 1. Assuming now it is holds for
k and all smooth function φ, we compute:
k k−1
1 d 2k+2 1 d 1 d
(r φ) = [r2k−1(r2 φ)]
r dr r dr r dr
k−1 j
1 d k j+1 d 2
=
r dr ∑ β j r dr j (r φ)
j=0
k−1 k−1
dj 2 k j d
j+1
= ∑ βkj ( j + 1)r j−1 dr j
(r φ) + ∑ j dr j+1 (r2φ) ;
β r
j=0 j=0
k+1 j+1 d j
and this is of the required form ∑k−1
j=0 β j r dr j
for appropriate constants
βk+1
j ( j = 0, · · · , k). This proves (ii) for k + 1.
4. Set φ = 1 in assertion (ii). Then
1 d k−1 2k−1
γ · βk0 = (r ) (k = 1, · · ·) ,
r dr
70 Michael V. Klibanov and Jingzhi Li
and so
U(r,t)
lim = lim M u (x; r,t) = u(x,t) .
r→0 βk0 r r→0
But Z Z
− g(y) ds(y) = − g(x + tz) ds(z) ;
∂B(x,t) ∂B(0,1)
where
Z Z
d
− g ds(y) = − Dg(x + tz) · z ds(z)
dt ∂B(x,t) ∂B(0,1)
y−x
Z
=− Dg(y) · ds(y) .
∂B(x,t) t
Remark 2.4.2. (i) Observe that to compute u(x,t) we need only have
information on u = g, ut = h and Du = Dg on the boundary of B(x,t).
A similar remark is valid in Rn for all odd n.
Thus
n−3 n−3
1 d 1 d 1
2
Z 2
Z
∆ t n−2 − g ds = ∆ t n−1 − g ds
t dt ∂B(x,t) t dt t ∂B(x,t)
n−3 Z
1 d 2 1 d n−1 d
= t − g ds
t dt t dt dt ∂B(x,t)
k Z
1 d d
= t 2k − g ds
t dt dt ∂B(x,t)
2
d 1 d k−1 2k−1
Z
= t − g ds
dt 2 t dt ∂B(x,t)
2 n−3
d 1 d 2
Z
n−2
= t − g ds .
dt 2 t dt ∂B(x,t)
Hence
n−3
1 d 2
Z
n−2
t − g ds ,
t dt ∂B(x,t)
74 Michael V. Klibanov and Jingzhi Li
and so also
n−3
d 1 d 2
Z
t n−2 − g ds ,
dt t dt ∂B(x,t)
solve the wave equation. Similarly
n−3
1 d 2
Z
n−2
t − h ds
t dt ∂B(x,t)
solves the wave equation. In consequence, we see from (2.4.20) that u
solves the wave equation.
3. We must check that u satisfies the proper initial conditions. But from
(2.4.17) and Lemma 2.4.1, (iii) we see that if n = 2k + 1,
k−1
1 d 1 d 1 d k−1 2k−1
Z Z
u(x,t) = g t 2k−1 −
ds + t − h ds
βk0 dt t dt
∂B(x,t) t dt ∂B(x,t)
k−1 j Z k−1 j Z
1 d k j+1 d k j+1 d
= k ∑ j dt j ∂B(x,t)
β0 dt j=0
β t − g ds + ∑ j dt j ∂B(x,t)
β t − h ds
j=0
Z
=− g ds + O(t) as t → 0 .
∂B(x,t)
Thus
u(x, 0) = g(x) (x ∈ Rn ) .
Similarly
k−1
Z
1 d2dj
ut (x,t) = k ∑ − βkj t j+1
g ds
β0 j=0 dt 2
dt j ∂B(x,t)
Z
d k−1 k j+1 d j
+ ∑ β jt dt j −∂B(x,t) h ds
dt j=0
Z Z
d
= − g ds + − h ds + O(t)
dt ∂B(x,t) ∂B(x,t)
t
Z Z
= − ∆g dy + − h ds + O(t)
n B(x,t) ∂B(x,t)
Z
=− h ds + O(t) as t → 0 .
∂B(x,t)
Hence
ut (x, 0) = h(x) (x ∈ Rn ) .
Analytic Approaches to Linear PDEs 75
solves the wave equation in Rn+1 × (0, ∞), with the initial condition
(
u=g
ut = h
x = (x1 , · · · , xn , 0) ∈ Rn+1 .
where B(x,t) denoting the ball with center x and radius t in Rn+1 and ds
surface measure on ∂B(x,t). Now
1
Z Z
− g ds = g ds . (2.4.24)
∂B(x,t) (n + 1)α(n + 1)t n ∂B(x,t)
76 Michael V. Klibanov and Jingzhi Li
the factor “2” entering because ∂B(x,t) consists of the two hemispheres,
above and below the plane (yn+1 = 0). Now
1 xi − yi
γyi (y) = (t 2 − |y − x|2 )−1/22(xi − yi ) = 2 ;
2 (t − |y − x|2 )1/2
and so
t
(1 + |Dγ(y)|2 )1/2 = .
(t 2 − |y − x|2 )1/2
Our substituting into (2.4.25) yields
2 g(y)
Z Z
− g ds = n−1
dy
∂B(x,t) (n + 1)α(n + 1)t B(x,t) (t − |y − x|2 )1/2
2
2tα(n) g(y)
Z
= − dy .
(n + 1)α(n + 1) B(x,t) (t 2 − |y − x|2 )1/2
We insert this equality and the similar one with h in place of g into
(2.4.23) to find
n−2 Z
1 2α(n) d 1 d 2
n g(y)
u(x, t) = t − dy
γn+1 (n + 1)α(n + 1) dt t dt B(x,t) (t 2 − |y − x|2 )1/2
n−2 Z
1 d 2
n h(y)
+ t − dy .
t dt B(x,t) (t 2 − |y − x|2 )1/2
πn/2
α(n) = ,
Γ n+2
2
Analytic Approaches to Linear PDEs 77
we compute
n+3
Γ
2α(n) 2 1 2
=
γn+1 (n + 1)α(n + 1) 1 · 3 ··· (n + 1) π1/2 n+2
Γ
2
2 1 (n + 1) · (n − 1) ···3 · 1π1/2 1
= n ·
1 · 3 ··· (n + 1) π1/2 22 +1 n
!
2
1 1
= n/2
2 n n−2 n−4 4 2
···
2 2 2 2 2
1
= .
2 · 4 ··· (n − 2) · n
γn = 2 · 4 · · · ·(n − 2) · n .
Now
g(y) g(x + tz)
Z Z
t 2− 1/2
dy = t− 1/2
dz ;
B(x,t) (t 2 − |y − x|2 ) B(0,1) (1 − |z|2 )
78 Michael V. Klibanov and Jingzhi Li
and so
Z Z
d 2 g(y) g(x + tz)
t − 2 2 1/2
dy = − dz
dt B(x,t) (t − |y − x| ) B(0,1) (1 − |z|2 )1/2
Dg(x + tz) · z
Z
+ t− dz
B(0,1) (1 − |z|2 )1/2
g(y)
Z
= t− dy
B(x,t) (t − |y − x|2 )1/2
2
Dg(y) · (y − x)
Z
+ t− dy .
B(x,t) 2 − |y − x|2 )1/2
(t
Hence (2.4.27) yields Poisson’s formula
1 tg(y) + t 2 h(y) + tDg(y) · (y − x)
Z
u(x,t) = − dy (2.4.28)
2 B(x,t) (t 2 − |y − x|2 )1/2
for the solution of the wave (2.4.11) when n = 2.
Remark 2.4.4. Observe, in contrast to Kirchhoff’s formula (2.4.19), that
to compute u(x,t) we need information on u = g, ut = h and Du = Dg on
all of B(x,t). A similar remark is valid in Rn for all even n.
Remark 2.4.5. Comparing (2.4.17) and (2.4.26) we observe that if n is
odd and n ≥ 3, the data g and h at a given point x ∈ Rn affect the solution
u only on the boundary {(y,t)| t > 0, |x−y| = t} of the cone C = {(y,t)| t >
0, |x − y| < t}.
Now set
Z t
u(x,t) = u(x,t; s) ds . (2.4.32)
0
Duhamel principles suggests that this is a solution of
(
utt − ∆u = f in Rn × (0, ∞)
(2.4.33)
u = 0, ut = 0 on Rn × {t = 0} .
80 Michael V. Klibanov and Jingzhi Li
Z t Z t
utt (x,t) = ut (x,t;t) + utt (x,t; s) ds = f (x,t) + utt (x,t; s) ds .
0 0
Furthermore,
Z t Z t
∆u(x,t) = ∆u(x,t; s) ds = utt (x,t; s) ds .
0 0
Thus
3. Clearly
u(x, 0) = 0
and
ut (x, 0) = u(x, 0; 0) = 0 .
and so
Z t Z x+t−s Z t Z x+s
1 1
u(x,t) = f (y, s) dy ds = f (y,t − s) dy ds .
2 0 x−t+s 2 0 x−s
so that
Z t Z
u(x,t) = (t − s) − f (y, s) ds ds
0 ∂B(x,t−s)
1 t f (y, s)
Z Z
= ds ds
4π 0 ∂B(x,t−s) (t − s)
1 t f (y,t − r)
Z Z
= ds dr .
4π 0 ∂B(x,r) r
Therefore
1 f (y,t − |y − x|)
Z
u(x,t) = dy
4π B(x,t) |y − x|
solves (2.4.33) for n = 3. The integrand on the right is called a retarded
potential.
a. Uniqueness
Let Q ⊂ Rn be a bounded, open set with a smooth boundary ∂Q; set Qt =
Q × (0, T ), and recall
ΓT = (Q × {t = 0}) ∪ (∂Q × (0, T )) .
82 Michael V. Klibanov and Jingzhi Li
Theorem 2.4.5. (Uniqueness for wave equation). There exists at most one
function u ∈ C2 (QT ) solving (2.4.34).
We compute
Z Z
E 0 (t) = wt wtt + Dw · Dwt dx = wt (wtt − ∆w) dx = 0;
Q Q
notice that
∂w
Z
wt ds = 0,
∂Q ∂ν
wt , Dw = 0 in QT .
b. Domain of Dependence
As another example of energy methods, let us examine again the domain
of dependence of solutions to the wave equation in all of spaces. For this,
suppose u ∈ C2 solves
utt − ∆u = 0 in Rn × (0, ∞) .
Proof. Define
1
Z
E(t) = ut2 (x,t) + |Du(x,t)|2 dx .
2 B(x0 ,t0 −t)
84 Michael V. Klibanov and Jingzhi Li
Then
Z
1
Z
E 0 (t) = (ut utt + Du · Dut ) dx − ut2 + |Du|2 ds
B(x0 ,t0 −t) 2 ∂B(x0 ,t0 −t)
(2.4.35)
∂u
Z Z
= ut (utt − ∆u) dx + ut ds
B(x0 ,t0 −t) ∂B(x0 ,t0 −t) ∂ν
1
Z
− ut2 + |Du|2 ds (2.4.36)
2 ∂B(x0 ,t0 −t)
∂u 1 1
Z
= ut − ut2 − |Du|2 ds . (2.4.37)
∂B(x0 ,t0 −t) ∂ν 2 2
Now
∂u
ut ≤ |ut ||Du| ≤ 1 ut2 + 1 |Du|2 , (2.4.38)
∂ν 2 2
E 0 (t) ≤ 0 ;
and so
E(t) ≤ E(0) = 0
Transformation Approaches
to Certain PDEs
QT = Q × (0, T )
for some T > 0. We consider the initial-boundary value problem for the
heat equation
ut − ∆u = 0
on QT ,
u=0 on ∂Q × [0, T ] , (3.1.1)
u=g on Q × {t = 0} ,
86 Michael V. Klibanov and Jingzhi Li
that is, we look for a solution of (3.1.1) with the variables x = (x1 , · · · , xn )
“separated” from the variable t.
Will this work? To find out, we compute
so that
if and only if
v0 (t) ∆w(x)
= (3.1.3)
v(t) w(x)
for all x ∈ Q and 0 < t ≤ T such that w(t), v(x) 6= 0. Now observe that the
left hand side of (3.1.3) depends only on t and the right hand side depends
only on x. This is impossible unless each is constant, say
v0 (t) ∆w(x)
=λ= (0 < t ≤ T, x ∈ Q) .
v(t) w(x)
Then
Can we solve these equations for the unknowns w(t), v(x) and λ? No-
tice that if λ is known, the solution of (3.1.4) is
v(t) = ceλt
solves
(
ut − ∆u = 0 in QT
(3.1.7)
u=0 on ∂Q × [0, T ]
u(x, 0) = cw(x) (x ∈ Q) .
a. Exponential Solutions
(i) Heat Equation
If u has the form (3.2.3), we compute
ut − ∆u = (iω + |k|2 )u = 0
provided
ω = i|k|2 .
Hence
2
u(x,t) = eik·x−|k| t
solves the heat equation for each k ∈ Rn . Taking real and imaginary parts,
we discover further that
2 2
e−|k| t cos(k · x) and e−|k| t sin(k · x)
are solutions.
Notice in this example that since ω is purely imaginary, it leads to a real
2
exponential term e−|k| t in the formulas, which corresponds to dissipation.
(ii) Wave equation
Upon our substituting (3.2.3) into the wave equation we find
provided
ω = ±|k| .
Consequently
u(x,t) = ei(k·±|k|t)
u(x,t) = ei(kx+ωt)
ut + uxxx = 0 , (3.2.4)
ut + uxxx = i(ω − k3 )u = 0 ,
whenever
ω = k3 .
Thus
2
u(x,t) = eik(x+k t)
solves the dispersion equation (3.2.4), and once again, since ω is real,
there is no dissipation. Notice however that the velocity of propagation
is k2 , which depends nonlinearly upon the frequency of the initial value
eikx . Thus waves of different frequencies propagate at different velocities:
the PDE creates dispersion.
Transformation Approaches to Certain PDEs 91
b. Solitons
We consider next the Korteweg-de Veries (KdV) equation in the form
Then
ut = −αv0 (x − αt) ,
ux = v0 (x − αt) ,
uxxx = v000 (x − αt) ;
(v2 )0 = 2vv0 ;
(v02 ) α
= −v3 + v2 + av + b , (3.2.8)
2 2
where b is another arbitrary constant.
We investigate (3.2.8) by looking now only for solutions v which satisfy
v, v0 , v00 → 0 as x → ±∞. (In this case the solution u of the form (3.2.6) is
92 Michael V. Klibanov and Jingzhi Li
We for computational convenience take the plus sign above and obtain
from (3.2.9) this implicit formula for v:
Z v(y)
dz
y= +c, (3.2.10)
0 z(α − 2z)
for some constant c which we take to be positive. Now substitute
α
z= sech2 θ .
2
Then
dz
= αsech2 θtanhθ
dθ
and
α √
z(α − 2z)1/2 = sech2 θ αtanhθ .
2
Hence (3.2.10) becomes
2
y = √ θ+d (3.2.11)
c
for some constant d, where θ is implicitly given by
α
sech2 θ = v(y) . (3.2.12)
2
We at last combine (3.2.11) and (3.2.12) to compute
√
α 2 α
v(y) = sech (y − d) .
2 2
Transformation Approaches to Certain PDEs 93
But
1
Z
v̂(y) = e−ix·y ū(−x) dx = û(y)
(2π)n/2 Rn
Hence
Z Z Z
2
|û| dy = w(0) = u(x)v(−x) dx = |u|2 dx .
Rn Rn Rn
uk → u in L2 (Rn ) .
According to (3.3.3),
ûk − û j
L2 (Rn ) =
u\ k − u j
=
uk − u j
L2 (Rn ) ,
L2 (Rn )
and thus {ûk }∞ 2 n
k=1 is a Cauchy sequence in L (R ) . This sequence conse-
quently converges to a limit, which we define to be û :
ûk → û in L2 (Rn ) .
The definition of û does not depend upon the choice of approximating se-
quence {ûk }∞
k=1. We similarly define ǔ.
u(ᾱv̄) dx = Rn |û|2 + |α
cv|2 + û(αcv) + û(ᾱv̂) dy and so according to The-
orem 3.3.1, Z Z
αūv + ᾱuv̄ dx = αûv̂ + ᾱûv̂ dy .
Rn Rn
96 Michael V. Klibanov and Jingzhi Li
1
Z Z
(ud
∗ v)(y) = e−ix·y u(z)v(x − z) dz dx
(2π)n/2 Rn Rn
Z
1
Z
−iz·y −i(x−z)·y
= e u(z) e v(x − z) dx dz
(2π)n/2 Rn Rn
Z
= e−iz·y u(z) dzv̂(y) = (2π)n/2 û(y)v̂(y) .
Rn
2
4. Fix z ∈ Rn , ε > 0 and write vε (x) := eix·z−ε|x| . Then
1 1 |x−z|2
Z
2
v̂ε (y) = e−ix·(y−z)−ε|x| dx = e− 4ε ,
(2π)n/2 Rn (2ε) n/2
1 |x−z|2
Z Z
iz·y−ε|y|2
û(y)e dy = u(x)e− 4ε dz .
Rn (2ε)n/2 Rn
Think now of s > 0 being fixed, and write u(x) := v# (x, s). Then
−∆u + su = f in U . (3.3.8)
Thus the solution of the resolvent equation (3.3.8) with right hand side f
is the Laplace transform of the solution of the heat equation (3.3.7) with
initial data f .
Example 2 (Wave equation from the heat equation). Next we employ
some Laplace transform ideas to provide a new derivation of the solution
for the wave equation, based-surprisingly-upon the heat equation.
98 Michael V. Klibanov and Jingzhi Li
Then
utt − ∆u = 0 in Rn × R .
Next define
Z ∞
1 2 /4t
v(x,t) := e−s u(x, s) ds (x ∈ Rn ,t > 0) . (3.3.11)
(4πt)1/2 −∞
Hence
lim v = g uniformly on Rn .
t→0
In addition
1 ∞ Z
2
∆v(x,t) = 1/2
e−s /4t ∆u(x, s) ds
(4πt) −∞
Z ∞
1 2
= e−s /4t uss (x, s) ds
(4πt)1/2 −∞
Z ∞
1 s −s2 /4t
= 1/2
e us (x, s) ds
(4πt) −∞ 2t
Z ∞ 2
1 s 1 2
= 1/2 2
− e−s /4t u(x, s) ds = vt (x,t) .
(4πt) −∞ 4t 2t
1 |x−y|2
Z
v(x,t) = e− 4t g(y) dy . (3.3.12)
(4πt)n/2 Rn
Transformation Approaches to Certain PDEs 99
We equate (3.3.11) with (3.3.12), recall (3.3.10), and set λ = 4t1 , thereby
obtaining the identity
Z ∞ n−1
1 λ 2
Z
−λs2 2
u(x, s)e ds = e−λ|x−y| g(y) dy .
0 2 π R n
Thus
Z ∞ n−1 Z ∞
−λs2 nα(n) λ 2 2
u(x, s)e ds = e−λr rn−1 G(x; r) dr (3.3.13)
0 2 π 0
nα(n) nπ1/2 1 1
k k+1
= n
= = .
π2 k+1
2 Γ 2 +1 (n − 2)(n − 4) · · ·5 · 3 γn
Function Spaces
The major part of the material of this chapter is taken from the textbook
[6].
Recall the definition of the Banach space. Let B be a normed linear space
with the norm k·kB . A sequence {xn }∞ n=1 ⊂ B satisfies the Cauchy con-
vergence criterion if for an ε > 0 there exists an integer N = N (ε) such
that
kxn − xm kB < ε, ∀n, m ≥ N . (4.1.1)
This sequence is called “Cauchy sequence”.
102 Michael V. Klibanov and Jingzhi Li
2
< ε + | f n (x) − f n (y)| . (4.1.5)
3
For this fixed number n and fixed x choose a number δ = δ (ε) > 0 such
that
ε
| f n (x) − f n (y)| < , ∀y ∈ {|x − y| < δ} ∩ Q .
3
Then (4.1.5) implies that
∂|α| u
Dα u = .
∂αxnn ...∂αx11
For example,
∂2 u
D(1,1)u = .
∂x2 ∂x1
Let k ≥ 1 be an integer. Consider the normed linear space Ck Q of k times
continuously differentiable in Q functions f (x) with the norm
lim k f n − f kC(Q) = 0 ,
n→∞
kDα f n − gα kC(Q) = 0 ,
then gα = Dα f .
It suffices to give the sketch of the proof by showing you an idea of it
on a simplified example. Consider, for example the case of two variables,
f = f (x, y) .
Zx
f n (x, y) = f nx (s, y) ds + f n (a, y) .
a
We have
k f n (x, y) − f (x, y)kC(Q) → 0, n → ∞ .
Hence,
max | f n (a, y) − f (a, y)| → 0, n → ∞ .
(a,y)∈Q
104 Michael V. Klibanov and Jingzhi Li
Next, since the
space C Q is complete (Theorem 4.1.1), then the function
g(1,0) ∈ C Q , where
g(1,0) = lim f nx in the norm of C Q .
n→∞
Hence,
Zx x
Z
f nx (s, y) − g(1,0) (s, y) ds ≤ f nx (s, y) − g(1,0) (s, y) ds .
a a
Hence,
Zx
f nx (s, y) − g(1,0) (s, y) ds < Cε ,
a
where the constant C > 0 depends only on the domain Q.
This proves that
Zx Zx
max f nx (s, y) ds − g(1,0) (s, y) ds → 0, n → ∞ .
Q
a a
Hence,
Zx
f (x, y) = g(1,0) (s, y) ds + f (a, y) .
a
Hence,
f x (x, y) = g(1,0) (s, y) .
Function Spaces 105
Then the sequence {Sn (x)} is monotonically increasing, Sn (x) ≤ Sn+1 (x) .
Next, integrals of this sequence are bounded from the above
Z n Z
Sn (x) dx = ∑ f N (x) − f N (x) dx
k k+1
Q k=1 Q
∞ Z ∞
≤ ∑ f N (x) − f N (x) dx ≤ ∑ 2−k .
k k+1
k=1 Q k=1
106 Michael V. Klibanov and Jingzhi Li
By this theorem the sequence Sn (x) converges a.e. But this also means that
the series
∞
∑ fNk (x) − fNk+1 (x)
k=1
converges a.e. to a function f (x) . We have
S
∑ f Nk (x) − f Nk+1 (x) = (4.2.4)
k=1
Hence,
k f m − f Nk kL1 (Q) ≤ 21−r . (4.2.7)
Fix m and consider the sequence {( f m − f Nk ) (x)}∞ k=1 . By (4.2.5) this se-
quence converges a.e. to the function ( f m − f ) (x) . Hence, it follows from
(4.2.7) that we can apply Fatou’s Lemma. Hence,
k f m − f kL1 (Q) ≤ 21−r , ∀m ≥ Nr .
Hence,
lim k f m − f kL1 (Q) = 0 .
m≥Nr ,r→∞
This means that the Cauchy sequence { f n }∞ n=1 ⊂ L1 (Q) converges to the
function f ∈ L1 (Q) in terms of the norm of L1 (Q) . This proves that the
space L1 (Q) is a complete space, i.e. it is a Banach space.
This is indeed a linear space. Indeed, if f 1 , f 2 ∈ L2 (Q) , then for every two
numbers c1 , c2 ∈ R
Z Z Z Z
2
(c1 f 1 + c2 f 2 ) dx = c21 f 12 dx + c22 f 22 dx + 2c1 c2 f 1 f 2 dx .
Q Q Q Q
We have:
2ab ≤ a2 + b2 , ∀a, b ∈ R .
Hence,
Z Z Z
(c1 f 1 + c2 f 2 )2 dx ≤ 2c21 f 12 dx + 2c22 f 22 dx
Q Q Q
In particular,
( f , f )L2 (Q) = k f k2L2 (Q) ,
( f 1 , f 2 )L2 (Q) ≤ k f 1 kL2 (Q) k f 2 kL2 (Q) .
Proof. Recall that Hilbert space is a Banach space with the scalar product.
Therefore, it is sufficient to prove that the space L2 (Q) is complete.
Let { f n }∞
n=1 ⊂ L2 (Q) be a Cauchy sequence. Similarly with the proof
of Theorem 4.2.1, we can find a sequence N1 ≤ N2 ≤ ... ≤ Nk ≤ .... such
that
k f m − f Nk kL2 (Q) ≤ 2−k , ∀m ≥ f Nk .
Function Spaces 109
In particular,
fN − fN
≤ 2−k .
k k+1 L 2 (Q)
Hence,
p
p
fN − fN
≤ |Q|
f Nk − f Nk+1
L1 (Q) ≤ |Q|2−k .
k k+1 L1 (Q)
≤ 1 + k f N1 kL2 (Q) .
4.4 The Space C Q is Dense in L1 (Q) and L2 (Q) .
Spaces L1 (Q) and L2 (Q) Are Separable. Conti-
nuity in the Mean of Functions from L1 (Q) and
L2 (Q)
Theorem 4.4.1. The space C Q is dense in L1 (Q) and L2 (Q).
f = f+− f−,
110 Michael V. Klibanov and Jingzhi Li
where f + , f − ≥ 0, and apply the rest of the proof to each of these functions
separately.
Since f ≥ 0, then by the definition of an integrable function, there ex-
ists a sequence of functions f k ∈ C Q such that it converges pointwise to
f a.e. from the below:
fk % f ,
and also Z Z
f k dx → f dx . (4.4.1)
Q Q
fk % f . (4.4.3)
Z Z Z
→ f 2 dx − 2 f 2 dx + f 2 dx = 0 .
Q Q Q
Hence, F ∈ L2 (B2a ).
Consider a sufficiently
small number ε > 0. By Theorem 4.4.1, there
exists a G ∈ C B2a such that
ε
kF − GkL2 (B2a ) < . (4.4.7)
3
e
function χ (x) such that χG = G = 0
We can find an appropriate cut-off
e e
outside of Ba and still G ∈ C B2a , G = G in Ba . Consider the function
e (x + z)
F (x + z) − G for |z| < a .
Then
Z h i2 Z
y=x+z
e (x + z)
F (x + z) − G dx == [F (y) − G (y)]2 dy
B2a |y|<a
Obviously,
f h (x) = 0 for x ∈ Qh = x : dist x, Q > h ,
Theorem 4.5.1.
Hence,
C
Z Z Z
2
| f h (x) − f (x)| dx ≤ n ( f (x + z) − f (x))2 dz dx
h
Q Q |z|<h
C
Z Z
= ( f (x + z) − f (x))2 dx dz .
hn
|z|<h Q
Choose an ε > 0. By Theorem 4.4.3 there exists h0 = h0 (ε) > 0 such that
Z
( f (x + z) − f (x))2 dx < ε, ∀z ∈ {|z| < h, ∀h ∈ (0, h0 )} .
Q
Hence,
C
Z Z
2
| f h (x) − f (x)| dx ≤ n ε dz ≤ Cε .
h
Q |z|<h
Function Spaces 115
Definition 4.5.2. The set C0∞ (Q) is the set of all functions f ∈ C∞ Q such
that f = 0 at the boundary ∂Q together with all its derivatives.
Theorem 4.5.2. The set C0∞ (Q) is dense in both L2 (Q) and L1 (Q) .
ε2
Z
f 2 dx < . (4.5.2)
4
QQδ
Let
f (x) , x ∈ Qδ ,
F (x) =
0, x ∈ QQδ .
By (4.5.2)
ε
k f − FkL2 (Q) <
. (4.5.3)
2
Next, by Theorem 4.5.1 there exists a number h0 > 0 such that
ε
kFh − F kL2 (Q) < , ∀h ∈ (0, h0 ) . (4.5.4)
2
Now, since F (x) = 0 for x ∈ QQδ , then the averaging function Fh (x) = 0
together with all its derivatives at x ∈ ∂Q as soon as h ∈ (0, δ) . In other
words, Fh ∈ C0∞ (Q) .
Next, by (4.5.3), (4.5.4) and the triangle inequality,
ε ε
≤ k f − F kL2 (Q) + kF − Fh kL2 (Q) < + = ε.
2 2
116 Michael V. Klibanov and Jingzhi Li
for any subdomain Q0 ⊂ Q with dist (∂Q0 , ∂Q) > 0 : we can extend g by
|α|
zero outside of Q0 . By Theorem 4.5.2 the set C0 (Q0 ) is dense in L2 (Q0 ).
Hence, f 1α − f 2α = 0 in Q0 . Since Q0 is an arbitrary subdomain, then f 1α −
f 2α = 0 in Q.
Let the function f ∈ C|α| Q . Then certainly the identity (4.7.1) is
α
valid for
|α|
f and its conventional derivative αD f . Hence, any function f ∈
C Q has the generalized derivative D f and, by Lemma 4.7.1, they
coincide.
In particular, if f = const. a.e., then Dα f = 0 for all α with |α| > 0.
Since derivatives are independent on the order of the differentiation for
smooth functions, then the generalized derivatives are also independent on
the order of the differentiation: this can be easily derived from (4.7.1).
Example.
f (x) = |x1 | , Q = {|x| < 1} .
Let g ∈ C01 (Q),
Z Z Z
|x1 |gx1 dx = x1 gx1 dx − x1 gx1 dx
Q Q∩{x1 >0} Q∩{x1 <0}
Z Z
=− x1 g dx − x1 g dx
Q∩{x1 =0} Q∩{x1 =0}
Z Z
− g dx + g dx
Q∩{x1 >0} Q∩{x1 <0}
Z
= − sign (x) g dx ,
Q
118 Michael V. Klibanov and Jingzhi Li
1,z > 0,
sign (z) =
−1 , z < 0 .
Thus,
(|x1 |)x1 = sign (x1 ) .
Note that the function |x1 | is NOT differentiable in the conventional sense.
Next, for i 6= 1
Z Z Z
|x1 | gxi dx = x1 gxi dx − x1 gxi dx
Q Q∩{x1 >0} Q∩{x1 <0}
Z Z
=− x1 g dx − x1 g dx
Q∩{x1 =0} Q∩{x1 =0}
Z Z
− (x1 )xi g dx + (x1 )xi g dx = 0 .
Q∩{x1 >0} Q∩{x1 <0}
Thus,
(|x1 |)xi = 0 , i 6= 1 .
We now prove that the function sign (x1 ) does not have generalized deriva-
tive with respect to x1 . Indeed, suppose it does have this derivative,
Z Z
=− g dx + g dx
Q∩{x1 >0} Q∩{x1 <0}
Z
=2 g dx . (4.7.2)
Q∩{x1 =0}
Function Spaces 119
Hence, by (4.7.2)
Z
g dx = 0, ∀g ∈ C01 (Q) .
Q∩{x1 =0}
L2,loc (Q) , which have generalized derivatives Dα f ∈ L2,loc (Q) for all |α| ≤
k.
Now, H k (Q) ⊂ Hlock
(Q) is the set of all functions f ∈ L2 (Q) which
have generalized derivatives Dα f ∈ L2 (Q) for all |α| ≤ k.
Similarly with L2 (Q), we introduce the scalar product and norm in
H k (Q) as:
Z
( f , g)H k (Q) = ∑ Dα f Dα g dx ,
|α|≤k Q
1/2
Z
k f kH k (Q) = ∑ (Dα f )2 dx .
|α|≤k Q
120 Michael V. Klibanov and Jingzhi Li
Exercise. Prove that the scalar product and norm above satisfy the defini-
tion of the scalar product and that of the norm, respectively.
Theorem 4.8.1. H k (Q) is a Hilbert space.
Proof. We need to prove that the space H k (Q) is complete. Consider a
Cauchy sequence,
Z
2
k f n − f m k2H k (Q) = ∑ (Dα f n − Dα f m ) dx → 0 , n , m → ∞ .
|α|≤k Q
Hence,
Since the space L2 (Q) is complete, then for each α there exists a unique
function pα such that
2
kDα f n − pα kL2 (Q) → 0; n → ∞, ∀α, |α| ≤ k . (4.8.1)
And therefore,
k f n − p0 k2L2 (Q) → 0 ; n → ∞ . (4.8.2)
Denote p0 = f . We have for all g ∈ C01 (Q)
Z Z
f n Dα g dx = (−1)α Dα f n g dx .
Q Q
Hence, pα = Dα f .
Theorem 4.8.2. The sets C∞ Q ,Ck Q are dense in the space H k (Q).
Theorem 4.8.3. The space H k (Q) is separable.
We do not prove these theorems here, see [6] for proofs.
for a certain number a > 0. So, G = {0 < x2 , ..., xn < a}. To simplify,
assume that
f (0, x2 , ..., xn) = 0 . (4.9.1)
Denote
x0 = (x2 , ..., xn) .
Hence, for f ∈ C1 Q
ϕ(x 0
Z )
0 0 ∂f
f |S0 = f ϕ x , x = ξ, x0 dξ .
∂ξ
0
0
Z 2
2
( f |S0 ) ≤ ϕ x f ξ ξ, x0 dξ .
0
122 Michael V. Klibanov and Jingzhi Li
q
Multiply this by 1 + ϕ2x2 + ϕ2x3 + ... + ϕ2xn and integrate over G using
q
dS = 1 + ϕ2x2 + ϕ2x3 + ... + ϕ2xn dx0 .
We obtain
1/2
Z
k f kL2 (S0) = ( f |S0 )2 dx0 ≤ C k f kH 1 (Q) . (4.9.2)
G
Assume now that (4.9.2) is valid even without the assumption (4.9.1).
Let now f ∈ H 1 (Q). By theorem 4.8.2, there exists a sequence { f n }∞
n=1
⊂ C1 Q which converges to f in the norm of H 1 (Q).
By (4.9.2)
f p − fq
0 ≤ C
f p − fq
1 . (4.9.3)
L (S ) 2 H (Q)
Hence,
f p − fq
→ 0; p,q → ∞.
L2 (S0 )
Since the space L2 (S0 ) is complete, then there exists a function f S0 ∈ L2 (S0 )
such that
k f p − f S0 kL2 (S0 ) → 0 ; p → ∞ .
Furthermore, it follows from (4.9.3) that
kpn − f kH 1 (Q) → 0 , n → ∞ .
where n is the outward normal vector on ∂Q and f |∂Q , g |∂Q are traces of
these functions on ∂Q.
Proof. Since C1 Q is dense in H 1 (Q) , consider the sequences
{ f k }, {gk } ⊂ C1 Q converging to functions f and g respectively in the
norm of H 1 (Q). For these sequences formula (4.10.1) is valid,
Z Z Z
f kxi gk dx = f k gk cos (n, xi ) dS − f k gkxi dx . (4.10.2)
Q ∂Q Q
Set k → ∞ in (4.10.2). And also use the definition of the trace via limits.
Then we obtain (4.10.1).
Function Spaces 125
W ( f , f ) ≤ C1 ( f , f )1 , ∀ f ∈ H 1 (Q) , (4.10.8)
Let
fm fm
gm = p = .
( f m , f m)1 k f mkH 1 (Q)
Hence,
kgm kH 1 (Q) = 1 . (4.10.11)
1
W (gm, gm ) < . (4.10.12)
m
By (4.10.7), (4.10.12) implies:
n
1
Z
∑ ai j (x) gmx gmx i j dx <
m
, (4.10.13)
i, j=1
Q
1
Z
q (x) g2m (x) dx < , (4.10.14)
m
Q
1
Z
r (x) g2m (x) dS < . (4.10.15)
m
∂Q
1
Z
(Ogm )2 dx < . (4.10.16)
γm
Q
kgm − gk k2H 1 (Q) = kgm − gk k2L2 (Q) + kOgm − Ogk k2L2 (Q)
Function Spaces 127
By (4.10.11), (4.10.14)-(4.10.17):
1. kgkH 1 (Q) = 1,
Z
2. (Og)2 dx = 0,
Q
Z
3. q (x) g2 (x) dx = 0,
Q
Z
4. r (x) g2 (x) dS = 0.
∂Q
It follows from 2 that g (x) ≡ const. Next, by 1
1
Z
g (x) ≡ p , |Q| = dx . (4.10.17)
|Q|
Q
Consider now the subspace H01 (Q) and introduce in this subspace the
scalar product without the boundary term,
Z n Z
W1 ( f , g) = ∑ ai j (x) f xi gx j dx + q (x) f (x) g (x) dx .
i, j=1
Q Q
Theorem 4.10.6. Let the function q (x) ≥ 0, q (x) ∈ C Q . Then the bilin-
ear form W1 ( f , g) generates a scalar product in H01 (Q) which is equivalent
to (4.10.6).
g (ξ)
Z
Ik (x) = dξ, x∈Q
|x − ξ|k
Q
g (ξ)
Z
Jk (x, R) = dξ (4.10.18)
|x − ξ|k
BR (x)
ξ1 = x1 + r cos ϕ sinθ ,
ξ2 = x2 + r sin ϕ sinθ ,
ξ1 = x3 + r cos θ,
r ∈ (0, R) , ϕ ∈ (0, 2π) , θ ∈ (0, π) .
Then
Zπ Z2πZR
Jk (x, R) = sinθ g (ξ) r2−k dr dϕdθ .
0 0 0
Hence,
ZR
|Jk (x, R)| ≤ 4π kgkC(BR (x)) r2−k dr .
0
Nonsense again.
f (ξ)
Z
u (x) = dξ . (4.10.20)
4π |x − ξ|
Q
Then u ∈ C2 Q and
∆u = − f (x) , x ∈ Q.
Proof. We have:
∂ 1 ξ − xi
= i , (4.10.21)
∂ξi |x − ξ| |x − ξ|3
ξ −x 1
i i
≤ , (4.10.22)
|x − ξ| |x − ξ|2
3
However,
∂2 1 1 (ξi − xi )2
= −3 . (4.10.23)
∂2 ξi |x − ξ| |x − ξ|3 |x − ξ|5
1 1
Z Z
=− f (ξ) dS + f ξi (ξ) dξ
4π |x − ξ| ξ 4π|x − ξ|
∂Q Q
1
Z
= f ξi (ξ) dξ .
4π |x − ξ|
Q
Denote
Qε = {ξ ∈ Q : |x − ξ| > ε} . (4.10.25)
Consider the integral Ii,ε (x) ,
∂ 1
Z
Ii,ε (x) = − f ξi (ξ) dξ (4.10.26)
∂ξi 4π|x − ξ|
Qε
Z
∂ 1 Z
∂ 1
=− f (ξ) cos nξ , ξi dSξ − f (ξ) dSξ
∂ξi 4π |x − ξ| ∂ξi 4π |x − ξ|
∂Q |x−ξ|=ε
∂2 1
Z
+ f (ξ) dξ (4.10.27)
∂ξ2i 4π |x − ξ|
Qε
132 Michael V. Klibanov and Jingzhi Li
∂ 1 ∂2 1
Z Z
=− f (ξ) dSξ + f (ξ) 2 dξ .
∂ξi 4π |x − ξ| ∂ξi 4π |x − ξ|
|x−ξ|=ε Qε
3
Z
∂ 1 Z
1
=−∑ f (ξ) cos nξ , ξi dSξ + f (ξ)∆ξ dξ
i=1 ∂ξi 4π |x − ξ| 4π |x − ξ|
|x−ξ|=ε Qε
3 Z
∂ 1
= −∑ f (ξ) cos nξ , ξi dSξ .
i=1 ∂ξi 4π |x − ξ|
|x−ξ|=ε
We have
3 Z
∂ 1
−∑ f (ξ) cos nξ , ξi dSξ
i=1 ∂ξi 4π |x − ξ|
|x−ξ|=ε
∂ 1
Z
=− f (ξ) dSξ .
∂nξ 4π |x − ξ|
|x−ξ|=ε
Thus,
∂ 1
Z
Iε (x) = − f (ξ) dSξ . (4.10.28)
∂nξ 4π |x − ξ|
|x−ξ|=ε
Hence, by (4.10.28)
∂ 1 1
Z Z
Iε (x) = − f (ξ) dSξ = − f (ξ) dSξ .
∂nξ 4π |x − ξ| 4πε2
|x−ξ|=ε |x−ξ|=ε
By the mean value theorem there exists a point ξε ∈ {|x − ξ| = ε} such that
1 f (ξε ) f (ξε )
Z Z
− f (ξ) dSξ = − dSξ = − · 4πε2
4πε2 4πε2 4πε2
|x−ξ|=ε |x−ξ|=ε
= − f (ξε ) .
Since the function f ∈ C Q , then
Hence, by (4.10.28)
lim Iε (x) = − f (x) .
ε→0
Qε = {x ∈ Q : |x − ξ| > ε} .
By Theorem 4.10.9
1 1
Z Z
lim − ∆ f (ξ) dξ = − ∆ f (ξ) dξ . (4.10.32)
ε→0 4π |x − ξ| 4π |x − ξ|
Qε Q
Now,
1 ∂ f (ξ) 1 1 ∂ f (ξ)
Z Z Z
− ∆ f (ξ) dξ = − · dSξ − dSξ
4π |x − ξ| ∂nξ 4π |x − ξ| 4πε ∂nξ
Qε ∂Q |x−ξ|=ε
1
Z
+ O f (ξ) Oξ dξ . (4.10.33)
4π |x − ξ|
Qε
Function Spaces 135
Note that
1 Z ∂ f (ξ) k f kC1 Q Z
( )
dSξ ≤ dSξ = ε k f kC1 (Q) .
4πε ∂nξ 4πε
|x−ξ|=ε |x−ξ|=ε
Hence,
1 ∂ f (ξ)
Z
dSξ = O (ε) . (4.10.34)
4πε ∂nξ
|x−ξ|=ε
Next,
1 ∂ 1
Z Z
O f (ξ) Oξ dξ = f (ξ) dSξ
4π |x − ξ| ∂nξ 4π|x − ξ|
Qε ∂Q
∂ 1 1
Z Z
+ f (ξ) dSξ − f (ξ) ∆ξ dξ .
∂nξ 4π |x − ξ| 4π |x − ξ|
|x−ξ|=ε Qε
(4.10.35)
By (4.10.30)
1
∆ξ =0 for ξ ∈ Qε . (4.10.36)
4π|x − ξ|
Hence, (4.10.33)-(4.10.36) imply
1 ∂ f (ξ) 1 ∂ 1
Z Z Z
− ∆ f (ξ) dξ = − · dS + f (ξ) dSξ
4π|x − ξ| ∂nξ 4π|x − ξ| ξ ∂nξ 4π |x − ξ|
Qε ∂Q ∂Q
∂ 1
Z
+ f (ξ) dSξ + O (ε) , (4.10.37)
∂nξ 4π |x − ξ|
|x−ξ|=ε
as ε → 0.
Now,
∂ 1 ∂ 1
=− , r = |x − ξ| , ξ ∈ {|x − ξ| = ε} .
∂nξ 4π |x − ξ| ∂r 4πr
Hence, applying the mean value theorem, we obtain
∂ 1 f (ξε )
Z Z
f (ξ) dSξ = dSξ = f (ξε ) ,
∂nξ 4π |x − ξ| 4πε2
|x−ξ|=ε |x−ξ|=ε
136 Michael V. Klibanov and Jingzhi Li
Then
H k (Ω) ⊂ Cm Q . (4.11.2)
In other words, each function f ∈ H k (Ω) can be changed on a set with
the measure zero in such a way that the obtained function e
f ∈ Cm Q .
Furthermore, the following inequality holds:
Proof. We prove this theorem only for the case n = 3 and only for the space
H0k (Q) , which is the closure of the set C0∞ (Q) in the norm of H k (Q). We
also assume that ∂Q ∈ Cm . Recall that C0∞ (Q) is the set of functions from
C∞ (Q), each of which equals zero in a small neighborhood of the boundary
∂Q.
Let the function f ∈ C0∞ (Q) . Then by (4.10.29)
∆ f (ξ)
Z
f (x) = − dξ .
4π|x − ξ|
Q
Hence,
1/2 1/2
1 1
Z Z
| f (x)| ≤ 2
dξ (∆ f (ξ))2 dξ
4π |x − ξ|
Q Q
1/2
1
Z
≤ C dξ k f kH 2 (Q) .
|x − ξ|2
Q
Obviously,
1/2
1
Z
max dξ ≤ C.
x∈Q |x − ξ|2
Q
Or
k f kC(Q) ≤ C k f kH 2 (Q) , ∀ f ∈ C0∞ (Q) . (4.11.4)
Hence,
k f kCl (Q) ≤ C k f kH 2+l (Q) , ∀ f ∈ C0∞ (Q) . (4.11.5)
where m is an integer.
Now we prove (4.11.6) for f ∈ H0m (Q).
Let the function f ∈ H0m (Q) . Then there exists a sequence { f s } ⊂
∞
C0 (Q) such that
lim k f s − f kH m (Q) = 0 . (4.11.7)
s→∞
Hence, by (4.11.6)
lim
f p − f q
Cl (Q) = 0 .
p,q→∞
In other
words, the sequence { f s} converges in both spaces: H m (Q) and
Cl Q . This means that function f indicated in the limit (4.11.7) belongs
to the space Cl Q .
Furthermore, since by (4.11.6)
Elliptic PDEs
l (v) : H → R
with the norm klk . Then there exists a unique element u ∈ H such that
l (v) = (u, v) , ∀v ∈ H .
The operator
n n
Lu = ∑ ai, j (x) uxi x j + ∑ b j (x) ux j + c (x) u (5.1.3)
i, j=1 j=1
is called elliptic operator in the domain Q. The simplest case is the Laplace
operator:
1, if i = j ,
ai, j (x) =
0, if i 6= j .
Then
n
Lu = ∆u = ∑ uxi xi .
i=1
The equation
Lu = f , x∈Q
is called the elliptic equation in Q.
We consider a simplified elliptic equation
n
∑ (ai j (x) ux )x i j
− c (x) u = f in Q . (5.1.4)
i, j=1
For this equation, we consider the so-called “first” boundary value prob-
lem. This is also called “Dirichlet” boundary value problem. This problem
consists in finding the function u (x) in Q satisfying equation (5.1.4) and
the first order or Dirichlet boundary condition
g |∂Q = ϕ (x) .
Elliptic PDEs 141
u |∂Q = 0 . (5.1.7)
So, (5.1.6), (5.1.7) is the Dirichlet boundary value problem for the elliptic
equation (5.1.6) with the zero Dirichlet boundary condition (5.1.7).
Suppose that u ∈ C2 (Q) ∩ H01 (Q) and v ∈ H01 (Q). Multiply both sides
of (5.1.6) by v and integrate over Q. Use integration by parts (see Theorem
4.10.8). We obtain
!
Z n Z Z
∑ ai j (x) uxi vx j dx + c (x) u (x)v (x) dx = f (x)v (x) dx, ∀v ∈ H01 (Q) .
Q i, j=1 Q Q
(5.1.8)
Since (5.1.8) is satisfied for all functions v ∈ H01 (Q), then (5.1.8) is called
integral identity.
The solution of (5.1.6), (5.1.7) such that u ∈ C2 (Q) ∩ H01 (Q) is called
classical solution of the problem (5.1.6), (5.1.7).
Thus, any classical solution satisfies the integral identity (5.1.8). But
we now are after those functions u which are not necessary classical solu-
tions.
Definition 5.1.1. The function u ∈ H01 (Q) satisfying the integral identity
(5.1.8) is called weak (or generalized) solution of the problem (5.1.6),
(5.1.7).
Thus, the weak solution is a more general entity than the classical one.
QUESTION: Under which conditions the weak solution becomes the clas-
sical solution?
ANSWER. This question is addressed in referenced book [3], but this topic
is outside of the current book.
the problem (5.1.6), (5.1.7). Furthermore, there exists a constant C > 0 de-
pending only on the operator L and the domain Q such that the following
stability estimate holds:
kukH 1 (Q) ≤ C k f kL2 (Q) .
Proof. By Theorem 4.10.6 the left hand side of (5.1.8) generates a new
scalar product [, ] in H01 (Q) whose corresponding norm is equivalent to
the norm in H 1 (Q) . Hence, (5.1.8) can be rewritten as
[u, v] = ( f , v) , (5.1.9)
where (, ) is the scalar product in L2 (Q) . Next,
|( f , v)| ≤ k f kL2 (Q) kvkL2 (Q) ≤ C k f kL2 (Q) [v]H 1 (Q) ,
where [v]H 1 (Q) is the norm in H 1 (Q) generated by the scalar product [, ] in
H01 (Q) .
Hence, l ( f ) = ( f , v) is a linear functional with respect to v, l ( f ) :
H01 (Q) → R. And this functional is bounded. Hence, by the Riesz theo-
rem, there exists a unique F ∈ H01 (Q)
( f , v) = [F, v] , ∀v ∈ H01 (Q) ,
[F] ≤ C k f kL2 (Q) .
Hence, by (5.1.9)
[u, v] = [F, v] , ∀v ∈ H01 (Q) .
Therefore,
u = F and kukH 1 (Q) ≤ C k f kL2 (Q) .
Consider the Dirichlet boundary value problem for the elliptic equation
which, by analogy (5.1.3) and (5.1.6), with we write as:
n n
− ∑ (ai j (x) ux )x i j
− ∑ b j (x) ux j + c (x) u = f in Q ,
i, j=1 j=1
u |∂Q = 0 .
It is convenient to rewrite these as
!
n n n
− ∑ (ai j (x) uxi )x j − ∑ (b j (x) u)x j + ∑ b jx j (x) + c (x) u= f in Q ,
i, j=1 j=1 j=1
(5.2.4)
u |∂Q = 0 . (5.2.5)
The problem of finding the function u (x) ∈ C2 (Q) ∩C Q from conditions
(5.2.4) and (5.2.5) is called “first” boundary value problem for equation
(5.2.4) or “Dirichlet problem” for this equation. The boundary condition
(5.2.5) is called “first” boundary condition or “Dirichlet” boundary con-
dition. The function u (x) ∈ C2 (Q) ∩ C Q satisfying conditions (5.2.4),
(5.2.5) is called “classical” solution of problem (5.2.4), (5.2.5).
Let an arbitrary function v ∈ H01 (Q). Multiply both sides of equation
(5.2.4) by v and integrate over the domain Q using the integration by parts.
We obtain the following integral identity which is similar with (5.1.8):
! ! !
Z n Z n n
∑ ai j (x) uxi vx j dx + ∑ b j (x) vx j + ∑ b jx j (x) + c (x) v u dx
i, j=1 j=1 j=1
Q Q
Z
= f v dx, ∀v ∈ H01 (Q) . (5.2.6)
Q
Definition 5.2.1. The function u ∈ H01 (Q) satisfying the integral identity
(5.2.6) is called weak (or generalized) solution of the problem (5.2.4),
(5.2.5).
144 Michael V. Klibanov and Jingzhi Li
is actually a new scalar product [, ] in the space H01 (Q). Hence, we rewrite
the integral identity (5.2.6) as:
! !!
n n
[u, v] + u, ∑ b j (x) vx j + ∑ b jx j (x) + c (x) v = ( f , v)L2 (Q) .
j=1 j=1 L2 (Q)
(5.2.7)
Lemma 5.2.1. There exists a bounded linear operator A (u) : L2 (Q) →
H01 (Q) such that
! !!
n n
u, ∑ b j (x) vx j + ∑ b jx j (x) + c (x) v = [Au, v] ,
j=1 j=1 L2 (Q)
Then
|l (v)| ≤ C kukL2 (Q) kvkH 1 (Q) .
0
Hence, by the Riesz theorem for each u ∈ L2 (Q) there exists a unique
function U (u) ∈ H01 (Q) such that
l (v) = [U, v] .
Elliptic PDEs 145
By (5.2.8)
kUkH 1 (Q) ≤ C kukL2 (Q) .
0
We now prove that if we consider A as acting from H01 (Q) in H01 (Q),
then A is a compact operator. Consider any bounded sequence {un } ⊂
H01 (Q) and also consider the sequence {Aun } ⊂ H01 (Q) . Since {un } is
bounded in H01 (Q), then it belongs to a compact set in L2 (Q) . Therefore,
one can extract a convergingsubsequence {unk }∞k=1 in L2 (Q). But this and
(5.2.8) imply that the sequence {Aunk } converges in H01 (Q) .
Hence, by the Riesz theorem there exists a unique element F ∈ H01 (Q) with
kFkH 1 (Q) ≤ C k f kL2 (Q) such that
0
Lemma 5.2.2. If
n
1
2 ∑ b jx (x) + c (x) ≥ 0 ,
j (5.2.12)
j=1
[u, u] + [Au, u] = 0 .
146 Michael V. Klibanov and Jingzhi Li
n n
1
Z Z Z
2 2
=− ∑ b jx j (x) u dx + ∑ b jx j (x) u dx + c (x) u2 dx
2 j=1 j=1
Q Q Q
!
n
1
Z
= ∑ b jx j (x) + c (x) u2 dx ≥ 0 .
2 j=1
Q
Example. Integral Operator. Let the function K (x, y) ∈ C G × G . Con-
sider the operator
Z
(Au) (x) = K (x, s) u (s) ds, x ∈ G.
G
b. Fredholm’s Theorems
Let H be a Hilbert space of complex valued functions with the scalar
product (, ). Let A : H → H be a bounded linear compact operator. Let
A∗ : H → H be the adjoint operator. Then A∗ is a compact operator.
Consider two Fredholm equations
u + Au = f , f ∈ H , (5.2.13)
v + A∗ v = f ∗ , f ∗ ∈ H . (5.2.14)
Equation (5.2.14) is called “adjoint” to equation (5.2.13).
kukH ≤ C1 k f kH , (5.2.15)
kvkH ≤ C2 k f ∗ kH , (5.2.16)
where C1 ,C2 are two positive constants. Estimates (5.2.15), (5.2.16) are
called “stability estimates” for solutions of equations (5.2.13), (5.2.14).
(I + A) : H → H ,
(I + A∗ ) : H → H
Then for every function f ∈ L2 (Q) there exists a unique weak solution
u ∈ H01 (Q) of problem (5.2.4), (5.2.5) and the following stability estimate
holds:
kukH 1 (Q) ≤ C k f kL2 (Q) . (5.2.21)
Proof. The problem (5.2.4), (5.2.5) was reduced to equation (5.2.17).
Next, it was proven in Lemma 5.2.2 that, given (5.2.20), equation (5.2.17)
with F = 0 has only trivial solution. The rest follows Corollary 5.2.1 and
12.18.
Theorem 5.2.3. Assume that the inequality (5.2.20) is invalid. Then there
are at most finite number k ≥ 0 of linearly independent weak solutions
k
u j j=1 of the homogeneous identity (5.2.6) with f ≡ 0. For f 6= 0, each
weak solution u can be represented as
k
u = U + ∑ α ju j ,
j=1
y0 (t) = f 00 (t) ,
Zt
y (t) = K (t, s)y (s) ds + f (t), t ∈ (0, a) . (5.3.2)
0
Zt
yn (t) = K (t, s)yn−1 (s) ds, n = 1, ... (5.3.4)
0
∞
y (t) = ∑ yn (t) . (5.3.5)
n=0
k f kC[a,b] ≤ C , (5.3.6)
kKkC([a,b]×[a,b]) ≤ M . (5.3.7)
Then
|y0 (t)| ≤ C ,
Zt
|y1 (t)| ≤ MCds ≤ MCt ,
0
Zt Zt
t2
|y2 (t)| ≤ M |y1 (s)| ds ≤ M 2Cs ds = M 2C ,
2
0 0
Zt Zt
1 M 3C 3 M 3C 3
|y3 (t)| ≤ M |y2 (s)| ds ≤ M 3Cs2 ds = t = t .
2 2·3 3!
0 0
|y (t)| ≤ CeMt
and can be constructed by the iterative process (5.3.3)- (5.3.5), where terms
can be estimated as in (5.3.8).
Zt
0
u (t) = v (t) +C v (s)exp (C (t − s)) ds .
0
Hence,
Zt
u (t) ≤ f (s) exp (C (t − s)) ds ,
0
Zt
0
u (t) ≤ f (t) +C f (s)(t − s) exp (C (t − s)) ds .
0
In other words,
Zt Zt
y (s) ds ≤ f (s)exp (C (t − s)) ds , (5.3.11)
0 0
Zt
y (t) ≤ f (t) +C f (s)(t − s) exp (C (t − s)) ds . (5.3.12)
0
Inequalities (5.3.11), (5.3.12) are called “Gronwall’s inequalities”.
Chapter 6
Hyperbolic PDEs
Consider first Cauchy problem for this equation. In this case equation
(6.1.1) is satisfied for all x ∈ Rn ,t ∈ (0, T ). u (x,t) is the amplitude of the
wave at the point x and at the moment of time t.
Cauchy Problem. Find the function u (x,t) satisfying equation (6.1.1) and
initial conditions:
∂K = {t − t0 + |x − x0 | = 0} ∪ {t = 0, |x − x0 | = t0 } . (6.1.4)
156 Michael V. Klibanov and Jingzhi Li
n n
= ∂t ut2 + ∑ ∂xi (2uxi ut ) + ∑ 2uxi uxit
i=1 i=1
!
n n
= ∂t ut2 + ∑ u2xi + ∑ ∂xi (2uxi ut ) .
i=1 i=1
Thus, !
n n
(utt − ∆u) 2ut = ∂t ut2 + ∑ u2xi + ∑ ∂xi (2uxi ut ) .
i=1 i=1
Hyperbolic PDEs 157
Integrate this equality over Kt1 and use Gauss formula as well as (6.1.6)-
(6.1.9),
! !
Z Zn n
ut2 + ∑ u2xi (x,t1 ) dx − ut2 + ∑ u2xi (x, 0) dx
i=1 i=1
∂1 Kt1 ∂2 Kt1
!
Z n Z n
+ ut2 + ∑ u2xi (x,t)cos(n,t) dS + ∑ (2ux ut ) cos(n, xi) dS = 0 .
i
i=1 i=1
∂3 Kt1 ∂3 Kt1
Hence, !
Z n
ut2 + ∑ u2xi (x,t1 ) dx
i=1
∂1 Kt1
!
Z n Z n
+ ut2 + ∑ u2xi (x,t)cos(n,t) dS + ∑ (2ux ut )cos (n, xi) dS
i
i=1 i=1
∂3 Kt1 ∂3 Kt1
(6.1.12)
Z
= ψ2 (x) + (Oϕ (x))2 dx .
∂2 Kt1
By Cauchy-Schwarz inequality,
!2 2
n n n
xi − x0i xi − x0i
∑ uxi |x − x0 | ≤∑ u2xi ·∑
i=1 i=1 i=1 |x − x0 |
n
= ∑ u2xi .
i=1
Thus, !2
n n
xi − x0i xi − x0i
∑ (2uxi ut ) |x − x0 | ≥ −ut2 − ∑ uxi |x − x0 |
i=1 i=1
n
≥ −ut2 − ∑ u2xi .
i=1
! !
n n
1 1
Z Z
≥√ ut2 + ∑ u2xi (x,t) dS − √ ut2 + ∑ u2xi (x,t) dS = 0 .
2 i=1 2 i=1
∂3 Kt1 ∂3 Kt1
Theorem 6.1.1. The Cauchy problem (6.1.1), (6.1.2) has at most one so-
lution u (x,t) ∈ H 2 (B × (0, T )) , where B is an arbitrary ball in Rn .
For the proof, it is sufficient to set ϕ (x) ≡ ψ (x) ≡ 0 and then apply
(6.1.14).
QT = Q × (0, T ) ,
ST = ∂Q × (0, T ) .
So, QT is the time cylinder and ST is the lateral side of this cylinder. Let
functions
ai, j (x,t) ∈ C1 QT ; b j (x,t), c (x,t) ∈ C QT , (6.2.1)
n
∑ ai, j (x,t)ξi ξ j ≥ µ |ξ|2 , ∀ (x,t) ∈ QT , ∀ξ ∈ Rn , (6.2.2)
i, j=1
u |ST = 0 . (6.2.6)
Next, by (6.2.3)
n n
2 ∑ ai, j (x, t)uxi ux jt = ∑ ai, j (x, t)uxi ux jt + a j,i (x, t)ux j uxit
i, j=1 i, j=1
n
= ∑ ai, j (x, t) uxi ux jt + a j,i (x, t)ux j uxit
i, j=1
n n n
= ∑ ai, j (x, t)∂t uxi ux j = ∑ ∂t ai, j (x, t)uxi ux j − ∑ ∂t (ai, j (x, t))uxi ux j .
i, j=1 i, j=1 i, j=1
Thus,
n n n
2 ∑ ai, j (x,t) ux ux t = ∑ ∂t i j ai, j (x,t)uxi ux j − ∑ ∂t (ai, j (x,t))uxi ux j .
i, j=1 i, j=1 i, j=1
Let y ∈ (0, T ) be an arbitrary number. Integrate (6.2.9) over the time cylin-
der Qy , !
Z n
2ut utt − 2 ∑ ∂x j (ai, j (x,t) uxi ) ut dx dt
i, j=1
Qy
! !
Z n Z n
= ut2 + ∑ ai, j (x,t)ux ux i j (x, y)− ut2 + ∑ ai, j (x,t) ux ux i j (x, 0)
i, j=1 i, j=1
Q Q
Z n Z n
+ ∑ (−2 (ai, j (x,t)uxi ) ut )cos (n, x j ) dS− ∑ ∂t (ai, j (x,t))uxi ux j dx dt .
i, j=1 i, j=1
Sy Qy
162 Michael V. Klibanov and Jingzhi Li
Hence, !
Z n
2ut utt − 2 ∑ ∂x j (ai, j (x, t)uxi )ut dx dt
i, j=1
Qy
! !
Z n Z n
= ut2 + ∑ ai, j (x, y)uxi ux j (x, y) − ut2 + ∑ ai, j (x, 0)uxi ux j (x, 0)
i, j=1 i, j=1
Q Q
(6.2.10)
Z n
− ∑ ∂t (ai, j (x, t))uxi ux j dx dt .
i, j=1
Qy
By (6.2.2)
! Z
Z n
ut2 + ∑ ai, j (x, y) uxi ux j (x, y) dx ≥ ut2 + µ (Ou)2 (x, y) dx .
i, j=1
Q Q
(6.2.12)
Hyperbolic PDEs 163
Z Z
+C (Ou)2 + ut2 + u2 dx dt +C f 2 dx dt .
Qy Qy
Now,
Zt
u (x,t) = ϕ (x) + ut (x, s) ds .
0
Since
Z Zy Z
(...)(x,t) dx dt = (...)(x,t) dx dt ,
Qy 0 Q
Proof. Assume that there exist two solutions u1 and u2 . Consider their
difference ue = u1 − u2 . Then the function ue ∈ H 2 (QT ), satisfies equation
(6.2.4) with f ≡ 0 as well as zero initial conditions in (6.2.5) and zero
boundary condition (6.2.6). Hence, (6.2.21) implies that ue ≡ 0, i.e. u1 ≡
u2 .
Chapter 7
Parabolic PDEs
Let
m = max u (x,t) .
ST ∪ω0
v (x,t) = u (x,t) − εt ,
By (7.1.8)
M − εT > m ,
if ε is sufficiently small. On the other hand,
max v (x,t) ≤ m .
ST ∪ω0
Hence,
max v (x,t) ≥ M − εT > max v (x,t) .
QT ST ∪ω0
Hence, the function v (x,t) achieves its maximal value at an interior point
(x1 ,t1 ) of the set QT (ST ∪ ω0 ) . Hence,
vt (x1 ,t1 ) ≥ 0, ∆v (x1 ,t1 ) ≤ 0 .
However,
vt (x1 ,t1 ) − ∆v (x1 ,t1 ) = ut (x1 ,t1 ) − ∆u (x1 ,t1 ) − ε = −ε < 0 .
v (x, 0) = 0 ,
v |ST = 0 .
Now, by Theorem 7.1.1
c (x,t) ≤ 0 . (7.1.9)
Let the function u ∈ C2 (QT ) ∩ C QT be a solution of equation (7.1.4)
and u (x,t) 6= const. Then the positive maximum of the function u (x,t) in
the domain QT can be attained only at the boundary ST ∪ ω0 . The same
is true for the negative minimum. If, however, c (x,t) ≡ 0, then the max-
imum/minimum of the function u (x,t) in the domain QT can be attained
only at the boundary ST ∪ ω0 .
Proof. Suppose that the maximal value of u (x,t) is achieved at an interior
point (x0 ,t0 ) ∈ QT (ST ∪ ω0 ) ,
Let
m = max u (x,t) .
ST ∪ω0
Then
max v (x,t) ≥ max u (x,t) − ε = M − εeαT .
QT QT
M − εeαT > m .
Hence,
max v (x,t) ≥ M − εeαT > max v (x,t) .
QT ST ∪ω0
Hence, the function v (x,t) achieves its maximal value at an interior point
(x1 ,t1 ) of the set QT (ST ∪ ω0 ) . And also
Hence,
vt (x1 ,t1 ) ≥ 0, vx j (x1 ,t1 ) = 0 ,
n
− ∑ ai, j (x1 ,t1)vx x i j (x1 ,t1 ) ≥ 0 ,
i, j=1
−c (x1 ,t1) v (x1 ,t1 ) ≥ −c (x1 ,t1 ) M − εeαT ≥ 0 .
In the last line we have used (7.1.9). Hence,
!
n n
vt − ∑ ∂x j (ai, j vxi ) − ∑ b j vx j − cv (x1 ,t1 ) ≥ 0 . (7.1.12)
i, j=1 j=1
v (x, 0) = 0 , (7.1.15)
v |ST = 0 . (7.1.16)
Suppose that there exists a point (x0 ,t0 ) ∈ QT such that v (x0 ,t0) 6=
0.Assume, for example that v (x0 ,t0 ) > 0. Then the function v (x,t) at-
tains a positive maximum in QT . However, this maximum cannot be at-
tained on ST ∪ ω0 , due to (7.1.15)-(7.1.16). Therefore, it is attained
in QT (ST ∪ ω0 ) . But this contradicts to Theorem 7.1.3. The same if
v (x0 ,t0 ) < 0, except that the negative minimum should be considered in-
stead of the positive maximum. Therefore, the only option left is v (x0 ,t0) =
0. Thus, v (x,t) ≡ 0.
w = veλt ,
w (x, 0) = 0 , (7.1.18)
Parabolic PDEs 173
w |ST = 0 . (7.1.19)
Choose λ > 0 so large that λ + c (x,t) > 0 in QT . For example, one can
choose
λ = 2 max |c (x,t)| + 1 .
QT
u (x, 0) = 0 , (7.2.2)
u |ST = 0 . (7.2.3)
Define the Hilbert space H, an analog of H01 (QT ) as:
( )
n
2
H = u : u (x, 0) = u |S = 0, kuk2 = kuk2
T + ∑
ux
H L2 (QT ) j L2 (QT )
<∞ ,
j=0
where we define
ux0 = ut .
Hence, H is such a subspace of H 1 (QT ) , which consists of functions hav-
ing the zero trace at {t = 0} ∪ ST .
Thus, we will use below the norm [u] and denote the scalar product in
this norm as
n n Z
[u, v] = ∑ ux j , vx j = ∑ ux j (x,t)vx j (x,t) dx dt ,
j=0 j=0
QT
Hence,
vt ∈ H, ∀v ∈ V . (7.2.6)
Lemma 7.2.2. The set V is dense in the space H, V = H.
Proof. Consider the set of functions
e = v : v ∈ C2 QT , v (x, 0) = vt (x, 0) = v |ST = 0 .
V
e is dense in H. Now, for any function
By an analog of Theorem 8.2, V
v∈Ve,
Zt
v (x,t) = vt (x, τ) dτ
0
e ⊂ V.
and the function vt ∈ H. Hence, V
Parabolic PDEs 175
where µ = const. > 0. Then there exists a sufficiently large λ > 0 such that
for this λ there exists unique weak solution uλ ∈ H of problem (7.2.1)-
(7.2.3) satisfying integral identity (7.2.7). Furthermore, the following sta-
bility estimate holds:
[u] ≤ 2eλT k f kL2 (QT ) .
176 Michael V. Klibanov and Jingzhi Li
n
l2 (u, v) = ∑ ai j uxi , vtx j e−λt ,
i, j=1
n
l3 (u, v) = ∑ b j ux j , vt e−λt ,
j=1
l4 (u, v) = cu, vt e−λt ,
l5 (u, v) = f , vt e−λt .
Consider bilinear forms l1 , l2 , l3 , l4 for a fixed v ∈ V and let u ∈ H vary in
them. Then each of these forms is a bounded linear functional of u and the
domain of this functional is H. For example,
|l2 (u, v)| ≤ C kOukL2 (QT )
Ovt e−λt
≤ B (v) [u] ,
L2 (QT )
l j (u, v) = [u, v j ], j = 1, 2, 3, 4 .
A j v = v j , j = 1, 2, 3, 4 .
Since forms l1 , l2, l3 , l4 are linear with respect to v, then these operators are
linear as well. Denote
4
Av = ∑ A jv .
j=1
Then
A:V →H
is a linear operator. Let R (A) ⊂ H be the range of A, i.e.
R (A) = {w = Av, ∀v ∈ V } .
Parabolic PDEs 177
Consider now l5 ( f , v) = f , vt e−λt as the functional of v ∈ V. This
functional can be extended for all v ∈ H by the same formula. Note that
f , vt e−λt ≤ k f kL2 (QT )
vt e−λt
≤ k f kL2 (QT ) kvt kL2 (QT ) ≤ k f kL2 (QT ) [v] .
L2 (QT )
Furthermore,
[F] ≤ k f kL2 (QT ) . (7.2.10)
Thus, integral identity (7.2.7) is equivalent with
We now interrupt the proof of Theorem 7.2.1 for the sake of Lemma
7.2.3.
Lemma 7.2.3. There exists a sufficiently large λ0 > 0 such that for all
λ ≥ λ0 the following inequality holds
1
[v, Av] ≥ e−λT [v, v] . (7.2.12)
2
Proof.
4
[v, Av] = ∑ l j (v, v) . (7.2.13)
j=1
Denote
kzk = kzkL2 (QT ) , ∀z ∈ L2 (QT ) ,
B = max max ai, j , ∂t ai, j , b j , |c| .
i, j
We have:
2
l1 (v, v) =
vt e−λt/2
, (7.2.14)
n n
|l3 (v, v)| ≤ B ∑ vx j e−λt/2 , |vt | e−λt/2 ≤ B ∑
vx j e−λt/2
vt e−λt/2
.
j=1 j=1
178 Michael V. Klibanov and Jingzhi Li
Use
1 2
ab ≤ εa2 + b , ∀a, b ∈ R, ∀ε > 0 .
4ε
Hence,
n
n
2
−λt/2
−λt/2
−λt/2
2 B
−λt/2
B ∑
vx j e
vt e
≤ ε
vt e
+ ∑
vx j e
.
j=1 4ε j=1
Hence,
2 B n
2
−λt/2
|l3 (v, v)| ≤ ε
vt e−λt/2
+ ∑ xj
v e
. (7.2.15)
4ε j=1
Next,
|l4 (v, v)| = cve−λt/2 , vt e−λt/2 ≤ B
ve−λt/2
vt e−λt/2
2 B
2
≤ Bε
vt e−λt/2
+
ve−λt/2
.
4ε
By (7.2.5) of Lemma 7.2.1
n
2
−λt/2
2
ve
≤ C ∑
vx j e−λt/2
.
j=1
Hence,
2 BC n
2
|l4 (v, v)| ≤ Bε
vt e−λt/2
+ ∑
vx e−λt/2
j . (7.2.16)
4ε j=1
Recall: ai j = a ji . We have:
ai j vxi vtx j e−λt + a ji vx j vtxi e−λt = ai j e−λt vxi vtx j + vx j vtxi =
= ∂t vxi vx j ai j e−λt = ∂t vxi vx j ai j e−λt − ai jt vxi vx j e−λt + λai j vxi vx j e−λt
≥ ∂t vxi vx j ai j e−λt − B vxi e−λt/2 vx j e−λt/2 + λai j vxi e−λt/2 · vx j e−λt/2 .
Hence,
!
n n
−λt 1 −λt/2 −λt/2
∑ ai j vx vtx e
i j ≥ ∂t
2 ∑ ai j vxi e vx j e
i, j=1 i, j=1
µλ n 2 n 2
−λt/2 −λt/2
+
2 ∑ xj
v e − BC ∑ xj
v e .
j=1 j=1
For λ ≥ λ0
µλ
> BC .
4
Hence,
!
n n
−λt 1 −λt/2 −λt/2
∑ ai j vx vtx e
i j ≥ ∂t
2 ∑ ai j vxi e vx j e
i, j=1 i, j=1
µλ n 2
+ ∑ vx j e−λt/2 .
4 j=1
Z ZT
!
n
1
≥
2
∂t ∑ ai j vx e−λt/2 vx e−λt/2
i j dt dx
i, j=1
Q 0
µλ n
2
+
4 ∑
vx e−λt/2
j
j=1
!
e−λT n
µλ n
2
Z
=
2 ∑ ai j vxi vx j (x, T ) dx +
4 ∑
vx e−λt/2
j
i, j=1 j=1
Q
180 Michael V. Klibanov and Jingzhi Li
µλ n
2
−λt/2
4 ∑
≥
vx j e
.
j=1
Thus,
µλ n
2
−λt/2
l2 (v, v) ≥
4 ∑ j
vx e
.
j=1
1 n
2
l1 (v, v) + l2 (v, v) + l3 (v, v) + l4 (v, v) ≥ e−λT
2 ∑
vx
j .
j=0
A−1 −1
1 (w) = A (p) . (7.2.22)
182 Michael V. Klibanov and Jingzhi Li
where by (7.2.10)
[F] ≤ k f kL2 (QT ) . (7.2.25)
u = A−1∗
1 (F) .
Thus,
[u] ≤ 2eλT k f kL2 (QT ) .
MA
Chapter 8
Introduction to Ill-Posed
Problems
k f kC (Ω̄) ≤ M, ∀f ∈ M .
Theorem 8.1.2. Suppose that k > [n/2] + m, the domain Ω is bounded and
∂Ω ∈ Ck . Then H k (Ω) ⊂ Cm (Ω̄) and k f kCm (Ω̄) ≤ Ck f kH k (Ω) , ∀ f ∈ H k (Ω),
where the constantC = C(Ω, k, m) > 0 depends only on Ω, k, m. In addition,
any bounded set in H k (Ω) is a precompact set in Cm (Ω̄).
Introduction to Ill-Posed Problems 185
where δ f (x) is the noisy component. Let δ > 0 be a small parameter char-
acterizing the level of noise. We assume that the noisy component is small,
kδ f kC[0,1] ≤ δ. The problem of calculating the derivative f δ0 (x) is unstable.
Indeed, let, for example,
sin n2 x
δ f (x) = ,
n
where n > 0 is a large integer. Then the C[0, 1]-norm of the noisy compo-
nent is small:
1
kδ f kC[0,1] ≤ .
n
However, the difference between derivatives of noisy and exact functions
PDEs. The classical Fredholm theory works for these equations. Next,
let Ω0 ⊂ Rn be a bounded domain and the function K(x, y) ∈ C(Ω̄ × Ω̄).
Unlike (1.7), the equation
Z
K(x, y)g(y) dy = p(x), x ∈ Ω0 (8.2.6)
Ω
is called the integral equation of the first kind. The Fredholm theory does
not work for such equations. The problem of solution of (1.8) is an ill-
posed problem; see Example 3.
Example 3 (Integral Equation of the First Kind). Consider (8.2.6). The
function K(x, y) is called kernel of the integral operator. Equation (8.2.6)
can be rewritten in the form
K f = p, (8.2.7)
0
where K : C(Ω̄) → C Ω̄ is the integral operator in (8.2.6) It is well known
from the standard functional analysis course that K is a compact operator.
We now show that the problem (8.2.7) is ill-posed. Let Ω = (0, 1), Ω0 =
(a, b). Replace the function f with the function f n (x) = f (x) + sinnx. Then
Z 1
K(x, y) f n (y) dy = gn (x), x ∈ (0, 1) , (8.2.8)
0
where gn (x) = p(x) + pn (x) and
Z 1
pn (x) = K(x, y) sinny dy .
0
By the Lebesque lemma,
lim kpn kC[a,b] = 0 .
n→∞
such that
yδ − y0
< δn ,
F −1 (yn ) − F −1 (y0 )
≥ ε . (8.3.1)
n B2 B1
Denote
Then
Since U is a compact set and all points xn ∈ U, then one can extract a
convergent subsequence {xnk }∞ ∞ ∞
k=1 ⊆ {xn }n=1 from the sequence {xn }n=1 .
Let limk→∞ xnk = x̄. Then x̄ ∈ U. Since F (xnk ) = ynk and the operator F
is continuous, then by (8.3.1) and (8.3.2), F(x̄) = y0 = F (x0 ). Since the
operator F is one-to one, we should have x̄ = x0 . However, by (8.3.3),
kx̄ − x0 kB1 ≥ ε. We got a contradiction.
F(x) = y, x ∈ G. (8.4.1)
Definition 8.4.3. The set G of Definition 8.4.2 is called correctness set for
the problem (8.4.1).
entire Banach space B1 . Likewise, Definition 8.4.2 does not require a proof
of an existence theorem, unlike the classical case. Indeed, it follows from
Theorem 8.2.1 that it is hopeless to prove such a theorem for (8.2.9). In
addition, such a result would not have a practical meaning. For compari-
son, recall that a significant part of the classical PDE theory is devoted to
proofs of existence theorems, as it is required by the definition of the clas-
sical well-posedness. On the other hand, in the definition of the conditional
well-posedness the existence is assumed a priori. Still, the existence is as-
sumed not for every y in (8.4.1) but only for an ideal, noiseless y := y∗ . The
assumption of the existence of the ideal solution x∗ is a very important no-
tion of the theory of ill-posed problems. Neither the ideal right-hand side
y∗ nor the ideal solution x∗ are never known in applications. This is because
of the presence of the noise in any experiment. Still, this assumption is a
quite reasonable one because actually, it tells one that the physical process
is indeed in place and that the mathematical model, which is described by
the operator F, governs this process accurately.
The second condition in Definition 8.4.2 means uniqueness theorem.
Combined with Theorem 8.3.1, this condition emphasizes the importance
of uniqueness theorems for the theory of ill-posed problems.
The third condition in Definition 8.4.2 means that the solution of the
problem (8.4.1) is stable with respect to small fluctuations of the right-hand
side y, as long as x ∈ G. This goes along well with Theorem 8.3.1. In other
words, the third condition restores the most important feature: stability.
The requirement that the correctness set G ⊂ B1 is not conventionally used
in the classical theory of PDEs. In other words, the requirement of x be-
longing to a “special” subset of B1 is not imposed in classically well-posed
problems.
Motivated by the above arguments, Tikhonov has introduced the
Fundamental Concept of Tikhonov.
lim kxδ − x∗ k = 0 .
δ→0+
8.5 Quasi-Solution
The concept of quasi-solutions was originally proposed by Ivanov. It is
designed to provide a rather general method for solving the ill-posed prob-
lem (8.4.1). This concept is actually a quite useful, as long as one is
seeking a solution on a compact set. An example is when the solution
is parametrized, i.e.,
N
x = ∑ ai ϕ i ,
i=1
A natural question is, how far is the quasi-solution from the exact so-
lution x∗ ? Since by Theorem 8.3.1 the operator F −1 : F(G) → G is con-
tinuous and the set F(G) is compact, then one of classical results of real
analysis implies that there exists the modulus of the continuity ωF (z) of the
operator F −1 on the set F(G). The function ωF (z) satisfies the following
four conditions:
1. ωF (z) is defined for z ≥ 0.
2. ωF (z) > 0 for z > 0, ωF (0) = 0, and limz→0+ ωF (z) = 0.
3. The function ωF (z) is monotonically increasing for z > 0.
4. For any two points y1 , y2 ∈ F(G), the following estimate holds:
−1
F (y1 ) − F −1 (y2 )
≤ ωF (ky1 − y2 )kB .
B 1 2
F xq − F (x∗ )
≤
F xq − yδ
+ kyδ − F (x∗ )k
δ B2 δ B B2
2
=
F xδ − yδ
B + kyδ − y kB2 ≤ 2δ .
q ∗
2
q
Thus, we have obtained that
F xδ − F (x∗ )
B ≤ 2δ. Therefore, the defi-
2
nition of the modulus of the continuity of the operator F −1 implies (8.5.2).
This theorem is very important for justifying the practical value of The-
orem 8.3.1. Still, the notion of the quasi-solution has a drawback. This is
because it is unclear how to actually find the target minimizer in practical
computations. Indeed, to find it, one should minimize the functional J(x)
on the compact set G. The commonly acceptable minimization technique
for any least squares functional is via searching points where the Fréchet
derivative of that functional equals zero. However, the well-known obsta-
cle on this path is that this functional might have multiple local minima and
ravines. Therefore, most likely, the norm of the Fréchet derivative is suffi-
ciently small at many points of, for example, a ravine. Thus, it is unclear
how to practically select a quasi-solution. To address this question for the
so-called Coefficient Inverse Problems for PDEs, the convexification nu-
merical method was developed [4]. Still, this question cannot be addressed
for a general ill-posed problem.
198 Michael V. Klibanov and Jingzhi Li
8.6 Regularization
To solve ill-posed problems, regularization methods should be used. In this
section, we present the main ideas of the regularization.
Definition 8.6.1. Let B1 and B2 be two Banach spaces and G ⊂ B1 be a
set. Let the operator F : G → B2 be one-to-one. Consider the equation
F(x) = y . (8.6.1)
Uniqueness theorem for this and a more general problem is well known.
Obviously, the solution of this problem, if it exists, is
∞
2
u(x,t) = ∑ yn en (T −t) sinnx , (8.6.2)
n=1
r Z
2 π
yn = y(x) sinnx dx . (8.6.3)
π 0
It is clear, however, that the Fourier series (8.6.2)
n converges o∞a narrow class
n2 (T −t)
of functions y(x). This is because the numbers e grow expo-
n=1
nentially with n.
To regularize this problem, consider the following approximation for
the function u(x,t) :
N
2
uN (x,t) = ∑ yn en (T −t) sin nx .
n=1
Inverse Problem. For each function f ∈ L2 (0, π), consider the solution of
the following initial boundary value problem
vt = vxx , x ∈ (0, π),t ∈ (0, T ) , (8.6.4)
v(x, 0) = f (x) , (8.6.5)
v(0,t) = v(π,t) = 0 . (8.6.6)
Given the function y(x) = v(x, T ), determine the initial condition f (x) in
(8.6.6). Define the operator F : L2 (0, π) → L2 (0, π) as F( f ) = v(x, T ). It is
known from the standard PDE course that
Z π
F( f ) = v(x, T ) = G(x, ξ, T ) f (ξ) dξ , (8.6.7)
0
∞
2
G(x, ξ,t) = ∑ e−n t sinnx sinnξ , (8.6.8)
n=1
where G is the Green’s function for the problem (8.6.6). In other words,
we have obtained the integral equation (8.6.7) of the first kind. Hence,
Theorem 8.2.1 implies that the operator F −1 cannot be continuous.
200 Michael V. Klibanov and Jingzhi Li
N
2
Rα (yδ ) (x) = ∑ yn en (T −t) sinnx , (8.6.9)
n=1
r Z
2 π
yn = yδ (x) sinnx dx . (8.6.10)
π 0
Let f ∗ ∈ C1 [0, π] and f ∗ (0) = f ∗ (π) = 0. The integration by parts leads to
r Z r Z
2 π ∗ 1 2 π ∗
∗
fn = f (x) sinnx dx = ( f (x))0 cos nx dx .
π 0 n π 0
Hence,
( f ∗ (x))0
2
( f n∗ )2 ≤ .
n2
Hence,
2
∞ C
( f ∗ (x))0
L
2 (0,π)
∑ ( f n∗ )2 ≤ , (8.6.11)
n=N+1 N
where C > 0 is a constant independent on the function f ∗ . Consider now
the function Rα (y) − f ∗ :
r r
2 N
2 2 ∞
Rα (y) − f ∗ = ∑ (yn − y∗n ) en T sinnx − ∑ fn∗ sinnx .
π n=1 π n=N+1
∞
Since functions (2/π)1/2 sinnx n=1 form an orthonormal basis in
L2 (0, π), then
N ∞
2T
kRα(y) − f ∗ k2L2 (0,π) ≤ e2N ∑ (yn − y∗n )2 + ∑ ( f n∗ )2 .
n=1 n=N+1
kzkB1 ≤ kzkQ , ∀z ∈ Q ⊂ B1 ,
Just as above, we assume that the right hand side of this equation is given
with a small error of the level δ ∈ (0, 1). Let y∗ be the ideal noiseless right
hand side corresponding to the ideal exact solution x∗ ∈ G ∩ Q,
1 α
Jα (x) = kF(x) − yk2B2 + kx − x0 k2Q , (8.7.3)
2 2
Jα : G ∩ Q → R, x0 ∈ G ∩ Q ,
where α = α(δ) > 0 is a small regularization parameter and the point
x0 ∈ Q. In general, the choice of the point x0 depends on the problem at
hands. Usually x0 is a good first approximation for the exact solution x∗ .
Because of this, x0 is called the first guess or the first approximation. The
dependence α = α (δ) will be specified later. The term α kx − x0 k2Q is called
the Tikhonov regularization term or simply the regularization term.
Thus,
x0 , x∗ ∈ G ∩ Q . (8.7.4)
Suppose that
kzkQ ≤ A, ∀z ∈ G ∩ Q , (8.7.5)
204 Michael V. Klibanov and Jingzhi Li
We assume that
M ⊂ (G ∩ Q) . (8.7.8)
By (8.7.4)-(8.7.8)
x0 , x∗ ∈ M ⊂ (G ∩ Q) . (8.7.9)
δ2 α ∗ δ2 α
Jα (x∗ ) ≤ + kx − x0 k2Q ≤ + kx∗ − x0 k2Q . (8.7.10)
2 2 2 2
Let
mα(δk ) = inf Jα(δk ) (x) .
G∩Q
By (8.7.10)
δ2k α (δk ) ∗
mα(δk ) ≤ + kx − x0 k2Q .
2 2
Hence, there exists a point xα(δk ) ∈ G ∩ Q such that
δ2 α(δk ) ∗
mα(δk ) ≤ Jα(δk ) xα(δk ) ≤ k + kx − x0 k2Q . (8.7.11)
2 2
Introduction to Ill-Posed Problems 205
Theorem 8.7.1. Suppose that the above conditions imposed on the sets
G, Q and the operator F hold. Also, assume that conditions (8.7.4)-(8.7.9)
are valid. Let
δ2k
lim α (δk ) = 0 and ≤ 1. (8.7.12)
k→∞ α (δk )
Then the sequence xα(δk ) converges to the exact solution x∗ of equation
(8.7.2) in the norm of the space B1 , i.e.
lim
xα(δk ) − x∗
B = 0 . (8.7.13)
k→∞ 1
Remark 8.7.1. 1. Note that convergence (4.7.1) takes place in the norm
of the space B1 . This norm is weaker than that of the space Q, in which
the regularization term is taken. Still, the sequence xα(δk ) converges to the
point x∗ which is in Q rather than in B1 Q. This is typical for ill-posed
problems.
2. In (8.7.12), the inequality δ2k /α (δk ) ≤ 1 can be replaced with
δ2k /α (δk ) ≤ C for any fixed constant C > 0. We use “1” only for the con-
venience.
Proof of Theorem 8.7.1. By (8.7.3) and (8.7.11)
xα(δ ) − x0
2 ≤ δ2k
+ kx∗ − x0 k2Q . (8.7.14)
k Q α (δk )
We know that p
a2 + b2 ≤ a + b, ∀a, b ≥ 0 .
Hence, by (8.7.14)
xα(δ ) − x0
≤ p δk + kx∗ − x0 kQ . (8.7.15)
k Q
α (δk )
Furthermore, by the triangle inequality
xα(δk ) − x0
Q ≥
xα(δk )
Q −
kx0 kQ . Hence, (8.7.12), (8.7.6) and (4.7.2) imply that
xα(δ )
≤ 1 + kx0 k + kx∗ − x0 k ≤ 3A + 1 .
k Q Q Q
Hence, the sequence xα(δk ) ⊂ Q is bounded in the norm of the space Q.
Namely, by (8.7.7) and (8.7.8)
∞
xα(δk ) k=1 ⊂ M ⊂ (G ∩ Q) .
206 Michael V. Klibanov and Jingzhi Li
Then xα(δ) is called a regularized solution of equation (8.7.1) for this spe-
cific value α = α(δ) of the regularization parameter. It is important to
prove convergence of regularized solutions to the true one x∗ . This is done
in the current subsection.
Consider now the case when B1 = Rn , i.e. when B1 is the finite dimen-
sional space. In this case any closed bounded set is a compact set. The
norm in Rn is denoted kxk .
F (x) = yδ , x ∈ G. (8.7.20)
Let the number δ ∈ (0, 1) be the level of a small error in the data. Let y∗ be
the ideal noiseless right hand side corresponding to the ideal exact solution
x∗ ,
F (x∗ ) = y∗ , kyδ − y∗ kB2 < δ . (8.7.21)
Consider the Tikhonov regularization functional Jα (x) : G → R
1 α
Jα (x) = kF(x) − yδ k2B2 + kx − x0 k2 . (8.7.22)
2 2
Let A = const. > 0. We impose the following analogs of conditions
(8.7.4)-(8.7.9): Let
M = {z ∈ Rn : kzk ≤ 3A + 1} , (8.7.23)
208 Michael V. Klibanov and Jingzhi Li
We assume that
M⊆G (8.7.24)
and that
kx0 k , kx∗ k ≤ A . (8.7.25)
Hence, by (8.7.23)-(8.7.25)
x0 , x∗ ∈ M ⊆ G . (8.7.26)
Let R (M) be the range of the operator F while it acts only on elements
of the set M. By the fundamental theorem of Tikhonov the operator
F −1 : R (M) → M (8.7.27)
is continuous. Therefore, as it is well known from the Analysis course,
that there exists the modulus of the continuity of the operator in (8.7.27).
In other words, there exists a function ωF,M : (0, ∞) → (0, ∞) such that:
1. ωF,M (z1 ) ≤ ωF,M (z2 ) if z1 ≤ z2 .
2. limz→0+ ωF,M (z) = 0.
3. The following estimate holds:
kx1 − x2 k ≤ ωF,M kF (x1 ) − F (x2 )kB2 , ∀x1 , x2 ∈ M . (8.7.28)
Theorem 8.7.2. Suppose that conditions of this subsection imposed on the
set G ⊂ Rn and the operator F : G → B2 hold. Consider the problem of
the solution of equation (8.7.20). Assume that conditions (8.7.21)-(8.7.27)
are valid. Then the functional F achieves its minimal value on the set M
at a point xδ,α ∈ M. Furthermore, the following accuracy estimate for the
regularized solution xδ,α is valid
√
xδ,α − x∗
≤ ωF,M 2 δ + A α . (8.7.29)
In particular, if α = α(δ) = δ2 , then
xδ,α(δ) − x∗
≤ ωF,M (2δ (A + 1)) . (8.7.30)
Remark 8.7.3. Just as in section 6, let
Kδ (y∗ ) = z ∈ B2 : kz − y∗ kB2 ≤ δ .
Thus,
F xδ,α − yδ
≥
F xδ,α − F (x∗ )
− δ .
B 2 B 2
Thus we can approximate u00 (x) using nearby function values in the
second order finite difference formula
φ(x − ∆x) − 2φ(x) + φ(x + ∆x)
φ00 (x) ≈
(∆x)2
212 Michael V. Klibanov and Jingzhi Li
within some small error. Consequently, at each grid point xi we replace the
differential equation in the model problem by
Finally, we implement and debug the computer code and conduct the error
analysis.
Finite Difference Method 213
Some questions one may ask from this example: 1. Are there other
FD formulas to approximate derivatives? 2. How do we know whether a
FD method works or not? 3.Do the round-off errors affect the computed
solution? 4. How do we deal with boundary conditions other than Dirichlet
conditions? 5. Do we need different FD methods for different problems?
6. How do we know that we are using the most efficient method?
h2 00 hk
u(x + h) = u(x) + hu0 (x) + u (x) + · · · + u(k)(ξ) .
2 k!
u(x̄ + h) − u(x̄)
∆+ u(x̄) = ∼ u0 (x̄) , (9.1.2)
h
214 Michael V. Klibanov and Jingzhi Li
where an error is introduced and h > 0 is called the step size. Geomet-
rically, ∆+ u(x̄) is the slope of the secant line that connects the two grid
points (x̄, u(x̄)) and (x̄ + h, u(x̄ + h)). It tends to slope of the tangent line at
x̄ in the limit h → 0.
If u(x) has second order continuous derivatives we can invoke the ex-
tended mean value theorem:
1
u(x̄ + h) = u(x̄) + u0 (x̄)h + u00 (ξ)h2 ,
2
where 0 < ξ < h. Thus we obtain the error estimate
u(x̄ + h) − u(x̄) 1
E f (h) = − u0 (x̄) = u00 (ξ)h = O(h) ,
h 2
so the error is proportional to h and the discretization (9.1.2) is called first
order accurate. In general, if the error has the form
E(h) = Ch p , p > 0,
so this formula is also first order accurate. Geometrically, one may expect
the slope of the secant line that passes through (x̄ + h, u(x̄ + h)) and (x̄ −
h, u(x̄− h)) is a better approximation to the slope of the tangent line of u(x̄)
at (x̄, u(x̄)), suggesting that the corresponding central FD formula
u(x̄ + h) − u(x̄ − h)
∆u(x̄) = , h > 0.
2h
In order to get the relevant error estimate, we need to retain more terms
in the Taylor expansion:
1 1 1
u(x ± h) = u(x) ± hu0 (x) + u00 (x)h2 ± u000 (x)h3 + u(4)(x)h4 ± · · · ,
2 6 24
whence
u(x̄ + h) − u(x̄ − h) 1
Ec (h) = − u0 (x̄) = u000 (x̄)h2 + · · · = O h2 ,
2h 6
where · · · stands for higher order terms, so the central FD formula is second
order accurate. It is easy to show that (13) can be rewritten as
u(x̄ + h) − u(x̄ − h) 1
∆u(x̄) = = (∆+ + ∆− )u(x̄) .
2h 2
There are higher order accurate formulae too, e.g., the third order accurate
FD formula
2u(x̄ + h) + 3u(x̄) − 6u(x̄ − h) + u(x̄ − 2h)
∆3 u(x̄) = .
6h
Ui − 2Ui+1 +Ui+2
= f (xi ), i = 1, 2, · · · , n − 2 ,
h2
Un−2 − 2Un−1 + u(b)
= f (xn−1 ) .
h2
Au = F + T, AU = F =⇒ A(u − U) = T = −AE ,
Noting that the eigenvalues of A−1 are 1/λ j and A−1 is also symmetric, we
have
1 h2 h2 1
−1
= < 2.
A
= =
2 min λ j 2(1 − cos(πh)) 2 1 − 1 − (πh) /2 + (πh)4 /4! + ···
2 π
Therefore, we have
1√
kEk∞ ≤ kEk2 ≤
A−1
2 kTk2 ≤ 2 n − 1Ch2 ≤ C̄h3/2 .
π
We can also prove that the infinity norm is also proportional to h2 using
the maximum principal or the Green function approach.
The eigenvectors and eigenvalues of the coefficient matrix in (9.1.1)
can be obtained by considering the Sturm-Liouville eigenvalue problem
λk = (kπ)2 , k = 1, 2, · · ·
uk (x) = sin(kπx) .
uk (xi ) = sin(kπih), i = 1, 2, · · · , n − 1 ,
c. Round-Off Errors
From numerical linear algebra, we know that kAk2 = max λ j = h22 (1 −
cos(π(n − 1)h)) ∼ h42 = 4n2 , therefore the condition number of A satisfies
222 Michael V. Klibanov and Jingzhi Li
−1
κ(A) = kAk2
A
2 ∼ n2 , and the relative error of the computed solution
U for a stable scheme satisfies
k U − uk
≤ local truncation error + round-off error in solving AU = F
kuk
≤
A−1
kTk + C̄g(n)kAk
A−1
ε
1
≤ Ch2 + C̄g(n) ε,
h2
where g(n) is the growth factor of the algorithm for solving the linear sys-
tem of equations and ε is the machine precision.
We can roughly estimate such a critical h. Assume that C ∼ O(1) and
g(n) ∼ O(1), when the critical h we can expect occurs when the local
truncation error is roughly the same as the round-off error, i.e.,
1 1 1
h2 ∼ ε, =⇒ n∼ = 1/4 ,
h2 h ε
which is about 100 for the single precision with the machine precision 10−8
and 10,000 for the double precision with the machine precision 10−16 .
where in particular x0 = a, xn = b.
Then, we substitute derivatives with FD formulas at each grid point
where the solution is unknown. Define xi+ 1 = xi + h/2, so xi+ 1 − xi− 1 = h.
2 2 2
Thus using the central FD formula at a typical grid point xi with half grid
size, we obtain
pi+ 1 u0 xi+ 1 − pi− 1 u0 xi− 1
2 2 2 2
− qi u (xi ) = f (xi ) + Ei1 ,
h
where pi+ 1 = p xi+ 1 , qi = q (xi ) , f i = f (xi ), and Ei1 = Ch2 . Applying
2 2
the central FD scheme for the first order derivative then gives
p1/2ua
f (x1 ) −
U1 h2
U2 f (x2 )
U3 f (x3 )
U= . , F=
.. .
.. .
Un−2 f (xn−2 )
pn−1/2ub
Un−1 f (xn−1) −
h2
224 Michael V. Klibanov and Jingzhi Li
This scheme increases the diagonal dominance, but it is only first order
accurate. If |r(x)| is very large ( say |r(x)| ∼ 1/h), it is best to solve the
linear system of equations with either a direct or an iterative method for
diagonally dominant matrices.
which yields U−1 = U1 − 2hα. Inserting this into the FD equation for the
differential equation at x = a (i.e. at x0 ), we have
U−1 − 2U0 +U1
= f0 ,
h2
U1 − 2hα − 2U0 +U1
= f0 ,
h2
−U0 +U1 f0 α
2
= + ,
h 2 h
where the coefficient matrix is precisely the same as for (40) and the only
difference in this second order method is the component f 0 /2 + α/h in the
vector on the right-hand side, rather than α/2 in the previous first order
method. The eigenvalues can be associated with the related continuous
problem
u00 + λu = 0, u0 (0) = 0, u(1) = 0 .
It is easy to show that the eigenvectors are
πx
uk (x) = cos + kπx
2
corresponding to the eigenvalues λk = (π/2 + kπ)2 .
Thus if we plot logkEh k against logh using the same scale, then the
slope p is the convergence order. Furthermore, if we divide h by half to get
Finite Difference Method 227
Eh/2
, then we have the following relations:
kEh k Ch p p
ratio =
≈
Eh/2
C(h/2) p = 2 ,
log kEh k /
Eh/2
log( ratio )
p≈ = .
log2 log2
For a first order method (p = 1), the ratio approaches two as h approaches
zero. For a second order method (p = 2), the ratio approaches four as h
approach zero, and so on. Incidentally, the method is called super-linear
convergent if p is some number between one and two.
For a simple problem, we may come up with an exact solution easily.
If we do not have the exact solution, the order of convergence can still
be estimated by comparing a numerical solution with one obtained from a
finer mesh. Suppose the numerical solution converges and satisfies
uh = ue +Ch p + · · · ,
where uh is the numerical solution and ue is the true solution, and let uh∗
be the solution obtained from the finest mesh
uh∗ = ue +Ch∗p + · · · .
Thus we have
uh − uh∗ ≈ C (h p − h∗p ) ,
uh/2 − uh∗ ≈ C ((h/2) p − h∗p ) .
From the estimates above, we obtain the ratio
p
uh − uh ∗ h p − h∗ 2 p (1 − (h∗ /h)p )
≈ = , (9.1.5)
uh/2 − uh∗ (h/2) p − h∗p 1 − (2h∗ /h)p
from which we can estimate the order of accuracy p. For example, on
doubling the number of grid points successively we have
h∗
= 2−k , k = 2, 3, · · · ,
h
then the ratio in (9.1.5) is
ũ(h) − ũ (h∗ ) 2 p 1 − 2−kp
= . (9.1.6)
ũ 2h − ũ (h∗ ) 1 − 2 p(1−k)
228 Michael V. Klibanov and Jingzhi Li
where we should assume that a(x, y) does not change sign in the solution
domain, e.g., a(x, y) ≥ a0 > 0, where a0 is a constant.
5. General elliptic PDE (diffusion and advection equations),
a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy
+ d(x, y)ux + e(x, y)uy + g(x, y)u(x, y) = f (x, y), (x, y) ∈ Ω
If f ∈ L2 (Ω), then the solution u(x, y) ∈ C2 (Ω) exists and it is unique. The
FD procedure is explained below.
Step 1: Generate a grid. For example, a uniform Cartesian grid can be
generated:
b−a
xi = a + ihx, i = 0, 1, 2, · · ·m, hx = ,
m
d −c
y j = c + jhy , j = 0, 1, 2, · · ·n, hy = .
n
Step 2: Represent the partial derivatives with FD formulas involving
the function values at the grid points. For example, if we adopt the three-
point central FD formula for second-order partial derivatives in the x - and
y-directions respectively, then
u (xi−1 , y j ) − 2u (xi , y j ) + u (xi+1 , y j ) u (xi , y j−1) − 2u (xi , y j ) + u (xi , y j+1)
2
+
(hx ) (hy )2
= f i j + Ti j , i = 1, · · ·m − 1, j = 1, · · ·n − 1 ,
(9.2.1)
(hx)2 ∂4 u (hy)2 ∂4 u 4
Ti j ∼ (xi , y j ) + (xi , y j ) + O h ,
12 ∂x4 12 ∂y4
where
h = max {hx , hy} .
The finite difference discretization is consistent if
lim kTk = 0 ,
h→0
In the natural row ordering, we order the unknowns and equations row
by row. Thus the k-th FD equation corresponding to (i, j) has the following
relation:
k = i + (m − 1)( j − 1), i = 1, 2, · · · , m − 1, j = 1, 2, · · · , n − 1 ,
see the diagram in Figure 9.2.2. Referring to Figure 9.2.2, suppose that
hx = hy = h, m = n = 4. Then there are nine equations and nine unknowns,
so the coefficient matrix is 9 by 9. To write down the matrix-vector form,
we should have
x1 = U11 , x2 = U21 , x3 = U31, x4 = U12, x5 = U22 ,
x6 = U32 , x7 = U13 , x8 = U23, x9 = U33 .
Finite Difference Method 233
∂2 ∂2 ∂2
L=a + 2b + c , b2 − ac < 0, for (x, y) ∈ Ω
∂x2 ∂x∂y ∂y2
and without loss of generality assume that a > 0, c > 0.
Proof. If the theorem is not true, then there is an interior point (x0 , y0 ) ∈ Ω
such that u (x0 , y0 ) ≥ u(x, y) for all (x, y) ∈ Ω. The necessary condition for
a local extremum (x0 , y0 ) is
∂u ∂u
(x0 , y0 ) = 0, (x0 , y0 ) = 0 .
∂x ∂y
Now since (x0 , y0 ) is not on the boundary of the domain and u(x, y) is
continuous, there is a neighborhood of (x0 , y0 ) within the domain Ω where
we have the Taylor expansion,
1
u (x0 + ∆x, y0 + ∆y) = u (x0 , y0 ) + (∆x)2 u0xx + 2∆x∆yu0xy + (∆y)2u0yy + O (∆x)3 , (∆y)3
2
a0 0 2b0 0 b0
uxx + uxy + 0 u0yy ≤ 0 . (9.2.5)
M M a M
Now we take v
u !
u (b 0 )2
∆x = 0, ∆y = t c0 − 0 /M ;
a
Thus from (9.2.5) and (9.2.6), the left-hand side of (9.2.4) should not be
positive, which contradicts the condition
Proof. Assume that the theorem is not true, so Ui j has its maximum at an
interior grid point (i0 , j0). Then Ui0 , j0 ≥ Ui, j for all i and j, and therefore
1
Ui0 , j0 ≥ (Ui −1 j +Ui0 +1, j0 +Ui0 , j0 −1 +Ui0 , j0 +1 ) .
4 0 0
On the other hand, from the condition ∆hUi j ≥ 0
1
Ui0 , j0 ≤ (Ui −1 j +Ui0 +1, j0 +Ui0 , j0 −1 +Ui0 , j0 +1 )
4 0 0
in contradiction to the inequality above unless all Ui j at the four neighbors
of (i0 , j0 ) have the same value U (i0 , j0 ). This implies that neighboring
Ui0 −1, j0 is also a maximum, and the same argument can be applied enough
times until the boundary is reached. Then we would also know that U0, j0 is
a maximum.
Indeed, if Ui j has its maximum in interior it follows that Ui j is a
constant. Finally, if ∆hUi j ≤ 0 then we consider −Ui j to complete the
proof.
where
1
xi = ih, y j = jh, i, j = 0, 1, · · ·n, h = ,
n
corresponding to the continuous function w(x) =
1 2 2
4 (x − 1/2) + (y − 1/2) . Then
h2 ∂4 w ∂4 w
∆h wi j = (wxx + wyy )|(xi,y j ) + + 4 = 1,
12 ∂x4 ∂y (x∗ ,y∗ )
i j
where x∗i , y∗j is some point near (xi , y j ), and consequently
∆h (Ui j − k f k∞ wi j ) = ∆hUi j − k f k∞ = f i j − k f k∞ ≤ 0 ,
∆h (Ui j + k f k∞ wi j ) = ∆hUi j + k f k∞ = f i j + k f k∞ ≥ 0 .
and
Ui j + k f k∞ wi j ≤ max (Ui j + k f k∞ wi j )
∂Ω
and
Ui j ≤ Ui j + k f k∞ wi j ≤ k f k∞ max
wi j
∂Ω .
238 Michael V. Klibanov and Jingzhi Li
∆hUi j = f i j + Ti j , ∆h Ei j = Ti j ,
(hx )2
p0, j+ 1 U0, j+1 − p0, j+ 1 + p0, j− 1 U0 j + p0, j− 1 U0, j−1
2 2 2 2
+
(hy )2
2p− 1 , j g (y j )
2
− q0 j U0 j = f 0 j + .
hx
For a general second-order elliptic PDE with no mixed derivative term uxy ,
i.e.,
O · (p(x, y)Ou) + w · Ou − q(x, y)u = f (x, y) .
240 Michael V. Klibanov and Jingzhi Li
From a Taylor expansion at (x, y), this FD formula can be shown to be con-
sistent and the discretization is second-order accurate, and the consequent
central FD formula for a second-order linear PDE involves nine grid points.
which is the basis for easy programming. Thus for the FD equations
Ui+1 − 2Ui +Ui+1
= fi
h2
with Dirichlet boundary conditions U0 = ua and Un = ub, we have
ua +U2k h2 f 1
U1k+1 = − ,
2 2
U k +Ui+1
k
h2 f i
Uik+1 = i−1 − , i = 2, 3, · · ·n − 1 ,
2 2
U k + ub h2 f n−1
k+1
Un−1 = n−2 − ,
2 2
and for a two dimensional Poisson equation,
k k k k
Ui−1, j +Ui+1, j +Ui, j−1 +Ui, j+1 h2 f i j
Uik+1
j = − , i, j = 1, 2, · · · , n − 1 .
4 4
242 Michael V. Klibanov and Jingzhi Li
xk+1 = T xk + c ,
where
k T is a constant matrix and0 c is a constant vector, the vector sequence
x converges for arbitrary x if and only if ρ(T ) < 1 where ρ(T ) is the
spectral radius of T defined as
then both the Jacobi and Gauss-Seidel iterative methods converge. The
conclusion is also true when (1): A is weakly row diagonally dominant
n
|aii | ≥ ∑ ai j .
j=1, j6=n
(2): the inequality holds for at least one row; (3) A is irreducible.
∂2
2
= δ2xx + O h2
∂x
into Eq. (9.2.7), we obtain
2 h2 2 2
∂2
δxx u = 1 + δxx + O h 2
u + O h4
12 ∂x
2
h 2 ∂
= 1 + δ2xx u + O h 4
12 ∂x2
from which
−1 −1
∂2 h2 2 2 h2 2
2
= 1 + δxx δxxu + 1 + δxx O h4 .
∂x 12 12
It is notable that
−1
h2 h2 2
1 + δ2xx = 1− δxx + O h4 ,
12 12
Finite Difference Method 245
Figure 9.2.3. The coefficients of the finite difference scheme using the
nine-point stencil (left diagram) and the linear combination of f (right di-
agram).
O · (βOu) + f¯(x, u) = 0
O · (βOu) + w · u + f¯(x) = 0
if the limit
f¯( x) = lim f ( x,t)
t→∞
exists. The boundary condition is relevant to the steady state solution. This
approach has some advantages. Firstly, it can control the variation of the
intermediate solutions. Secondly, the linear system of equations are more
diagonally dominant.
In the time dependent problem the condition is usually specified at t =
0. If the initial condition is t = T 6= 0, it can be rendered at t = 0 by
t 0 = t − T . Note that the boundary conditions at t = 0 may or may not be
consistent with the initial condition.
248 Michael V. Klibanov and Jingzhi Li
seeking a numerical solution for u(x,t) at T > 0 or at 0 < t < T . The first
step is to generate a grid:
b−a
xi = a + ih, i = 0, 1, · · · , m, h= ,
m
T
t k = k∆t, k = 0, 1, · · · , n, ∆t = .
n
The second step is to approximate the derivatives with FD approximations.
The solution of the FD equations is thereby directly obtained from the ap-
proximate solution at previous time steps.
Remark 9.3.1. The local truncation error under our definition is
u(x, t + ∆t) − u(x, t) u(x − h, t) − 2u(x, t) + u(x + h,t)
T (x, t) = −β − f (x, t)
∆t h2
= O h2 + ∆t .
−µ 1 + 2µ k+1
Um−1
U1k + ∆t f 1k+1 + µgk+11
U2k + ∆t f 2k+1
U k + ∆t f k+1
3 3
= 12 .. ,
.
U k + ∆t f k+1
m−2 m−2
k+1
k
Um−1 + ∆t f m−1 + µgk+1
2
where µ = β∆t and f ik+1 = f xi ,t k+1 . Note that we can use f xi ,t k in-
h2
stead of f xi ,t k+1 . Such a numerical method is called an implicit.
∂Ui
= LhUi (t) + f i (t) ,
∂t
Finite Difference Method 251
where Ui (t) ' u (xi ,t) is the spatial discretization of u(x,t) along the line
x = xi . For example, the heat equation with a source ut = βuxx + f where
L = β∂2 /∂x2 is represented by Lh = βδ2xx produces the discretized system
of ODE
∂U1 (t) −2U1 (t) +U2(t) g1 (t)
=β + 2 + f (x1 , t) ,
∂t h2 h
∂Ui (t) Ui−1(t) − 2U2 (t) +Ui+1(t)
=β + f (xi , t), i = 2, 3, · · · , m − 2 ,
∂t h2
∂Um−1 (t) Um−2 (t) − 2Ui−1(t) g2 (t)
=β + 2 + f (xm−1 , t)
∂t h2 h
and the initial condition is
dy
= f (y,t), y(0) = y0 .
dt
The MOL is especially useful for nonlinear PDEs of the form ut =
f (∂/∂x, u,t). For linear problems, we typically have
dy
= Ay + c ,
dt
where A is a matrix and c is a vector. Both A and c may depend on t.
Lemma 9.3.1. Let φ(t) be a function that has continuous first and second
order derivatives, i.e., φ(t) ∈ C2 . Then
1 ∆t ∆t (∆t)2 00
φ(t) = φ t− +φ t + + u (t) + h.o.t .
2 2 2 8
252 Michael V. Klibanov and Jingzhi Li
ut = (βux)x + f (x,t)
at xi ,t k + ∆t/2 , by averaging the time level t k and t k+1 of the spatial
derivative O · (βOu)) and f (x,t). Thus it has the following form
k k k k k k k
k+1
Ui −Ui k β 1 Ui−1 − β
i− 2 1 +β
i− 2 i+ 2 Ui + β i+ 12 Ui+1
1
= 2
∆t 2h
βk+1 U k+1 − βk+1
i− 12 i−1 i− 12
+ βk+1
i+ 12
Uik+1 + βk+1 U k+1 1
i+ 12 i+1
k k+1
+ + f + f .
2h2 2 i i
Uik+1 −Uik
= θδ2xxUik + (1 − θ)δ2xxUik+1 + θ f ik + (1 − θ) f ik+1 .
∆t
When θ = 1, the method is the explicit Euler method; when θ = 0, the
method is the backward Euler method; and when θ = 1/2, it is the Crank-
Nicolson scheme.
Finite Difference Method 253
∂u(x) 1
Z ∞ b
∂u
=√ eiωx dω .
∂x 2π −∞ ∂x
On taking the partial derivative of the inverse Fourier transform with re-
spect to x we have
∂u(x) 1
Z ∞
∂ iωx
1
Z ∞
=√ e ub dω = √ ueiωx dω .
iωb
∂x 2π −∞ ∂x 2π −∞
\ = iωb
Then as the Fourier transform and its inverse are unique, ∂u/∂x u.
The proof of the first equality is left as an exercise. It is easy to generalize
the equality, to set
∂dmu
= (iω)m û .
∂xm
254 Michael V. Klibanov and Jingzhi Li
Example 1. Consider
ubt + au
cx = 0, or ubt + aiωû = 0, û(ω, 0) = û0 (ω) ,
It is notable that the solution for the wave equation does not change shape,
but simply propagates along the characteristic line x − at = 0, and that
kuk2 = kûk2 =
û(ω, 0)e−iaωt
2 = kû(ω, 0)k2 = ku0 k2 .
Example 2. Consider
d
ubt = βu xx , or ubt = β(iω)2 û = −βω2 û, û(ω, 0) = û0 (ω)
Consequently, if β < 0
2
kuk2 = kûk2 =
û(ω, 0)e−βω t
≤ ku0 k2 .
2
Finite Difference Method 255
Actually, it can be seen that limt→∞ kuk2 = 0 if β > 0, and limt→∞ kuk2 = ∞
if β < 0.
[
ubt = βu xxx , or ubt = β(iω)3 û = −iω3 û ,
Therefore
kuk2 = kûk2 = kû(ω, 0)k2 = ku(ω, 0)k2 ,
and the solution to the original PDE can be expressed as
Z ∞ Z ∞
1 1
eiω(x−ω t ) û0 (ω) dω .
3 2
u(x,t) = √ eiωx û0 (ω)e−iω t dω = √
2π −∞ 2π −∞
∂2m u ∂2m−1 u
ut = α + + l.o.t. ,
∂x2m ∂x2m−1
where m is a non-negative integer. The FT yields
(
2m −αω2m û + · · · if m = 2k + 1 ,
ubt = α(iω) û + · · · =
αω2mû + · · · if m = 2k ,
hence ( 2m
û(ω, 0)e−αiω t + · · · if m = 2k + 1
ub = 2m
û(ω, 0)eαiω t + · · · if m = 2k
such that ut = uxx and ut = −uxxxx are dynamically stable, whereas ut =
−uxx and ut = uxxxx are dynamically unstable.
256 Michael V. Klibanov and Jingzhi Li
kvn kh ≤ vn−1 kh ≤ · · · ≤k v1 kh ≤k v0 kh
Example 5. The forward Euler method (FW-CT) for the heat equation
ut = βuxx is
!
k − 2U k +U k
k+1 k Ui−1 i i+1 β∆t
Ui = Ui + µ 2
, µ= 2 .
h h
258 Michael V. Klibanov and Jingzhi Li
1 π/h
Z
U kj = √ eiξ jhÛ k (ξ) dξ ,
2π −π/h
Z π/h Z π/h
1 1
U kj+1 = √ eiξ( j+1)hÛ k (ξ) dξ = √ eiξ jh eiξhÛ k (ξ) dξ ,
2π −π/h 2π −π/h
and similarly
Z π/h
1
U kj−1 = √ eiξ jh e−iξhÛ k (ξ) dξ.
2π −π/h
1
Z π/h
Uik+1 = √ eiξ jh 1 + µ e−iξh − 2 + eiξh Û k (ξ) dξ.
2π −π/h
On the other hand, from the definition of the discrete Fourier transform
Z π/h
1
Uik+1 = √ eiξ jhÛ k+1(ξ) dξ .
2π −π/h
| g(θ |≤ 1 .
Example 6. The stability of the backward Euler method for the heat equa-
tion ut = βuxx is
β∆t
Uik+1 = Uik + µ Ui−1
k+1
− 2Uik+1 +Ui+1
k+1
, µ= .
h2
Following the procedure mentioned above, we have
g(ξ)ei jhξ = ei jhξ + µ eiξ( j−1)h − 2eiξ jh + eiξ( j+1)h g(ξ)
= eiξ jh 1 + µ e−iξh − 2 + eiξh i g(ξ)
with solution
1 1
g(ξ) = =
1−µ e−iξh − 2 + eiξh 1 − µ(2 cos(hξ) − 2)
1
= ≤ 1,
1 + 4µ sin2 (hξ)/2
Example 7. The Leapfrog scheme (two-stage method) for the heat equa-
tion ut = uxx is
k − 2U k +U k
Uik+1 −Uik−1 Ui−1 i i+1
= 2
,
2∆t h
involving central FD both in time and space. This method is uncondition-
ally unstable! To show this, we use U k−1
j = ei jhξ /g(ξ) to get
1 i jhξ
g(ξ)ei jhξ = e + eiξ jh µ e−iξh − 2 + eiξh
g(ξ)
1 i jhξ
= e − ei jhξ 4µsin2 (hξ/2)
g(ξ)
with boundary conditions and an initial condition. The PDE can be written
as:
ut = Lu + f ,
where L is spatial differential operator. The method of line (MOL) can
be used there is a good ODE solver for stiff ODE systems. Note that the
Finite Difference Method 261
system is large (O(mn)), if the numbers of grid lines are O(m) and O(n) in
the x - and y - directions, respectively.
Consider the heat equation
ut = O · (βOu) + f (x, y,t) .
We assume β is a constant The forward Euler’s method:
Ulk+1
j = U k
lj + µ U k
l−1, j +U k
l+1, j +U k
l, j−1 +U k
l, j+1 − 4U k k
l, j + ∆t f l j
h2
where µ = β∆t/h2 . The stability condition is ∆t ≤ . Note that, now the
4β
factor is 4 instead of 2 . Using von Neumann analysis with f = 0, set
uklj = ei(lhx ξ1 + jhyξ2 ) = eiξ· x ,
k+ 21 ∆t 2 k+ 21 ∆t 2 k ∆t k+ 21
Ui j = Uikj + δ U + δyyUi j + f i j .
2 xx i j 2 2
For a fixed j, we get a tridiagonal system of equations for
k+ 1 k+ 1 k+ 21
U1 j 2 ,U1 j 2 , · · · ,Um−1,
assuming a Dirichlet boundary condition at x = a
j
and x = b. The system of equations in the matrix-vector form is:
k+ 1
U1 j 2
1 + 2µ −µ
k+ 21
−µ 1 + 2µ −µ 2j U
k+ 1
−µ 1 + 2µ −µ 2
U3 j b
.. .. .. .. = F,
. . . .
−µ 1 + 2µ −µ 1
U k+ 2
−µ 1 + 2µ k+ 1
m−2, j
2
Um−1, j
where
k+ 1
k + ∆t k+ 21 k k k
U1, f1 j + µubc a,y j 2
+ µ U1, j−1 − 2U1, j +U1, j+1
j 2
k + ∆t f k+ 2 + µ U k
1
k k
U2, j 2 j 2, j−1 − 2U2, j +U2, j+1
2
∆t k+ 1 k k k
U3k j + f3 j 2 + µ U3, j−1 − 2U3, j +U3, j+1
b
F= 2
..
.
∆t k+ 12
k k
Um−2, j + fm−2, j + µ Um−2, j−1 − 2Um−2, k
+U k
2 j m−2, j+1
k+ 1
k ∆t k+ 12 k k k
Um−1, j + fm−1, j + µ Um−1, j−1 − 2Um−1, j +Um−1, j+1 + µubc b,y j 2
2
β∆t
k+ 21 k+ 21
and µ = and f i = f xi ,t .
2h2
264 Michael V. Klibanov and Jingzhi Li
it is not so easy to get second order implicit scheme due to the ad-
vection term w · Ou. One approach is to use implicit scheme for
the diffusion term and an explicit scheme for the advection term.
The scheme has the following form from time level t k to t k+1 :
uk+1 − uk 1 1 1
+ (w · ∇h u)k+ 2 = (∇h · β∇h u)k + (∇h · β∇h u)k+1 + f k+ 2 ,
∆t 2
k+ 21 3 1
where (w · ∇h u) = (w · ∇h u)k − (w · ∇h u)k−1 . The time step con-
2 2
h
straint is ∆t ≤ . At each time step, we need to solve a generalized
2kwk2
Helmholtz equation
2uk+1 2uk 1 1
(O · βOu)k+1 − =− + 2(w · Ou)k+ 2 − (O · βOu)k − 2 f k+ 2 .
∆t ∆t
We need u1 to get this scheme started. We can use the explicit Euler’s
method (FW-CT) to approximate u1 .
Here gl and gr are prescribed boundary conditions from the left and
right respectively.
266 Michael V. Klibanov and Jingzhi Li
9.4.1. FD Methods
The numerical methods for hyperbolic problems that will mention in
this chapter include: Lax-Friedrichs method, Upwind scheme, Leap-frog
method, Box-scheme, Lax-Wendroff method, Crank-Nicholson scheme,
Beam-Warming method.
a. Lax-Friedrichs Methods
Consider the one-way wave equation ut + aux = 0. One may want to try
the simple finite difference scheme or
U k+1
j −U kj a| k
+ U j+1 −U kj−1 = 0 ,
∆t 2h
U k+1
j = U kj − µ U kj+1 −U kj−1 ,
where µ = a∆t/(2h). The scheme has O ∆t + h2 local truncation error.
But the method is unconditionally unstable from the von Neumann stability
analysis. The growth factor:
g(θ) = 1 − µ eihξ − e−ihξ = 1 − µ2i sin(hξ) ,
1 ihξ
g(θ) = e + e−ihξ + µ eihξ − e−ihξ = cos(hξ) − 2µ sin(hξ)i .
2
So
where µ = a∆t/(2h). Let us consider the stability the stability through the
von Neumann stability analysis. Substituting
1 i jξ
U kj = ei jξ , U k+1
j = g(ξ)ei jξ , U k−1
j = e
g(ξ)
Finite Difference Method 269
with solution
q
g± = −iµ sin(hξ) ± 1 − µ2 sin2 (hξ).
k
so the scheme is called neutral stable according to the definition
U
≤
j
J
CT ∑ j=0 U .
3. If |µ| = 1, we still have |g± | = 1, but we can find ξ such that
µ sin(hξ) = 1, and g+ = g− = −i. That is −i is a double root of the char-
acteristic polynomial. The solution of the FD equation has the form
3. we can ass the correction term to offset the leading error term to render
a higher order accurate method, but the stability need to be checked. For
instance, we can modify the upwind scheme to get
k
U k+1
j −U kj U kj −U kj−1 1
k k
a∆t U j−1 − 2U j +U j+1
+a = ah 1 − ,
∆t h 2 h h2
U k+1
j −U kj U kj+1 −U kj−1 1 a2 ∆t k k k
+a = U j−1 − 2U j +U j+1 .
∆t 2h 2 h2
To show this, we investigate the local truncation error:
which is less than a for all wave numbers. If we retain one more term in
the modified equation for Lax-Wendroff, we will get
2 !
1 2 a∆t
vt + avx = ah − 1 vxxx − εvxxxx ,
6 h
where the ε is the fourth order dissipative term is O h3 and positive when
the stability bound holds.
Finite Difference Method 273
UMk+1 = UM−1
k+1
, 1-st order ,
xM − xM−1 k+1 xM − xM−2
UMk+1 = UM−2
k+1
+UM−1 .
xM−1 − xM xM−2 − xM−1
If a uniform grid is used with spatial step size h, the formula above becomes
UMk+1 = −UM−2
k+1 k+1
+ 2UM−1 .
ut = −auξ + auη ,
utt = a2 uξξ − 2a2 uξη + a2 uηη ,
ux = uξ + uη ,
uxx = uξξ + 2uξη + uηη .
which simplifies to
4a2 uξη = 0 ,
yielding the solution
1
u(x,t) = (u(x − at, 0) + u(x + at, 0)) .
2
U k+1
j − 2U kj +U jk−1 U kj−1 − 2U kj +U kj+1
= a2 .
(∆t)2 h2
h
The CFL constraints of this method is ∆t ≤ |a| this will be verified through
the following discussion. The von Neumann analysis gives
−ihξ
g − 2 + 1/g 2e − 2 + eihξ
= a .
(∆t)2 h2
|a|∆t
When µ = h . The equation above becomes
g2 − 2g + 1 = µ2 −4µ2 sin2 θ g or g2 − 2 1 − 4µ2 sin2 θ g + 1 = 0 ,
Finite Difference Method 275
Note that 1 − 2µ2 sin2 θ ≤ 1. If we also have 1 − 2µ2 sin2 θ < −1, then for
one of roots
q
2 2
2
g1 = 1 − 2µ sin θ − 1 − 2µ2 sin2 θ − 1 < −1 ,
so |g1 | > 1 for some θ, thus the scheme is unstable. In order to have a
stable scheme, we should require that 1 − 2µ2 sin2 θ ≥ −1, or µ2 sin2 θ ≤ 1.
This can be guaranteed if µ2 ≤ 1 or ∆t ≤ h/|a|. Under this CFL constraints,
we would have
2 2
|g|2 = 1 − 2µ2 sin2 θ + 1 − 1 − 2µ2 sin2 θ = 1.
A finite difference scheme for second order PDEs (in time) P∆t,h vkj = 0 is
stable, such that
p J
kvn kh ≤ 1 + n2CT ∑
v j
h
j=0
ut = (Au)x = Aux ,
Then we have
pt = utt = uxx = qx ,
qt = uxt = (ut )x = px ,
with the matrix-vector form
p 0 1 p
= ,
q t 1 0 q x
∂
q(x, 0) = ux(x, 0) = u(x, 0) = u00 (x), known .
∂x
Then,
ut = Aux , T ut = TAT −1 T ux , (T u)t = D(T u)x ,
and writing ũ = T u. We get a new first order system
ũt = Dũx
∆t k (∆t)2
2
Uk+1
j = Ukj − A U j+1 − Ukj−1 + A U k
j−1 − 2U k
j + U k
j+1 .
2h 2h2
Chapter 10
−u00 v = f v .
with the exact Rsolution being substituted by the approximate solution uh (x)
: 01 u0h v0 dx = 01 f v dx, The error comes in!
R
Z 1 n−1 Z 1
∑ c j φ0j v0 dx = f v dx ,
0 j=1 0
n−1 Z 1 Z 1
∑ cj φ0j v0 dx = f v dx .
j=1 0 0
where
Z 1 0 0 Z 1
a φi , φ j = φi φ j dx, ( f , φi ) = f φi dx .
0 0
If φi are the hat functions, then we have
Z 1
2 1 f φ1 dx
−
h h Z0 1
1 2 1 c1
− − f φ2 dx
h h h
c2
0
Z 1
1 2 1
− − c3 f φ3 dx
h h h .. = 0 .
.. .. .. ..
. . . .
.
1 2 1 cn−2
Z 1
− − f φn−2 dx
h h h cn−1
1 2 Z0 1
− f φn−1 dx
h h
0
for any testing function v ∈ H01 (0, 1). The corresponding finite element
method is often called the Galerkin method.
3. (M)-form, the minimization form:
Z 1
1 2
min v0 − f v dx .
v(x)∈H01 (0,1) 2 0
The corresponding finite element method is often called the Ritz method.
a. Physical Reasoning
Let’s consider an elastic string with two end fixed and with an external
force f (x) :
Let u(x) be the position of the string at x which is unknown and de-
pends on f (x). The physical law states that the equilibrium is the state that
minimizes the total energy. The potential energy due to the deformation is
τ. increase in the length
q
τ 2 2
(u(x + ∆x) − u(x)) + ∆x − ∆x
s
2
1
=τ u + ux ∆x + ∆x2 uxx + · · · − u(x) + ∆x2 − ∆x
2
q
≈τ 2 2
∆x (1 + ux ) − ∆x
∆x 2
≈τ u ,
2 x
Finite Element Method 283
F (u∗ ) ≤ F(u)
for any u ∈ H01 . Note that u∗ is the minimizer of the functional F(u) (func-
tion of functions).
If we consider the balance of the force, we will get the differential
equation. From the Hooke’s law we know the tension is
T = τux .
Therefore, we have
τ (ux(x + ∆x) − u(x)) = − f (x)∆x
ux (x + ∆x) − u(x)
or τ = − f (x) .
∆x
Let ∆x → 0 to get − τuxx = f (x) .
Using the principal of virtual work, we also can conclude that:
Z 1 Z 1
u0 v0 dx = f v dx
0 0
b. Mathematical Equivalence
We have proved ( D) =⇒ ( V). We are going to prove ( V) =⇒ ( V) and
⇐⇒ ( M).
Theorem 10.1.1. If uxx exists and continuous, then from
Z 1 Z 1
u0 v0 dx = f v dx, ∀v(0) = v(1) = 0, v ∈ H 1 (0, 1) ,
0 0
Since v(x) is arbitrary and continuous, and u00 and f are continuous, we
must have
u00 + f = 0, i.e. − u00 = f .
Now we prove V =⇒ M.
Theorem 10.1.2. Suppose u∗ satisfies
Z 1 Z 1
u∗0 v0 dx = v f dx
0 0
for any v(0) = v(1) = 0, for any v(x) ∈ H01 , we need to prove that
F (u∗ ) ≤ F(u) or
1 1
Z 1 Z 1 Z 1
1
Z
(u∗ )2x dx − ∗
f u dx ≤ u2x dx − f u dx .
2 0 0 2 0 0
Proof.
F(u) = F (u∗ + u − u∗ ) = F (u∗ + w) , w = u − u∗ w(0) = w(1) = 0
Z 1
1 ∗ 2 ∗
= (u + w)x − (u + w) f dx
0 2
" #
(u∗ )2x + w2x + 2 (u∗ )x wx
Z 1
= − u∗ f − w f dx
0 2
Z 1 Z 1 Z 1
1 ∗ 2 1 2
= (u )x − u∗ f dx + wx dx + ((u∗ )x wx − f w) dx
0 2 0 2 0
Z 1 Z 1
1 ∗ 2 1 2
= (u )x − u∗ f dx + wx dx + 0
0 2 0 2
Z 1
1 2
= F (u∗ ) + wx dx > F (u∗ ) .
0 2
Since F (u∗ ) ≤ F (u∗ + εv) for any ε, g(0) is a global/local minimum and
therefore g0 (0) = 0.
Z 1
1
g(ε) = (u∗ + εv)2x − (u∗ + εv) fdx
0 2
Z 1
1 ∗ 2 ∗ 2 2 ∗
= (u )x + 2 (u )x vx ε + vx ε − u f − εv f dx
0 2
Z 1
ε2 1 2
Z 1
1 ∗ 2
Z
∗ ∗
= (u )x − u f dx + ε ((u )x vx − f v) dx + v dx .
0 2 0 2 0 x
Thus Z 1 Z 1
g0 (ε) = ((u∗ )x vx − f v) dx + ε v2x dx
0 0
and Z 1
0
g (0) = ((u∗ )x vx − f v) dx = 0 .
0
That is, the weak form is satisfied.
The three different forms may not be equivalent for some problems.
The relations are
( D) =⇒ ( M) =⇒ ( V) .
From (V) to conclude (M), we usually need the differential equations to be
self-adjoint. From (M) or (V) to conclude (D), we need the solution of the
differential equations to have continuous second order derivatives.
286 Michael V. Klibanov and Jingzhi Li
we will discuss Ritz method for the minimization form, Galerkin method
for the weak/variational form, and programming: assembling element by
element. There are different formsR for the above problem.
The weak/variational form is: 01 u0 v0 dx = 01 f v dx for any v(x) that has
R
a. Galerkin Method
Given a triangulation, x0 = 0, x1 , x2 , · · ·xM = 1. Let hi = xi+1 − xi , i =
0, 1, · · · , M − 1, where xi is called a node, [xi , xi+1 ] is called an element and
h = max0≤i≤M−1 {hi } measures how fine the partition is.
Then define a finite dimensional space over the triangulation as follows.
Vh (a finite dimensional space) ⊂ V (the solution space, ) The discrete
problem ⊂ ( the continuous problem). Different finite dimensional spaces
will generate different finite element methods. Since Vh has finite dimen-
sion, we can find one set of basis functions
φ1 , φ2 , ··· , φM−1 ⊂ Vh ,
There are M − 1 such nodal vales, l (xi ) s, l (x1 ) , l (x2 ) , · · · , l (xM−1 ) for a
piecewise continuous linear function over the triangulation plus l (x0 ) =
l (xM ) = 0. Given a vector [l (x1 ) , l (x2 ), · · · , l (xM−1 )]T ∈ R M−1 , we can
construct a vh (x) ∈ Vh by taking vh (xi ) = l (xi ). Given a vh (x) ∈ Vh, we get
a vector [v (x1 ) , v (x2 ) , · · · , v (xM−1 )]T ∈ R M−1 . Therefore, there is one to
one relation between Vh and R M−1 , so Vh has a finite dimension M − 1.
We should choose a set of basis functions that are simple, have mini-
mum support and meet the regularity requirement. The simplest ones are
the hat functions:
φ1 (x1 ) = 1, φ1 (x j ) = 0, j = 0, 2, 3, · · · , M ,
φ2 (x2 ) = 1, φ2 (x j ) = 0, j = 0, 1, 3, · · · , M ,
. . .. . .. . ..
φi (xi ) = 1, φi (x j ) = 0, j = 0, 1, · · ·i − 1, i + 1, · · · , M ,
. . .. . .. . ..
φM−1 (xM−1 ) = 1, φM−1 (x j ) = 0, j = 0, 1, · · · , M .
We can use either the (M) or the (V) to derive a linear system of equations
for the coefficients α j . Using the hat functions, we have
M−1
uh (xi ) = ∑ α j φ j (xi) = αi φi (xi ) = αi .
j=1
Therefore,
!2
Z 1 M−1 Z 1 M−1
1
F (vh ) = ∑ α j φ0j (x) − f ∑ α j φ j (x) dx
2 0 j=1 0 j=1
This is exact the same as we would get using the Galerkin method with the
weak form,
Z 1 Z 1
0 0
u v dx = f v dx ,
0 0
!
Z 1 M−1 Z 1
0
∑ α j φ0j φ0i dx =
0
f φi dx, i = 1, 2, · · ·M − 1 .
j=1
Some comparison between Ritz and Galerkin methods are given. The opti-
mization techniques can be used in Ritz method. Not every problem has a
minimization form, but almost all problems have some kind of weak forms.
The idea is to break up the integration element by element. For any func-
tion g(x), the integration
Z 1 M Z xk M Z
g(x) dx = ∑ g(x) dx = ∑ g(x) dx .
0 k=1 xk−1 k=1 Ωk
290 Michael V. Klibanov and Jingzhi Li
For the hat basis functions, each interval has only 2 no-zero basis func-
Finite Element Method 291
tions, so
Z x1 2
φ01 dx 0 · · · 0
x0
0 0 ··· 0
A=
.. .. .. ..
. . . .
0 0 ··· 0
Z x2 Z x2
0 2
φ1 dx φ01 φ02 dx · · · 0
Zx1 Z xx12
x2 2
φ02 φ01 dx φ02 dx · · · 0
+
x1 x1
.. .. .. ..
. . . .
0 0 ··· 0
0 Z 0 0 ··· 0
x3 2 Z x3
0 φ02 dx φ02 φ03 dx · · · 0
Zx2 x3 Z xx23
2
+
0 φ03 φ02 dx φ03 dx · · · 0
x2 x2
. .. .. .. ..
.. . . . .
0 0 0 ··· 0
0 0 0 ··· 0
0 0 0 ··· 0
.. .. .. .. ..
+ . . . . . .
0 0 0 ··· 0
Z M 2
0 0 0 ··· φ0M−1 dx
xM−1
This matrix is called the local stiffness matrix. Similarly the local load
292 Michael V. Klibanov and Jingzhi Li
vector is defined as
Z xi+1
f φi dx
Fie = Z xi
xi+1 .
f φi+1 dx
xi
Computing local stiffness matrix Kiej and local load vector Fie
In the element [xi , xi+1 ], there are only two non-zero hat functions cen-
tered at xi and xi+1 respectively:
xi+1 − x x − xi
ψei (x) = , ψei+1 (x) = ,
xi+1 − xi xi+1 − xi
1 0 1
(ψei )0 = − , ψei+1 = ,
hi hi
where ψei and ψi+1 are the shape functions. The local stiffness matrix Kiej
therefore is:
1 1
−
hi
Kiej = hi1 1 .
−
hi hi
Finite Element Method 293
tion we get for the model problem using the finite element method is exact
the same as that derived from the finite difference method.
so u, u0, f , v and v0 should belong to L2 (0, 1), i.e., we have u ∈ H01 (0, 1) and
v ∈ H01 (0, 1), so the solution is in the Sobolev space H01 (0, 1). We should
also take v in the same space. From the Sobolev embedding theorem, we
also know that H 1 ⊂ C0 , so the solution is continuous.
a. Conforming FE Methods
Definition 10.2.1. If the FE space is a subspace of the solution space,
then the FE space is called a conforming finite element space, and the FE
method is called a conforming FE method.
Finite Element Method 295
For example, given a mesh for the 1 D model, we can define a finite dimen-
sional space using piecewise continuous linear functions over the mesh:
Vh = {vh , vh (0) = vh (1) = 0, vh is continuous piecewise linear } The FE
solution would be chosen from the finite dimensional space Vh , a subspace
of H01 (0, 1). If the solution of the weak form is in H01 (0, 1) but not in Vh
space, then an error is introduced on replacing the solution space with the
finite dimensional space. Nevertheless, the FE solution is the best approx-
imation in Vh in some norm.
and the coefficients are chosen such that the weak form
is satisfied. Thus, some errors are introduced. Since any element in the
space is a linear combination of the basis functions, we have
a (us , φi ) = ( f , φi ), i = 1, 2, · · · , M .
Or !
M
a ∑ α j φ j , φi = ( f , φi ), i = 1, 2, · · · , M .
j=1
Or
M
∑a φ j , φi α j = ( f , φi ) , i = 1, 2, · · · , M .
j=1
−u00 + u0 = f
298 Michael V. Klibanov and Jingzhi Li
since vs = ∑M
i=1 ηi φi 6= 0 because η is a non-zero vector and the φi are linear
independent.
Finite Element Method 299
e. Local Stiffness Matrix and Load Vector Using the Hat Basis
Functions
The local stiffness matrix using the hat basis functions is a 2 × 2 matrix of
form
Z xi+1 2 Z xi+1
p(x) φ0i dx p(x)φ0i φ0i+1 dx
Kie = Zxixi+1 Zxixi+1 2
0 0 0
p(x)φi+1 φi dx p(x) φi+1 dx
xi xi
Z xi+1 Z xi+1
q(x)φ2i dx q(x)φi φi+1
+ Z xix+1
i Zxi xi+1
2
q(x)φi+1 φi dx q(x)φi+1
xi xi
The global stiffness matrix and load vector can be assembled element by
element.
1. Given a weak form a(u, v) = L(v) and a space V , which usually has
infinite dimension, the problem is to find a u ∈ V such that the weak form
is satisfied for any v ∈ V . Then u is called the solution of the weak form;
2. A finite dimensional subspace of V denoted by Vh (i.e. Vh ⊂ V ) is
adopted for a conforming FE method and it does not have to depend on h,
however.
300 Michael V. Klibanov and Jingzhi Li
u − uh ⊥ Vh or u − uh ⊥ φi , i = 1, 2, · · · , M ,
a (u − uh , vh ) = 0 ∀vh ∈ Vh or a (u − uh , φi ) = 0, i = 1, 2, · · · , M ,
where {φi } are the basis functions. 2. uh is the best approximation in the
energy norm, i.e.,
ku − uh ka ≤ ku − vh ka , ∀vh ∈ Vh .
Proof.
a(u, v) = ( f , v), ∀v ∈ V
→ a (u, vh ) = ( f , vh ), ∀vh ∈ Vh since Vh ⊂ V ,
a (uh , vh ) = ( f , vh ) , ∀vh ∈ Vh since uh is the solution in Vh ,
ku − vh k2a = a (u − vh , u − vh)
= a (u − uh + uh − vh , u − uh + uh − vh )
= a (u − uh + wh , u − uh + wh ) , on letting wh = uh − vh ∈ Vh
= a (u − uh , u − uh + wh ) + a (wh , u − uh + wh )
= a (u − uh , u − uh) + a (u − uh , wh) + a (wh , u − uh) + a (wh , wh)
= ku − uhk2a + 0 + 0 + kwh k2a , since, a (eh , uh) = 0
≥ ku − uhk2a ,
i.e., ku − uh ka ≤ ku − vh ka .
Finite Element Method 301
ku − uh ka ≤ Ĉ ku − uh k1 ,
ku − uh ka ≤ ku − vh ka ≤ C̄ ku − vh k1 .
ku − uh ka ≤ ku − uI ka .
Proof. If e˜h = u(x) − uI (x), then e˜h (xi−1 ) = e˜h (xi ) = 0. From Rolle’s the-
orem, there must be at least one point zi between xi−1 and xi such that
e˜h 0 (zi ) = 0, hence
Z x
0
e˜h (x) = e˜h 00 (t) dt
z
Z ix
= u00 (t) − u00I (t) dt
z
Z ix
= u00 (t) dt .
zi
To prove the first, assume that xi−1 + h/2 ≤ zi ≤ xi , otherwise we can use
the other half interval. From the Taylor expansion
Proof.
ku − uh k2a ≤ ku − uI k2a
Z b 2
≤ p(x) u0 − u0I + q(x) (u − uI )2 dx
a
Z b 2
≤ max {pmax , qmax } u0 − u0I + (u − uI )2 dx
a
00
2 Z b 2
≤ max {pmax , qmax }
u
∞ h + h4 /64 dx
a
≤ Ch2
u00
∞ .
The second inequality is obtained because kka and kk1 are equivalent, so
where C is a constant.
0
0 We0 note
that uh is discontinuous at nodal points, and the infinity norm
u − u
can only be defined for continuous functions.
h ∞
304 Michael V. Klibanov and Jingzhi Li
Proof. Z x
eh (x) = u(x) − uh (x) = e0h (t) dt
a
Z b
|eh (x)| ≤ e0 (t) dt ,
h
a
Z b
1/2 Z 1/2
b
≤ e0h 2 dt 1 dt
a a
Z 1/2
√ b p 0 2
≤ b−a eh dt
a pmin
s
b−a
≤ keh ka
pmin
s
b−a
≤ kẽh ka
pmin
≤ Ch
u00
. ∞
or equivalently,
Z xr
0 0
α
Z xr
γ
pu v + quv dx + p (xr ) u (xr ) v (xr ) = f v dx + p (xr ) v (xr ) ,
xl β xl β
the corresponding weak (variational) form of the Sturm-Liouville problem.
We define
Z xr α
a(u, v) = pu0 v0 + quv dx + p (xr ) u (xr ) v (xr ) ,
xl β
γ
L(v) = ( f , v) + p(b)v(b) .
β
306 Michael V. Klibanov and Jingzhi Li
The (5) is the bilinear form and (6) is the linear form. We can prove
that:
1. a(u, v) = a(v, u), that is a(u, v) is symmetric.
2. a(u, v) is a bi-linear form: that is
If we can find a particular solution u1 (x) of (10), then we can use the weak
form to find the solution u2 (x) at x = xl , then the solution is u(x) = u1 (x) +
u2 (x).
Another way is to choose a function u0 (x), u0 (x) ∈ H 1 (xl , xr ) that sat-
isfies
u0 (xl ) = ul , αu0 (xr ) + βu00 (xr ) = 0 .
For example, the function u0 (x) = ul φ0 (x) would be such a function, where
φ0 (x) is the hat function centered at xl if a mesh {xi } is given. Then
û(x) = u(x) − u0 (x) would satisfy a homogeneous Dirichlet BC at xl and
the following S-L problem:
− (pû0 )0 + qû = f (x) + (pu00 )0 − qu0 , xl < x < xr ,
û (xl ) = 0, αû0 (xr ) + βû (xr ) = γ.
We can apply the FE method for û, where the weak form u(x) after substi-
tuting back is the same as before:
a1 (û, v) = L1 (v), ∀v(x) ∈ HE1 (xl , xr ) ,
where
Z xr α
a1 (û, v) = pû0 v0 + qûv dx + p (xr ) û (xr ) v (xr ) ,
x β
Z lxr Z xr 0
γ
L1 (v) = f v dx + p (xr ) v (xr ) + pu00 v − qu0 v dx
x β x
Z lxr Z lxr
γ
= f v dx + p (xr ) v (xr ) − pu00 v0 + qu0 v dx
xl β xl
α
− p (xr ) u0 (xr )v (xr ) .
β
If we define
Z xr α
a(u, v) = pu0 v0 + quv dx + p (xr ) u (xr ) v (xr ) ,
x β
Z lxr
γ
L(v) = f v dx + p (xr ) v (xr )
xl β
as before, then we have
a1 (u − u0 , v) = a (u − u0 , v) = L1 (v) = L(v)−a (u0 , v), or a(u, v) = L(v) .
While we still have a(u, v) = L(v), the solution is not in HE1 (xl , xr ) space
due to the non-homogeneous Dirichlet boundary condition.
Nevertheless u − u0 is in HE1 (xl , xr ).
308 Michael V. Klibanov and Jingzhi Li
and now focus on the treatment of the BC. The solution is unknown at
x = xr , so it is not surprising to have φM (x) for the natural BC. The first
term φ0 (x) is the function used as u0 (x), to deal with the non-homogeneous
Dirichlet BC. The local stiffness matrix is
e a (φi , φi ) a φi , φi+1
Ki =
a φi+1 , φi a φi+1 , φi+1 (x ,x )
i i+1
Z xi+1 Z xi+1
02 0 0
pφi dx pφi φi+1 dx
= Z xix+1 i Zxixi +1
pφ0i+1 φ0i dx pφ0i+1 2 dx
x xi
Zi
xi +1 Z xi+1
2
qφi dx qφi φi+1 dx
+ xi+1
Z xi xi
Z xi +1
2
qφi+1 φi dx qφi+1 dx
xi xi
2
α φi (xr ) φi (xr ) φi+1 (xr )
+ p (xr )
β φi+1 (xr ) φi (xr ) φ2i+1 (xr )
and the local load vector is
Z xi+1
f φi dx
e L (φi ) Z xi γ φi (xr )
Fi = = xi+1 + p (xr ) .
L φi+1 f φ dx β φi+1 (xr )
i+1
xi
We can see clearly the contributions from the BC; and in particular, that the
only non-zero contribution of the BC to the stiffness matrix and the load
vector is from the last element [xM−1 , xM ].
Finite Element Method 309
and consider the piecewise quadratic and piecewise cubic functions, but
still require the finite dimensional spaces to be in H01 (xl , xr ) so that the FE
methods are conforming.
Finite Element Method 311
There are M − 1 constraints and φ(x) should also satisfy the BC φ(xl ) =
φ (xr ) = 0. Thus the total degree of the freedom is
3M − (M − 1) − 2 = 2M − 1 .
The stiffness matrix is still symmetric positive definite, but denser than that
with the hat basis functions.
Finite Element Method 313
φ(x) = ai x3 + bi x2 + ci x + di , i = 0, 1, · · · , M − 1 .
a(v, v) ≥ αkvkV2
314 Michael V. Klibanov and Jingzhi Li
|L(v)| ≤ ΛkvkV
for any v ∈ V .
a(u, v) = L(v), ∀v ∈ V .
L(v) = a (u∗ , v) , ∀v ∈ V .
therefore √ √
αkukV ≤ kuka ≤ γkukV .
Finite Element Method 315
1 1
Or √ kuka ≤ kukV ≤ √ kuka
γ α
F (u∗ ) is the global minimizer.
For any v ∈ V , if a(u, v) = a(v, u), then
1
F(v) = F (u∗ + v − u∗ ) = F (u∗ + w) = a (u∗ + w, u∗ + w) − L (u∗ + w)
2
1
= (a (u∗ + w, u∗) + a (u∗ + w, w)) − L (u∗ ) − L(w)
2
1
= (a (u∗ , u∗) + a (w, u∗) + a (u∗ , w) + a(w, w))− L (u∗ ) − L(w)
2
1 1
= a (u∗ , u∗ ) − L (u∗ ) + a(w, w) + a (u∗ , w) − L(w)
2 2
1
= F (u∗ ) + a(w, w) − 0
2
≥ F (u∗ ) .
therefore
Λ
αku∗ kV2 ≤ Λ ku∗ kV =⇒ ku∗ kV ≤ .
α
Remark 10.3.1. The Lax-Milgram Lemma is often used to prove the exis-
tence and uniqueness of the solutions of PDE.
The space is V = HE1 (a, b). To consider the conditions of the Lax-
Milgram theorem, we need the Poincare
c inequality:
Theorem 10.3.1. If v(x) ∈ H 1 and v(a) = 0, then
Z b Z b Z b Z b
v0 (x)2 dx v0 (x)2 dx ≥ 1
v2 dx ≤ (b − a)2 or v2 dx .
a a a (b − a)2 a
Proof. We have
Z x
v(x) = v0 (t) dt
a
Z x Z x 1/2 Z 1/2
0 2 x
=⇒ |v(x)| ≤ v0 (t) dt ≤ v (t) dt dt
a a a
Z b
1/2
√
≤ b−a v0 (t)2 ,
a
so that
Z b
v2 (x) ≤ (b − a) v0 (t)2 dt
a
Z b Z b Z b Z b
=⇒ 2
v (x) dx ≤ (b − a) v0 (t)2 dt dx ≤ (b − a) 2 v0 (x) dx .
a a a a
≤ (b − a)kuk1kvk1 ,
we get
α̃
|a(u, v)| ≤ max {pmax , qmax } 2 + (b − a) kuk1kvk1 ,
β̃
conclude there is the unique solution in He1 (a, b) to the original differential
equation. The solution also satisfies
k f k0 + |γ̃/β̃|p(b)
kuk1 ≤ n o.
1
pmin min 2(b−a) ,1
d. Abstract FE Methods
In the same setting, let us assume that Vh is a finite dimensional subspace of
V and that {φ1 , φ2 , · · ·φM } is a basis for Vh . We can formulate the following
abstract FE method using the finite dimensional subspace Vh. We seek
uh ∈ Vh such that
a (uh , v) = L(v), ∀v ∈ Vh ,
or equivalently
F (uh ) ≤ F(v), ∀v ∈ Vh .
We apply the weak form in the finite dimensional Vh :
a (uh , φi ) = L (φi ) , i = 1, · · · , M .
AU = F ,
M
v = ∑ ηi φi ,
i=1
320 Michael V. Klibanov and Jingzhi Li
we have
!
M M M
a(v, v) = a ∑ ηiφi, ∑ η j φ j = ∑ ηi a φi , φ j η j = ηT Aη > 0 ,
i=1 j=1 i, j=1
whence
Λ
kuh kV ≤ .
α
Error estimates.
If eh = up− uh is the error, then: - a (eh , vh ) = (eh , vh )a = 0, ∀vh ∈ Vh ; -
ku − uh ka = a (eh , eh ) ≤ ku − vh ka , ∀vh ∈ Vh , i.e., uh is the best approxi-
γ
mation to u in the energy norm; and - ku − uh kV ≤ ku − vh kV , ∀vh ∈ Vh ,
α
which gives the error estimates in the V norm.
Sketch of the proof: From the weak form, we have
This means the FE solution is the projection of u onto the space Vh. It is
the best solution in Vh in the energy norm, because
ku − vh k2a = a (u − vh , u − vh ) = a (u − uh + wh , u − uh + wh )
= a (u − uh , u − uh ) + a (u − uh , wh ) + a (wh , u − uh ) + a (wh , wh )
= a (u − uh , u − uh ) + a (wh , wh )
≥ ku − uh k2a ,
Finite Element Method 321
α ku − uh kV2 ≤ a (u − uh , u − uh ) = a (u − uh , u − uh ) + a (u − uh , wh )
= a (u − uh , u − uh + wh ) = a (u − uh , u − vh )
≤ γ ku − uh kV ku − vh kV .
a(x, y)uxx +2b(x, y)uxy +c(x, y)uyy +d(x, y)ux +e(x, y)uy +g(x, y)u = f (x, y)
a. Boundary Conditions
In 2D, the domain boundary ∂Ω is one or several curves. We consider the
following various linear BC.
Finite Element Method 323
Consequently, the solutions to the weak form and the minimization form
are unique and bounded in H01 (Ω).
ρj
1≥ ≥ β > 0,
hj
vh (x, y) = α + βx + γy ,
where α, β and γ are constants (three free parameters). Let Pk = {p(x, y), a
polynomial of degree of k}. We have the following theorem.
Proof. Assume the vertices of the triangle are (xi , yi ) , i = 1, 2, 3. The linear
function takes the value vi at the vertices, i.e.,
p (xi , yi ) = vi ,
α + βx1 + γy1 = v1 ,
α + βx2 + γy2 = v2 ,
α + βx3 + γy3 = v3 .
Now let us prove the second part of the theorem. Suppose that the
equation of the line segment is
l1 x + l2 y + l3 = 0, l12 + l22 6= 0 .
p1 (x, y) = α + βx + γy
l1 x + l3
= α + βx − γ
l
2
l3 l1
= α− γ + β− γ x
l2 l2
= α 1 + β1 x .
328 Michael V. Klibanov and Jingzhi Li
Similarly, we have
p2 (x, y) = ᾱ1 + β̄1 x .
Since p1 (A) = p2 (A) and p1 (B) = p2 (B),
where both of the linear system of algebraic equations have the same coef-
ficient matrix
1 x1
1 x2
that is non-singular since x1 6= x2 (because points A and B are distinct).
Thus we conclude that α1 = ᾱ1 and β1 = β̄1 , so the two linear functions
have the same expression along the line segment, i.e., they are identical
along the line segment.
Note that although three values of the vertices are the same, like the values
for K3 and K4 , the geometries are different, hence, the functions will likely
have different expressions on different triangles.
Finite Element Method 329
We know how to use the standard central FD scheme with the five point
stencil to solve the Poisson equation. With some manipulations, the linear
system of equations on using the FE method with a uniform triangulation
(cf., Fig. 9.4) proves to be the same as that obtained from the FD method.
330 Michael V. Klibanov and Jingzhi Li
Figure 10.4.3. A global basis function φ j . (a) the mesh plot; (b) the trian-
gulation and the contour plot of the global basis function.
then the global basis function defined at (xi , y j ) = (ih, jh) are
x − (i − 1)h + y − ( j − 1)h
− 1 Region 1 ,
h
y − ( j − 1)h
Region 2 ,
h
h − (x − ih)
Region 3 ,
h
φ j(n−1)+i = x − ih + y − jh
1− Region 4 ,
h
h − (y − jh)
Region 5 ,
h
x − (i − 1)h
Region 6 ,
h
0 otherwise .
If m = n = 3, there are 9 interior nodal points such that the stiffness matrix
is a 9 × 9 matrix:
∗ ∗ 0 ∗ 0 0 0 0 0
∗ ∗ o ∗ 0 0 0 0
0 ∗ ∗ 0 o ∗ 0 0 0
o 0 ∗ ∗ 0 ∗ 0 0
A=
0 ∗ o ∗ ∗ ∗ o ∗ 0 ,
0 0 ∗ 0 ∗ ∗ 0 o ∗
0 0 0 ∗ o 0 ∗ ∗ 0
0 0 0 0 ∗ o ∗ ∗ ∗
0 0 0 0 0 ∗ 0 ∗ ∗
where ’*’ stands for the non-zero entries and ’o’ happens to be zero. Gen-
332 Michael V. Klibanov and Jingzhi Li
where the ai are all nodal points and φi (x, y) is the global basis function
centered at ai .
Theorem 10.4.6. If v(x, y) ∈ C2 (K), then we have an error estimate for the
interpolation function on a triangle K,
8h2
max kDα (v − vI )k∞ ≤ max kDα vk∞ .
|α|=1 ρ |α|=2
Theorem 10.4.7.
ku − uh ka ≤ C1 hkukH 2 (Th ) , ku − uh kH 1 (Th ) ≤ C2 hkukH 2 (Th ) ,
ku − uh kL2 (Th ) ≤ C3 h2 kukH 2 (Th ) , ku − uh k∞ ≤ C4 h2 kukH 2 (Th ) ,
Figure 10.4.5. The linear transform from an arbitrary triangle to the stan-
dard triangle (master element) and the inverse map.
or
1
ξ= ((y3 − y1 )(x − x1 ) − (x3 − x1 ) (y − y1 )) ,
2Ae
1
η= (− (y2 − y1 ) (x − x1 ) + (x2 − x1 ) (y − y1 )) ,
2Ae
where Ae is the area of the triangle that can be calculated using the formula
in (12).
Finite Element Method 335
S4
g(ξ, η) dξ dη = ∑ wk g (ξk , ηk ) ,
k=1
where S4 is the standard right triangle and L is the number of points in-
volved in the quadrature.
ai + bi x + ci y
ψi (x, y) = , i = 1, 2, 3 ,
2∆
1 x1 y1
where ψi (xi , yi ) = 1, ψi (x j , y j ) = 0 if i 6= j, and ∆ = 21 det 1 x2 y2 =
1 x3 y3
± area of the triangle.
a1 + b1 x + c1 y
ψ1 (x, y) = ,
2∆
(x2 y3 − x3 y2 ) + (y2 − y3 ) x + (x3 − x2 )y
= ,
2∆
Finite Element Method 337
so
(x2 y3 − x3 y2 ) + (y2 − y3 ) x2 + (x3 − x2 )y2
ψ1 (x2 , y2 ) = = 0,
2∆
(x2 y3 − x3 y2 ) + (y2 − y3 ) x3 + (x3 − x2 )y3
ψ1 (x3 , y3 ) = = 0,
2∆
(x2 y3 − x3 y2 ) + (y2 − y3 ) x1 + (x3 − x2 )y1 2∆
ψ1 (x1 , y1 ) = = = 1.
2∆ 2∆
We can prove the same feature for ψ2 and ψ3 .
Theorem 10.4.9. With the same notation as in Theorem9.11, we have
m!n!l!
ZZ
(ψ1 )m (ψ2 )n (ψ3 )l dx dy = 2∆ ,
Ωe (m + n + l + 2)!
bi b j + ci c j
ZZ
Oψi · Oψ j dx dy = ,
Ωe 4∆
∆ ∆ ∆
ZZ
F1e = ψ1 f (x, y) dx dy ' f 1
+ f2 + f3 ,
Ωe 6 12 12
∆ ∆ ∆
ZZ
F2e = ψ2 f (x, y) dx dy ' f 1 + f 2 + f 3 ,
Ωe 12 6 12
∆ ∆ ∆
ZZ
e
F3 = ψ3 f (x, y) dx dy ' f 1 + f 2 + f 3 ,
Ωe 12 12 6
where f i = f (xi , yi ).
f (x, y) ' f 1 ψ1 + f 2 ψ2 + f 3 ψ3 ,
and therefore
ZZ
F1e ' ψ1 f (x, y) dx dy
Ω
ZZe ZZ ZZ
= f1 ψ21 dx dy + f 2 ψ1 ψ2 dx dy + f 3 ψ1 ψ3 dx dy .
Ωe Ωe Ωe
Chapter 11
Conclusion
In this book we first identify the important PDEs for which in certain cir-
cumstances explicit or fairly explicit formulas can be obtained for the solu-
tion. Next we abandon the search for explicit functions and instead rely on
functional analysis and relatively easy energy estimates in Sobolev spaces
to prove the existence of weak solutions to various kinds of linear PDEs.
We investigate also the regularity of solutions, and deduce various other
properties. The third part is devoted to the coefficient inverse problems
for PDEs and introduce the theory of ill-posed problems. In the final part
we explain in detail the recipes and procedures of the FDM and FEM for
the implementation and solution of the elliptic, parabolic and hyperbolic
PDEs, respectively, in one- and two-dimensions.
The partial differential equations are efficient tools to describe the laws
of nature. Normally, it is not an easy task to discover ways to solve PDEs
of various sorts. In the first part we investigate the ways of solving a partial
differential equation in the classical sense, that is to write down a formula
for a classical solution satisfying the well-posed conditions. However, only
certain specific partial differential equation can be solved in the classical
sense. For most of the partial differential equations we are not able to
search for the classical solutions. We must instead investigate a wider class
of solutions, that is the well-posed weak solutions. In fact, it is often ini-
tially to search for some appropriate kind of weak solution, even for those
PDEs which turn out to be classically solvable. This is the second part of
the textbook. Also we introduce very briefly two numerical methods that
are most popular and effective in numerical solutions of various partial dif-
340 Michael V. Klibanov and Jingzhi Li
[2] Evans L. C., Partial Differential Equations 1st edn (Providence, RI:
American Mathematical Society), 1998.
[10] Tikhonov A. N., Goncharsky A., Stepanov V. V., and Yagola A. G.,
Numerical Methods for the Solution of Ill-Posed Problems, Kluwer
Academic Publishers Group, London, 1995.
342 References
Michael V. Klibanov
Department of Mathematics and Statistics
University of North Carolina at Charlotte
Charlotte, NC, USA
Email: mklibanv@uncc.edu
Jingzhi Li
Department of Mathematics
Southern University of Science and Technology
Shenzhen, P. R. China
Email: li.jz@sustech.edu.cn
Index