View
219
Download
0
Category
Preview:
Citation preview
7/28/2019 Lectures Pdecourse
1/105
INTRODUCTION TO EQUATIONS FROM
MATHEMATICAL PHYSICS
LI MA
Date: Starting from the Summer of 1991 to 2007.1991 Mathematics Subject Classification. 35-XX.Key words and phrases. wave equation, heat equation, harmonic functions, character-
istic line method, Fourier method, maximum principle, fundamental solution.
1
7/28/2019 Lectures Pdecourse
2/105
2 LI MA
This is a lecture note for the courses of Equations from Mathemati-cal Physics or Methods of Mathematical Physics given by me to senior
students in Tsinghua University, Beijing
7/28/2019 Lectures Pdecourse
3/105
EQUATIONS FROM MATHEMATICAL PHYSICS 3
To An, for patience and understanding
7/28/2019 Lectures Pdecourse
4/105
4 LI MA
Contents:
Wave equations; Heat equations; Laplace equation; Method of Char-acteristic lines; Duhamel principle; Method of separation of variables;Laplace transform; Fourier transform; Fundamental solutions; Meanvalue property; Louville theorem; Monotonicity formulas; Maximumprinciple; Variational principle.
7/28/2019 Lectures Pdecourse
5/105
EQUATIONS FROM MATHEMATICAL PHYSICS 5
Preface
As I always believe that the course about equations from mathemat-ical physics is of fundamental importance to every student in college.However, it will be a hard time for us to firstly learn it. Can you imagewhat is up when you enter a new world where you know just a little?
I want to point out some key points in our course at this very be-ginning. To us, solving a problem means that we reduce the probleminto some easy problems which can be solved by us. For solving ourproblems with partial differential equations (in short, PDE), we reducethem into ordinary differential equations (in short, ODE), which canbe solved by us.
We shall derive some typical partial differential equations from the
conservation laws of mass or energy or momentum. Such equations arecalled equations from mathematical physics. The basic principle usedhere is that the change (rate) of the physical quantity in a body inspace is created from the change on the boundary and by the source inthe interior of the body. Hence, we need to use the divergence theoremfrom the differential calculus.
The equations from mathematical physics are very important objectsin both mathematics and applied mathematics. However, many of themare nonlinear equations. Even for linear partial differential equations,we can not expect to have a unifying theory to handle them. Therefore,we have to classify the equations and treat them case by case. Thecrucial observation is that many equations enjoy symmetry propertieslike translation invariant or rotation invariant, which will lead to manyidentities for solutions.
The object in our course is to try to explain some elementary partof solving simple linear partial differential equations of first order andsecond order. The principle for studying these equations is reduce theminto linear ordinary differential equations, which can be solved by toolsfrom the differential calculus and linear algebra.
The most beautiful method for solving linear partial differential equa-tions or systems of first order is the characteristic line method.
The most powerful methods for solving linear partial differentialequations or systems of second order are the methods of separationfor variables (also called Fourier method ) and Fourier transformationmethod, which can be used to translated the problems into ODE again.Theory of Fourier transformations is one of most beautiful mathemat-ical theories so that there are many books about Fourier transforma-tions. The other method is to construct the fundamental function to
7/28/2019 Lectures Pdecourse
6/105
6 LI MA
the equation with the homogeneous boundary condition and initial con-dition. In the latter method, the divergence theorem plays an essential
role.There is another important tool in the study of heat equation and
elliptic equations. It is the maximum principle trick with its brothercalled the comparison lemma. This trick is also very useful in the studyof nonlinear parabolic and elliptic equations or systems. People usuallyuse the maximum principle to derive gradient estimates or Harnackinequalities of non-negative solutions, which lead to Bernstein typetheorem.
To understand the behavior of the solutions to PDE, we use diver-gence theorem, Fourier method, or the fundamental solutions to set upenergy bounds for solutions. The nice forms of energy bounds for so-lutions are monotonicity formulae or Pohozaev type identities , whichcan be used to get Liouville type theorem or regularity theorem.
Energy bounds or gradient estimates are important to understandthe compactness of solution spaces.
The aim of this course is to let our students/readers know the basicingredients in the study of simple linear PDEs of first order and secondorder. Sections with ahead should be skipped by first reading. Justas in the study of other courses in mathematics, one can only geta good understanding of our subject by doing more exercisesand by reading more related books.
I hope you understand my words here. What did I feel in my collegelife? I did feel so lucky that I had attended many courses in math-ematics when I was in Nankai University. This experience makes mecan understand many deep lectures from some famous guys.
In conclusion, for our beginners, I hope you remember that we try tounderstand PDE by ODE! In other words, before we do PDE, letus do its partner ODE. Do you remember an old Chinese proverb?Here it is, I suddenly find that I know the world after I hear yourwords.
Written by
Li Ma
in 5-1-2007
7/28/2019 Lectures Pdecourse
7/105
EQUATIONS FROM MATHEMATICAL PHYSICS 7
Notations and conventions:The functions used in our course are bounded smooth function unless
we point out explicitly. If the domain is unbounded, we assume that thefunctions is decay to zero at infinity. In other word, we assume the niceconditions for functions such that we can perform the differentiationinto integrands or the change the order of integration of variables.
We denote by Rn the Euclidean space of dimension n. Let x =(x1, ...xn) the standard coordinates in Rn.
We denote by C2(D) the space of twice differentiable smooth func-tions inside the domain DRn.
We denote by C0 (D) the space of infinitely differentiable smoothfunctions with support inside the domain DRn. Here the support of afunction f is the closure of the set
{x
D; f(x)
= 0
}.
f := (x1f,...,xnf).
jf = xjf.
rf(x) :=j
(xj pj)r
xjf(x)
is the radial derivative of the function f, where r = |x p| is the radialcoordinate with respect to the center p = (pj) Rn.
We denote by(k)x f = (
k1x1
k2x2 ...knxnf); k = k1 + ... + kn
the k-th derivatives of the function f with respect to the variablesx = (x1,...xn).
PDE=Partial Differential Equation.ODE=Ordinary Differential Equation.F-transform=Fourier transform.
7/28/2019 Lectures Pdecourse
8/105
8 LI MA
1. lecture one
1.1. Divergence theorem.Let (xi) be the standard coordinates in the Euclidean space Rn. Werecall the classical divergence theorem:
Theorem 1. Let D be a bounded domain with finite piece-wise C1
boundary D inRn. LetX : D Rn be a smooth vector field on theclosure D of the domain D. Let be the unit outer normal to D.Then we have the following formula:
D
divXdx =
D
X d.
Here divX = i Xixi for X = (Xi) , = (i) and X = i Xii.If Xi = uxi
for some smooth function, i.e., X is the gradient u :=(x1u,...,xnu) of the function u, then
divX =i
2u
(xi)2= u
which is the Laplacian of the function u.
A special case we often use is that X has only one non-zero compo-nent, say j th component,
X = (0,...0, u, 0,...0)for some smooth function u C1(D) C(D). Then, divX = ju and
D
judx =
D
ujd.
The classical divergence theorem is a basic theorem used in ourcourse.
We ask the readers to remember this basic formula. Note that whenn = 1, the divergence theorem is the famous Newtonian-Leibnizformula:
f(b) f(a) = b
af
(x)dx.
In dimension two, the divergence theorem is Greens theorem in dif-ferential calculus. Let D be a bounded smooth domain in the planeR2. Recall that the Green formula is the following: for any smoothfunction P, Q on the closure of the domain D, we have
D
(Qx Py)dx =D
P dx + Qdy.
7/28/2019 Lectures Pdecourse
9/105
EQUATIONS FROM MATHEMATICAL PHYSICS 9
It is clear that the form of divergence theorem in dimension twois different from that of the Green formula. We want to prove that
they are equivalent each other. Assume that the boundary D is givenby the smooth curve p(s) = (x(s), y(s)), where s is the counter-clockarc-length parameter. Write by x = dx/ds, etc. Then T = (x, y) isthe unit tangent vector along p(s). Then N = (y, x) is the interiorunit normal to the curve p(s) such that {T, N} forms a right-handorthonormal basis system. The outer unit normal to the boundary Dis = N = (y, x). Choose X1 = Q and X2 = P. Then we have
divX = Qx Py,and along the boundary D,
P dx + Qdy = (P x + Qy)ds = X
ds
Hence, Greens formula implies thatD
divXdx =
D
X ds,which is the divergence theorem in dimension two.
7/28/2019 Lectures Pdecourse
10/105
10 LI MA
1.2. One dimensional wave equation.We consider a vibrating string of length l with its two ends fixed at
x = 0 and x = l. Let u = u(x, t) be the position function of the stringat (x, t) in the direction of y-axis. Assume that = constant is themass density of the string. Then the kinetic (or temporal) energy ofthe string is
T(u) =1
2
l0
u2tdx.
The potential (or spatial) energy is
U(u) =c
2
l0
u2xdx,
where c is a physical constant of the string.Assume that the string is acted by the exterior force with force den-sity f0(x, t) at (x, t).
Then the energy obtained by the exterior force is
U(f) = l
0
f0udx.
Then the Hamiltonian action of the string is
H(u) =
t0
d(T(u) U(u) U(f0))
= 12t
0
dl0
u2tdx
c2
t0
d
l0
u2xdx +
t0
d
l0
f0udx.
The Hamilton principle implies that the motion of the vibrating stringobeys
H(u) = 0,
that is, for every = (x, t) C20 ((0, l) (0, t1)),
< H(u), >:=d
dH(u + )
|=0 = 0.
We compute that
< H(u), > =
t0
d
l0
(utt
cuxx + f0)dx
=
t0
d
l0
(utt + cuxx + f0)dx
7/28/2019 Lectures Pdecourse
11/105
EQUATIONS FROM MATHEMATICAL PHYSICS 11
Using the variational lemma (see Appendix), we then get
utt
cuxx = f0/,
which is called the one dimensional wave equation.By physical testings, we can find the initial position and velocity of
the string. So we know that
u(x, 0) = (x),
andut(x, 0) = (x);
and the boundary condition
u(0, t) = 0 = u(l, t).
The higher dimensional wave equation in its simple form isutt(x, t) = a
2u(x, t) + f(x, t),
which is a typical hyperbolic partial differential equation of secondorder.
We can also add other type of initial data and boundary data for thewave equations.
7/28/2019 Lectures Pdecourse
12/105
12 LI MA
1.3. Conservation of mass.Let = (x, t) be the mass density of a moving fluid in the region
W. Let u be the velocity field of the fluid. Let be the outer unitnormal to the boundary of the domain W.
Take a small part dx in W. Then the mass in dx is dx. Hence, thetotal mass in W at time t is the integration of dx over W, which is
W
dx.
Then, its change rate at time t is
d
dt
W
dx.
Assume that there is no fluid generating source. Then the changerate is only across fluid rate from the boundary. Take a small part din the boundary W. Then the amount of u d flow into W. Sothe total amount flowing into W across the boundary is the integrationover W:
W
u d.So we have
d
dt
W
dx = W
u d.Using the divergence theorem, we have
W
( t
+ div(u))dx = 0.
Since we can take W be any sub-domain, we have
t + div(u) = 0.
This is the continuity equation in Fluid mechanics.If u = (a(x1), 0, 0), then the continuity equation is
t + x(a(x)(x, t)) = 0,
where x = x1.
7/28/2019 Lectures Pdecourse
13/105
EQUATIONS FROM MATHEMATICAL PHYSICS 13
1.4. What are important for our equations?What I want to show here is that once we have a pde from scientific
background, we must try to solve it and get the explicit expression forthe solutions in terms of initial data and boundary data. We also needto know the uniqueness and stability of our solutions to our equationsor problems.
Here we may introduce the concepts of Hilbert space and normedspace (see any textbook about Functional Analysis). A norm | | on avector space E is a function from E to non-negative numbers R+ suchthat
(1)
|f| = 0if and only if f = 0;
(2) |af| = |a||f| for any real number a;(3)
|f + g| |f| + |g|.A vector space E equipped with a norm | | is called a normed space.
If a sequence (fj) E satisfy |fj fk| 0 as j, k , then we call(fj) a Cauchy sequence in (E, | |). If every Cauchy sequence has alimit in E, then we call (E, | |) a Banach space. If further, the norm| | comes from an inner product < , >, that is, |f|2 =< f, f >, wecall (E, < , >) a Hilbert space; for example,
< f, g >= D
f(x)g(x)dx, f,g L2(D),
By definition, we say that u(x, t) is the stable solution (in the norm| |) to the problem
A[u](x, t) := (tu Lu)(x, t) = 0,where t [0, T], and
L := P(x, x,...,(k)x ) =
kj=0
aj(x)(j)x
is a partial differential operator of the variables (x), with initial datau(x, 0) if for any > 0, there exists > 0 such that for all solutionsw(x, t) to A[w] = 0 with initial data w(0),
|w(0) u(0)| ,we have
supt
|w(t) u(t)| < .
7/28/2019 Lectures Pdecourse
14/105
14 LI MA
There are also many other definitions for stabilities, which depend onwhat we wanted in reality.
To get uniqueness and stability of solutions to evolution problems,we need to find some nice norm for solutions and derive a Gronwalltype inequality. For stationary problems, we have to use maximumprinciple trick or monotonicity formulae for solutions.
In our course, we need to know some typical methods to solve linearpdes of first order and second order. Historically, the solution expres-sions were guessed by scientific workers from physical intuition. So itis important for us know the scientific background of the equations.
7/28/2019 Lectures Pdecourse
15/105
EQUATIONS FROM MATHEMATICAL PHYSICS 15
2. lecture two
2.1. Heat equation and Laplace equation.Heat equation and Laplace equation are very important objects inPDE theory.
We use the energy conservation law to derive the heat equations.Let u be the heat density of the body , and let qbe the heat flowing
velocity. By Fouriers law, we have
q = ku,where k > 0 is a coefficient of physical quantity.
Let f0(x, t) be the density of heat source. Then as in the case ofcontinuity equation, we have, for a physical constant c > 0 of the
region D ,t
D
cudx =
D
q ()d +
D
f0dx.
Using the divergence theorem we haveD
q ()d = D
div(q)dx.
Hence, since D can be any domain in the body, we have
ctu = divq+ f0.Using the Fourier law, we have
ctu = div(ku) + f0,which is called the heat equation with source f0. Assume that c = 1 =k = and f0 = 0. Then we have the heat equation
ut = u, (x, t) (0, ),which is a typical parabolic partial differential equation of second order.
Physically, we can measure the heat density on the boundary ,and we may assume that u(x, t) = 0 for (x, t) (0, ). Theinitial heat density at t = 0 can also be detected. So we assume that
u(x, 0) = (x), x .The heat equation coupling with initial and boundary conditions iscalled a determined problem of heat equation.
Of course, we may have other kind of boundary conditions like
ku
(x, t) = u(x, t), (x, t) (0, ).
7/28/2019 Lectures Pdecourse
16/105
16 LI MA
When we have stationary heat in , that ut = 0, we have the follow-ing equation:
u + f = 0,where f = f0, or in other form
u = fwhich is called the Poisson equation. If f = 0, it is called the Laplaceequation in , which is a typical elliptic partial differential equation ofsecond order. In dimension one, the Laplace equation becomes
u
= 0,
So u = ax + b is a linear function of the single variable x. However, ifthe dimension n
2, it is not easy to solve the Laplace equation on
domains coupling with its boundary condition.In the following subsection, we try to solve some simple pde of first
order.
7/28/2019 Lectures Pdecourse
17/105
EQUATIONS FROM MATHEMATICAL PHYSICS 17
2.2. Solve pde of first order.The principle for solving a first order PDE is to reduce it into ODE
along characteristic curves. So one should know how to solve an ODE.We shall review some ODE theory when it is necessary.
We study a first order partial differential equation. Our question isto solve the following equation (FDE):
ut + aux = f(x, t).
Assume that we have the initial condition u = u0(x) at t = 0.We introduce the C-curve C(t) (called the characteristic curve) by
solving dx/dt = a. Then we have
C := C(t) : x = at + A.
When t = 0, we have x(0) = A. On the curve C, we have
du/dt = ut + aux = f(x, t) = f(at + A, t).
Using integration along the curve C(t), we have
u(x(t), t) = u(A, 0) +
t0
f(a + A, )d.
Given the point (x, t) on the curve C(t). Then we have
x(t) = x
and we can find that initial point on the curve is x(0) = A = x
at. So
by the initial value condition, we have u(A, 0) = u0(A) = u0(x at).Inserting A = x at into the expression above, we find (FF):
u(x, t) = u0(x at) +t
0
f(x + a( t), )d.
In case when f = 0, we have
u(x, t) = u0(x at).The method above is called characteristic curve method in the litera-ture. One may study examples in our textbook.
We point out the following comparison lemma: Let u be a smoothsolution to (FDE) with the initial data u(0) = u0. Let w be a smoothfunction satisfying
wt + awx f(x, t)with the same initial data as u. Then we have w u on R [0, T].
This lemma is based on a very simple observation from the formula(FF) that if u0 = 0 and f 0, then u 0 for all t. In fact, let
g(x, t) = wt + awx f(x, t).
7/28/2019 Lectures Pdecourse
18/105
18 LI MA
Then we have g(x, t) 0 andwt + awx = f(x, t) + g(x, t).
Let v = w u. Then we havevt + avx = g(x, t) 0
with v = 0 at t = 0. Using the formula (FF) for v, we know that v 0.Hence w u.
Usually, the comparison lemma is a very important property forPDEs.
7/28/2019 Lectures Pdecourse
19/105
EQUATIONS FROM MATHEMATICAL PHYSICS 19
2.3. A nonlinear PDE example.We have just used The characteristic curve method to study the
linear pde of first order. We show here that this method can also beused to study the nonlinear pde of first order. By definition, a pde(PDE)
P(u, u, D2u, ...) = 0is called a linear equation if, for any given two solutions u and v of(PDE), au + v is also a solution of (PDE) for every constant a R.Otherwise, it is called a nonlinear PDE.
Lets study the following nonlinear PDE of first order:
ut + (1 + u)ux =1
2
with the initial value condition u(x, 0) = x for x 0.We first find the characteristic curve x(t) by solving
dx
dt= 1 + u(x, t).
Note that along the characteristic curve, we have
du
dt=
1
2
and
u(x(t), t) =
t
2 + u(x(0), 0) =
t
2 + x(0)On one hand, we set x(0) = A. Then we have
u(x(t), t) =t
2+
A
Solving
A from this relation, we get
A = u(x(t), t) t2
.
On the other hand, we find the curve satisfying
x(t) = A + t + t0
u(x(), )d = A + t + t0
(
2 + A)d.Then we have
x(t) = A + t +t2
4+
At = t + (
t
2+
A)2 = t + u(x(t), t)2.
We now solve u along the curve x(t) and get
u(x(t), t) =
x(t) t.
7/28/2019 Lectures Pdecourse
20/105
7/28/2019 Lectures Pdecourse
21/105
EQUATIONS FROM MATHEMATICAL PHYSICS 21
3. lecture three
3.1. Duhamel principle.Consider (ODE)u
+p(t)u = 0,
with initial condition u = f at t = . Then its solution to (ODE) is(S):
u(t, ) = fexp(t
p(s)ds).
We now try to solve the equation (F):
u
+p(t)u = f(t)
with initial condition u = 0 at t = 0. Let f = f() and solve (ODE)
at t = as above to get the solution (S). Then the function defined byt0
u(t, )d
is the solution to (F). This kind of method is called the Duhamel prin-ciple.
7/28/2019 Lectures Pdecourse
22/105
22 LI MA
3.2. First order ODE and a comparison lemma.For the given ODE
u = a(t)u + b(t)we can write it as
(eR t
a()u) = eR t
a()b(t)
So it has a general solution
u(t) = u(0)eR t
a() + eR t
a()
tdse
R sa()b(s).
If u(0) = 0, we have (F):
u(t) = e
R ta()
t
dseR s
a()
b(s).
One often use the argument above to prove the famous Gronwallinequality: Let > 0 and let u be a continuous function on [0,T]satisfying
u(t) a + t
0
u()d.
Then we have u(t) aet on [0,T]. Hint: Let
f(t) = a +
t0
u()d.
Then we have f = u. By assumption, u f, we getf f .
Let (t) and f(s) be two smooth functions. We consider the followingnonlinear ODE
u = (t)f(u)
with initial data u = a at t = 0.Assume that
w (t)f(w)
with initial data w = a at t = 0. Then we have w(t) u(t) for all t.Letg(t) = w (t)f(w).
Then g(t) 0. Setv = w u.
Then we have
v == (t)(f(w) f(u)) + g(t) = (t)B(t)v(t) + g(t)
7/28/2019 Lectures Pdecourse
23/105
EQUATIONS FROM MATHEMATICAL PHYSICS 23
with v = 0 at t = 0 and
B(t) = f(zw + (1 z)v)dz.Let a(t) = (t)B(t) and b(t) = g(t) in (F). Then we have v 0. Thatis w u for all t.
We remark that one can use Sturm-Liouville theory and variationalprinciple to set up comparison lemma for second order ODE.
7/28/2019 Lectures Pdecourse
24/105
24 LI MA
3.3. One dimensional wave equation.We shall follow our textbook [1] for the explanation. We consider
the one-dimensional wave equation (OW):
utt uxx = 0, x R, t > 0,with initial data
u|t=0 = u0and
ut|t=0 = u1.Lets first assume that u0 = 0. Note that
2t 2x = (t x)(t + x).Then we reduce the problem into two pde of first order. Let
v = tu + xu.
andtv xv = 0.
Solving u we get
u(x, t) =
t0
v(x + ( t), )d.
Using initial condition we have v(x, 0) = u1(x). We now solve v:
v(x, t) = v0(x + t) = u1(x + t).
So,
u(x, t) =
t0
u1(x + ( t) + )d.Changing the variable
s = x + 2 t,we can get
u(x, t) =1
2[
x+txt
u1(s)ds] := Mu1 .
If u0 is non-trivial, but u1 = 0, then we can verify that
u(x, t) =d
dtMu0(x, t)
is the solution toutt uxx = 0
with initial datau|t=0 = u0
andut|t=0 = 0.
7/28/2019 Lectures Pdecourse
25/105
EQUATIONS FROM MATHEMATICAL PHYSICS 25
This is the Duhamel principle for the wave equation.Hence, using the Duhamel principle, we can get the DAlembert for-
mula (EW):
u(x, t) =1
2[(u0(x + t) + u0(x t) +
x+txt
u1(s)ds].
for the solution toutt uxx = 0
with the initial datau|t=0 = u0
andut
|t=0 = u1.
From this formula we know that the solution to the problem (OW) isunique with the formula (EW).
One can show that, for fs(x) = f(x, s),
u(x, t) =
t0
Mfs(x, t s)ds
is the solution toutt uxx = f(x, t)
with the initial datau|t=0 = 0
andut|t=0 = 0.
We leave this as exercise for readers.Remark One: We remark that ifu0 = 0 and u1 0, then u 0 for
all t. For each t, |u(x, t)| M0 +tM1 is bounded provided |u0(x)| M0and |u1(x)| M1. Similar bound is also true for ux and ut at each tprovided |u0x(x)| C0 and |u1(x)| C1.
We now assume that
u0 = 0, u1 = 0
for all |x| > R for some R > 0. Then from the expression (EW), wehaveu = 0, ut = 0
for |x| > R + t. This is the finite propagation property of the waveequation.
Remark Two: Define the energy for u by
E(t) =1
2
R
(u2t + u2x)dx.
7/28/2019 Lectures Pdecourse
26/105
26 LI MA
Then we haved
dtE(t) = R(ututt + uxuxt)dx.
Using the integration by part to the last term we get
d
dtE(t) =
R
ut(utt uxx)dx = 0.
So the energy E(t) is a constant, which is
1
2
R
(u21 + u20x)dx.
Remark Three: We now study the one dimensional wave equationon half line (HWE):
utt uxx = 0, x R+, t > 0,with initial data
u|t=0 = u0and
ut|t=0 = u1.Note that u0(t + x) is the special solution to (HWE). So we can
use it to transform the problem into the case when u0 = 0. Thenwe can use the odd extension method on the x-variable to extend thefunction u1 and the equation on the whole line. Then we can use the
DAlembert formula to solve (HWE). One may also use this method totreat one dimensional wave equation on an interval, however, we have amore beautiful methodFourier method/Separation variable methodto study this case. See the next section.
Remark Four: We point out that we can use the DAlembert for-mula to treat some special case of higher dimensional wave equation.Here is the example: Consider the following problem for 2-dimensionalwave equation
utt uxx uyy = 0with the initial data
u
|t=0 = (x)
andut|t=0 = (y).
Then we split the problem int to two one-dimensional problems: Oneis
utt uxx = 0with the initial data
u|t=0 = (x)
7/28/2019 Lectures Pdecourse
27/105
EQUATIONS FROM MATHEMATICAL PHYSICS 27
andut
|t=0 = 0.
The solution for this one dimensional problem is
u(x, t) =1
2[((x + t) + (x t)]
The other isutt uyy = 0
with the initial datau|t=0 = 0
andut|t=0 = (y).
Its solution is
u(x, t) =12
[y+tyt
(s)ds].
Hence, the solution to our original 2-dimensional problem is
u(x, y; t) =1
2[((x + t) + (x t) +
y+tyt
(s)ds].
7/28/2019 Lectures Pdecourse
28/105
28 LI MA
4. lecture four
4.1. The method of separation of variables 1.The separation variable method for boundary value problems is look-ing for a solution as a sum of special solutions of the form X(x)T(t).
Let u(x, t) = X(x)T(t) be a solution to the wave equation
utt = a2uxx
on [0, l] [0, ) with the homogeneous boundary conditionu(0, t) = 0 = u(1, t).
The boundary condition gives us (BC):
X(0) = 0 = X(1)
Using the wave equation we have
T
X(x) = a2T X
,
orT
a2T=
X
X.
The left is a function of variable t and the right is a function of variablex. To make them be the same, they should be the same constant. Say. Then we have one equation for T:
T
+ a2T = 0
and the other equation for X:
X
+ X = 0
with the boundary condition (BC). The latter is the simple case ofthe Sturm-Liouville problem. The key step in the Separation VariableMethod is to solve this problem at first.
Case 1: When < 0, the general solution for X is
X(x) = c1ex + c2e
x
Using (BC) we have
c1 + c2 = 0and
c1e + c2e
= 0,
which implies that c1 = c2 = 0.Case 2: When = 0, the general solution for X is
X(x) = c1 + c2x.
Again (BC) implies that c1 = c2 = 0.
7/28/2019 Lectures Pdecourse
29/105
EQUATIONS FROM MATHEMATICAL PHYSICS 29
Case 3: When > 0, the general solution for X is
X(x) = c1 cos(
x) + c2 sin(
x).
The boundary condition (BC) gives us that c1 = 0 and
c2 sin(
) = 0,
and then = k22, k = 1, 2,...
HenceX(x) = Xk(x) = ck sin(kx)
for k = 1, 2,....Returning to the equation for T(t) with = k22, we get
Tk(t) = ak cos(kat) + bk sin(kat).
SoUk(x, t) = [ak cos(kat) + bk sin(kat)] sin(kx)
is a typical solution to the one-dimensional wave equation with bound-ary condition.
We remark here that a easy way to see 0 is using the integrationrelation:
|X|2 =
|X|2.
We now look for a solution of the form
u(x, t) =+k=1
[ak cos(kat) + bk sin(kat)] sin(kx)
to the wave equationutt = a
2uxx
on [0, 1] [0, ) with the initial conditionu = (x), ut = (x), t = 0
and the boundary condition
u(0, t) = 0 = u(1, t).
The reason for us to use such an expansion is the Fourier series theory.For general boundary conditions, the expansion can be used , but wehave to invoke the Sturm-Liouville theory (see Appendix).
We need to use the initial condition to determine the constant akand bk. So we have
(x) =+k=1
ak sin(kx)
7/28/2019 Lectures Pdecourse
30/105
30 LI MA
and
(x) =
+
k=1
kabk sin(kx).
Using the Fourier series expansion for (x) and we have
ak = 2
()sin(k)d
and
bk =2
ka
()sin(k)d.
In this way, we get at least formally a solution to our problem. This isa basic method to solve linear pde.
If the boundary condition is not homogeneous, saying
u(0, t) = (t), ; u(1, t) = (t),
we have to make a transformation
u(x, t) = v(x, t) + (t) + x((t) (t))and reduce the problem for v with the homogeneous boundary condi-tion.
7/28/2019 Lectures Pdecourse
31/105
EQUATIONS FROM MATHEMATICAL PHYSICS 31
4.2. The resonance problem. We now briefly discuss the resonanceproblem of the one dimensional wave equation. Consider
utt a2uxx = A sin(t), (x, t) [0, L] (0, )with homogeneous initial and boundary conditions
u(0, t) = u(L, t) = 0
andu(x, 0) = 0 = ut(x, 0),
where = ajL
for j = 1, 2,....Then we have
u(x, t) =
jLajaj
sin(jx
L)
t0
sin()sin(aj
L(t ))d
=j
ajj(2 2j )
( sin jt j sin t)sin(jxL
)
where
j =aj
Land
aj =2
L
L0
A(x) sin(jx
L)dx.
Because we have
2
2
jwhich may cause the coefficient
ajj(2 2j )
.
We say that we may have the resonance phenomenon caused by .
7/28/2019 Lectures Pdecourse
32/105
32 LI MA
4.3. Wave equation in two dimensional disk.We denote BR(0)
R2 the ball in the plane R2. Lets consider the
2-dimensional wave equation
utt = a2(uxx + uyy)
on BR(0) [0, ) with the homogeneous boundary conditionu(x, t) = 0, x BR(0)
and the initial conditionsu|t=0 = u0
andut|t=0 = u1.
Introduce the polar coordinates (r, ) byx = r cos , y = r sin .
Thenu = urr + r
1ur + r2u.
The reason that we use polar coordinates here is because of the bound-ary condition in our problem being on the circle. Let u = T(t)U(x, y)be the solution to our wave problem. Then
T
+ a2T = 0
and
U + U = 0, U(R, t) = 0.It is easy to see that = k2 > 0. Setting U = h()B(r) in the latterequation, we have
h
()
h()= r
2B
+ rB
+ k2r2B
B= 2.
Then we get two problems:
h
+ 2h = 0, h( + 2) = h(),
andB
+ r1B
+ (k2
2r2)B = 0, B(R) = 0.
The last equation is called the Bessel equation. As before, we find that
= n = n
andhn() = An cos(n) + Dn sin(n).
Inserting = n into the Bessel equation, we have
B
+ r1B
+ (k2 n2r2)B = 0, B(R) = 0.
7/28/2019 Lectures Pdecourse
33/105
EQUATIONS FROM MATHEMATICAL PHYSICS 33
The general solutions of this equation are called the Bessel functionsof order n. Just like trigonometric polynomials, Bessel functions form
an orthonormal basis, and then we can use this basis to solve the waveproblem above. One may look for reference book for more about theBessel functions. Some people would like to define the Bessel functionsof order n as the coefficients of the Fourier expansion:
exp(ir sin ) =
n=Bn(r)e
in,
where i =1 and ein = cos(n) + i sin(n). Hence,
Bn(r) =1
2
20
exp(ir sin in)d.We remark that, if the domain is not a ball but a rectangle, we just
letU(x, y) = X(x)Y(y).
7/28/2019 Lectures Pdecourse
34/105
34 LI MA
4.4. Wave equation in R3.The other way to understand the higher dimensional wave equation
for us is to try the Duhamel principle to the wave equation in Rn
utt u = f; f or (x, t) Rn R+with the initial condition
u = (x), ut = 0, at t = 0
by assuming that we know the solution u(x, t) to the homogeneousequation
utt u = 0; f or (x, t) Rn R+with the initial condition
u = 0, ut = (x), at t = 0.
We then use the descent method to study
utt = u
in RnR in one dimension higher space Rn+1R with initial conditionsu = 0, ut = (x), at t = 0.
In dimension three, we first study the wave equation problem (3W):
utt
u = 0; R3
{t > 0
}with the initial datau = 0, ut = (x), at t = 0.
We find that
u(p, t) =1
4a2t
Sat(p)
(x)dx,
where Sat(p) = {x R3; r = |x p| = at}.In fact, let
I(x, r; g) =1
4 Br(x)ud
for g = g(y) C2(R3) andJ := J(x, r; t) = rI(x,r,u)
for u = u(y, t) be the solution to the problem (3W). Changing variables,we find that
I(x, r; g) =1
4
{||=1}
u(x + r)d
7/28/2019 Lectures Pdecourse
35/105
EQUATIONS FROM MATHEMATICAL PHYSICS 35
and
BR(0) g(x + z)dz=
R0
r2dr
{||=1}
u(x + r)d
= =
R0
4r2I(x, r; g)dr.
We now compute
x
R0
4r2I(x, r; g)dr
= xBR(0)
g(x + z)dz
=
BR(0)
xg(x + z)dz
=
BR(0)
zg(x + z)dz
=
BR(0)
Rg(x + z)dz
= B1(0) Rg(x + R)R2d= = 4R2RI(x, R; g).
So, we have
x
R0
r2I(x, r; g)dr = R2RI(x, R; g).
Note that
Rx
R0
r2I(x, r; g)dr
= xRR
0
r2I(x, r; g)dr
= R2xI(x, R; g)
and
R[R2RI(x, R; g)]
= 2RRI(x, R; g) + R22RI(x, R; g).
7/28/2019 Lectures Pdecourse
36/105
36 LI MA
Hence,
R2xI(x, R; g) = 2RRI(x, R; g) + R22RI(x, R; g).
Dividing both sides by R, we have
xRI(x, R; g)
= = 2RI(x, R; g) + R2RI(x, R; g)
= 2R(RI(x, R; g)).
Now,
2Jt2
= R4
B1(0)
utt(x + R,t)d
=a2R
4
B1(0)
xu(x + R,t)d
=a2
4xR
B1(0)
u(x + R,t)d
= a2x(RI(x, R; u))
= a2x(RI(x, R; u))
= a22J
R2 .
This is a one dimensional wave equation. We now determine its bound-ary condition and initial condition. Clearly, we have the boundarycondition
J(x, R; t)|R=0 = 0.
At t = 0,
J(x, R; t)|t=0 = RI(x, R; 0) = 0,
and
Jt(x, R; t)|t=0 = RI(x, R; ).
Then we have
J(x, R; t) =1
2a
at+RatR
rI(x, r; )dr.
7/28/2019 Lectures Pdecourse
37/105
EQUATIONS FROM MATHEMATICAL PHYSICS 37
Hence,
u(x, t) = limR0J(x, R; t)
R
= limR0
1
2aR
at+RatR
rI(x, r; )dr
=1
a[RI(x, R; )]|R=at
= tI(x,at; )
=t
4
B1(0)
((x + at)d.
That is,
u(x, t) = 14a2t
Sat(x)
(y)dy.
Then we use the Duhamel principle in the study of the wave equation
utt u = f; R3 {t > 0}with the initial data
u = (x), ut = (x), at t = 0,
and we have the famous Kirchhoff formula for the solution:
u(p, t) =1
4a2
Bat(p)
r1f(x, t a1r)dx
+1
4a2t
Sat(p)
(x)dx
+ t[1
4a2t
Sat(p)
(x)dx]
whereBat(p) = {x R3; r = |x p| at}.
From this formula, we can see the Huygens principle that the wave atx0 at time t = 0 influences the solution only on the boundary of a coneoriginating from x0. We just remark that using the descent method,
one can get a solution formula for two dimensional wave equation.One may see other textbooks for the other understanding of the
Kirchhoff formula.
7/28/2019 Lectures Pdecourse
38/105
38 LI MA
5. lecture five
5.1. The method of separation of variables 2.We begin with a typical example for heat equation with fixed bound-ary conditions.
We now describe the main idea. Let u(x, t) = X(x)T(t) be a solutionto the heat equation
ut = a2uxx
on [0, l] [0, ).Then formally, we have
T
a2T=
X
X.
The left is a function of variable t and the right is a function of variablex. To make them be the same, they should be the same constant. Say. Then we have
T
+ a2T = 0
and (EX):
X
+ X = 0.
As in the wave equation case, we impose the homogeneous boundarycondition
X(0, t) = 0 = X(1, t)
to solve X and . Multiplying both sides of (EX) by X and integrating
over [0, 1], we have
X2 =
|X|2 > 0.So > 0. Then we have
X(x) = Xk(x) = ck sin(kx)
for k = 1, 2,... and = k = k
22.
Then we solve for T and get Tk(t) = T(0)exp(a2kt) by imposinginitial conditions for T. The lesson we have learned is that the solutionto heat equation has exponential decay to 0 in t-variable as t
.
Using the superposition law, we can solve the heat equation by look-ing at solutions of the form
k
Akexp(a2k22t) sin(kx)
with the initial data
(x) =k
Ak sin(kx)
7/28/2019 Lectures Pdecourse
39/105
EQUATIONS FROM MATHEMATICAL PHYSICS 39
Assume that we are given the heat equation
ut = a2uxx
with non-homogenous boundary condition, we need to use transforma-tions to make the boundary data into a homogenous condition, saying
u(0, t) = 0 = ux(L, t).
Then we have to meet the following non-homogenous heat equation
ut = a2uxx + f(x, t).
To study this problem, we need to solve for {Xj} and = j to theSturm-Liouville problem
X
+ X = 0,
with the boundary condition
X(0) = 0 = Xx(L).
Once this done, we do the expansion for f
f(x, t) =j
fj(t)Xj(x)
and look for solution u(x, t) such that
u(x, t) =j
uj(t)Xj(x).
Then we reduce the non-homogenous problem into the ODEu
j = a2juj + fj(t)with suitable initial condition. Hence, we have the expression
uj(t) = ejt(uj(0) +
t0
ejfj()d
and
u(x, t) =j
ejt(uj(0) +t
0
ejfj()d)Xj(x).
Here uj(0) are determined by
(x) = j
uj(0)Xj(x).
We omit the detail here.
7/28/2019 Lectures Pdecourse
40/105
40 LI MA
5.2. Energy bound.Let L be a partial differential operator on the domain D
Rn such
that for some 0 > j R, we haveLj(x) = jj(x),
with a fixed homogeneous boundary condition. Define the functionspace E such that the functions {j} form an orthonormal basis forthe space E with its norm given by
u =
a2j
for u =
ajj(x) E.Given a smooth function f C1,2(D [0, )). Assume that the
expansion u = uj(t)j(x) is a solution to the partial differentialequation:ut = Lu + f, t > 0,
with the initial data u = 0 at t = 0. Hence, uj(0) = 0 for all j.Assume that the known function f has the expansion
f =
fj(t)j(x)
with its norm on D [0, ) defined by
f =j
0
|fj(t)|2dt < .
Then we haveu
j(t) = juj(t) + fj(t).
Hence, as before, we have the expression
uj(t) = ejt
t0
ejfj()d.
Note that
(u
j(t) juj(t))2 = u
j(t)2 + 2juj(t)
2 2juj(t)uj(t) = fj(t)2.Then we have
T0
(u
j(t)2 + 2juj(t)
2)dt juj(T)2 = T0
fj(t)2.
Note that we have assumed that j < 0. Hence, we have0
(u
j(t)2 + 2juj(t)
2)dt
0
fj(t)2,
which implies thattu2 + 2u f2,
7/28/2019 Lectures Pdecourse
41/105
EQUATIONS FROM MATHEMATICAL PHYSICS 41
where 2 = infj{2j}. This is the energy bound for the solution as wewanted.
7/28/2019 Lectures Pdecourse
42/105
42 LI MA
5.3. Fundamental solution to Heat equation.We study the heat equation (HE) on Rn
[0, +
):
ut = u,
with the initial data u = g(x) at t = 0.Assume that u is a smooth solution of (HE). Note that for > 0,
the function
u(x, t) = u(x,2t)
is also a solution of (HE).So we try to look for solutions of the form
u(x, t) = tf(|x|2/t).
Set r = |x|2/t. Then we find thatut = t
1f + t(|x|2
t2)f
= t1f rt1f,
u
=
|x|u
= 2|x|t1f
u
=2
|x|2 u
= 2t1f
+ 4
|x
|2t2f
= 2t1f + 4rt1f
u = u
+n 1|x| u
= 2t1f
+ 4rt1f
+ 2(n 1)t1f
= 4rt1f
+ 2nt1f
.
So,
r
f + f
+ 4f
+2n
rf
= 0.
Let =
n/2. Then we have
4(rn/2f
)
+ (rn/2f)
= 0.
Then for some constant A,
4rn/2f
+ rn/2f = A.
Take A = 0. Then we have
4f
= f.
7/28/2019 Lectures Pdecourse
43/105
EQUATIONS FROM MATHEMATICAL PHYSICS 43
Assume that f C = const. as r +. Then we have f 0 as
r
+
. So
f = Ber/4.
Choose B = 1/(4)n/2. Define, for t > 0,
K(x, t) =1
(4t)n/2e
|x|2
4t .
This is called the Gaussian kernel, which is also called the Poissonkernel. It is easy to verify that
Rn K(x, t)dx = 1.Theorem 2. Given g(x), we let
u(x, t) =
Rn
K(x y, t)g(y)dy.
Then u(x,t) satisfies the heat equation (HE) and as t 0, u(x, t) g(x).
Roughly speaking, the theorem says that this u(x, t) is the solution
to our problem at the beginning of this subsection.
Proof. For t > 0, we can take derivatives into the integrand term, andthen u satisfies (HE) since K does.
Without loss of generality, we now assume n = 1. Assume that thereis a positive constant M > 0 such that
|g(x)| M, x R.
We use two step argument.Step one: Given an arbitrary small > 0. For any fixed point x
R,
we have some 0 > 0 such that, for |x y| < 0,|g(y) g(x)| <
2.
Step two: We take 1 > 0 small enough such that for 0 < t < 1,{|xy|0}
K(x y, t)dy < 4M
.
7/28/2019 Lectures Pdecourse
44/105
44 LI MA
Then we have
|u(x, t) g(x)| = |K(x y, t)(g(y) g(x))dy| |
{|xy|0}
K(x y, t)(g(y) g(x))dy|
+ |{|xy| 0.
Proof. Fix t > 0. Choose R > 0 sufficient large. Then by our assump-tion on g(x), we have
supBR(x)|g(x)| 0, |x| .
7/28/2019 Lectures Pdecourse
45/105
EQUATIONS FROM MATHEMATICAL PHYSICS 45
Note that
|u(x, t)| Rn K(x y, t)g(y)dy supBR(x)|g(x)|
BR(x)
K(x y, t)dy
+ supRnBR(x)|g(x)|RnBR(x)
K(x y, t)dy
supBR(x)|g(x)| + C(t)supRn |g(x)|R
e2/4tn1d
0 + o(R)as
|x
| . Here C(t) is a constant depending only on t and o(R) is
as small as we like for R large. Hence, we have showed that
|u(x, t)| 0,as |x| .
Using the polar coordinates (, ), we can also show that
|ju(x, t)| 0,as |x| . We omit the detail here.
7/28/2019 Lectures Pdecourse
46/105
46 LI MA
5.4. Comments on Fundamental solutions.The Gaussian kernel K(x
y, t) satisfies the heat equation for t > 0.
For t = 0, we understand it in the generalized sense that
K(x y, 0) = x(y).Here we define x(y) as the generalized function by
< x(y), g(y) >:= x(y)(g(y)) = g(x).
That is, we consider x(y) as a function defined on the function spaceC0 (R
n). Then, x is a linear functional on C0 (R). This x() is called
Diracs delta function or Dirac measure. One can also consider thedelta function 0(x) as the limit of a sequence of nice functions. Forexample, assume that n = 1 and let
qj(x) =1
2j, x [1/j, 1/j] and qj(x) = 0 |x| > 1/j.
Then R
qj(x)dx = 1,
and for x = 0, qj(x) 0 and at x = 0, qj(0) ; or for C0 (R),
< qj, > =
R
qj(x)(x)dx
=1
2j 1/j
1/j(x)dx
(0)
= < 0, > .
as j . If so, we define limqj = 0. We ask the reader use the firstconcept of limit to understand delta function. I would like to pointout that the latter limit is more rigorous definition. We may find othersequences which have 0 as its limit. For example, let
(x) = me 1
1|x|2 , for |x| < 1, (x) = 0, f or |x| 1where m > 0 is a constant such that
R (x)dx = 1,and let
t(x) =1
t(x/t),
where t > 0. Then R
t(x)dx = 1
and limt0t = 0.
7/28/2019 Lectures Pdecourse
47/105
EQUATIONS FROM MATHEMATICAL PHYSICS 47
Generally speaking, for any given continuous function u(x) in Rn,we can also consider u as a linear functional on the space C0 (R
n) with
< u, >=Rn
u(x)(x)dx.
With this understanding, we say K(xy, t) is the fundamental solutionthe heat equation on RnR+. We emphasize that we call K(xy, t) isa fundamental solution to the heat equation on the whole space becauseK(xy, t) satisfies the heat equation for t > 0, and we consider K(xy, t) as a generalized function which is the delta function for t = 0.
We now consider the heat equation on the half line [0, ) with theboundary condition
u(0, t) = 0,
and the initial condition
u = (x), t = 0.
For this case, the fundamental solution is
(x,y,t) = K(x y, t) K(x + y, t).So in some sense, we use the odd extension to keep the boundarycondition. So the function defined by
u(x, t) =
R+
(x,y,t)g(y)dy
satisfies the heat equation on the half line [0, ) with boundary con-dition u(0, t) = 0 and the initial value conditionu = (x), t = 0.
If we consider the heat heat equation on half line [0, ) with theboundary data
ux(0, t) = 0.
Then the fundamental solution to his problem is
(x,y,t) = K(x y, t) + K(x + y, t).Here we have used the even extension to keep the boundary condition.
7/28/2019 Lectures Pdecourse
48/105
48 LI MA
6. lecture six
6.1. Fundamental solution to Laplace equation.Consider the Laplace equation (L) on Rn:
u = 0.
A solution to the Laplace equation in a domain is called a harmonicfunction.
Let r 0 such thatr2 =
i
(xi)2.
Then we haverdr =
ixidxi.
Thenr
xi=
xi
r.
Let u = v(r) be a solution of (L). Note that
uxi = v xi
r,
and
uxixi = v
(1
r (x
i)2
r3) + v
(xi)2
r2.
Then we have
u = v + n 1r
v .
Solve
v
+n 1
rv
= 0.
We find thatv
=c
rn1for some constant c and
v = a log r + b, f or n = 2,
and
v = ar2n + b, f or n 3,for some constants a and b.
Choose b = 0. Define
(x) =12
log r, f or n = 2,
and
(x) =1
n(n 2)|Sn1|r2n, f or n 3.
7/28/2019 Lectures Pdecourse
49/105
EQUATIONS FROM MATHEMATICAL PHYSICS 49
Here |Sn1| is the volume of the sphere Sn1.Let (x, y) = (x
y) for x, y
Rn. This function (x, y) is called
the fundamental solution (or Green function) to the problem (L). Infact, we can consider
y(x y) = x(y).If so, we have
u(x) = < x(y), u(y) >
= < (x y), u(y) >=
Rn
(x y)u(y)dy
= Rn (x y)u(y)dy=
Rn
(x y)f(y)dy.To understand this, we need to use the second Green formula. Here werecall the second Green formula as follows. Given two smooth functionsdefined on a bounded domain D with piece-wise smooth boundary. Wedenote the outer unit normal to the boundary D. Then we have
D
(vu uv)dx =D
(vu uv )d.
Theorem 4. Givenf C00 (Rn), i.e, f is continuous inRn andf(x) =0 in the outside of some large ball. Let
u(x) =
Rn
(x y)f(y)dy.Then the function u satisfies the Poisson equation
u = f, in Rn.Proof. For simplicity, we assume n = 2. Take R > 1 large such thatf = 0 outside BR. Fix x R2. Using the second Green formula onthe region BR B(x), where 0, we get that
BR
(x, y)(u(y))
= lim0
BRB(x)
(x, y)(u(y))
= lim0
{|yx|=}
((x, y)ru(y)
r(x, y)f(y))d,
7/28/2019 Lectures Pdecourse
50/105
50 LI MA
where r = |x y and ru(y) = ur (y).Note that
{|yx|=}|(x, y)ru(y)|d
12
{|yx|=}
ln1
r|ru(y)|
sup|u||ln| 0,
and
{|y
x
|=
}
r(x, y)u(y)d
=1
2
{|yx|=}
rln(r)u(y)d
=1
2
{|yx|=}
1
rf(y)d
=1
2
{|yx|=}
u(y)d
u(x)as 0. This shows that the function u satisfies
R2
(x, y)u(y)dy = u(x).
We ask our readers to verify the n 3 case. Lets study the Poisson equation on bounded domain. Let D
Rn be a bounded domain with piece-wise smooth boundary. We nowconsider the problem (PD):
u = f, in Dwith the boundary condition u(x) = (x) for x D. Then usingthe second Green formula and the fact v = being the fundamentalsolution on the whole Rn, we get (U1):
u(x) =D
(x y)f(y)dy
+
D
((x y)u(y) (y)(x y) )dy.This expression still contains a unknown term for u(y) on theboundary D. To overcome this drawback, we introduce, for eachfixed point x D, the harmonic function g(x, ) with its boundary
7/28/2019 Lectures Pdecourse
51/105
EQUATIONS FROM MATHEMATICAL PHYSICS 51
data g(x, y) = (x y) for y D. Using the expression above forv = g(x, y), we have (U2):
0 =D
g(x, y)f(y)dy
+
D
(g(x, y)u(y) (y)g(x, y) )dy.Set
G(x, y) = (x y) + g(x, y).Note that G(x, y) has zero boundary value for y, i.e,
G(x, y) = 0, y D.Adding (U1) and (U2), we obtain that
u(x) =D
G(x, y)f(y)dy
D
(y)G(x, y) dy.
We call G(x, y) the Green function (or fundamental solution )for theproblem (PD).
Lets consider the boundary value problem for Laplace equation.Assume that u C2(D) C(D) satisfies
u = 0, i n D
Rn,
with the Dirichlet boundary condition
u(x) = (x) C(D), x D.As before, for x D, we have
u(x) =
D
(x y)(u(y))dy
+
D
((x y)u(y) (y)(x y) )dy
= D (y)(x y) dy.Let
P(x, y) = (x y) for x D and y D. We call P(x, y) the Poisson kernel to theboundary value problem in D. Then it can be verified that the functiondefined by
u(x) =
D
P(x, y)(y)dy,
7/28/2019 Lectures Pdecourse
52/105
52 LI MA
which is called the Poisson formula, is the solution to the boundaryvalue problem in D.
We now point out a nice observation about the construction of har-monic functions. Given two harmonic functions u1 and u2 on the samedomain D Rn. We want to find a harmonic function U(x, y) definedon the one dimensional higher cylindrical domain D[L1, L2] such that
U(x, L1) = u1(x)
andU(x, L2) = u2(x).
This function can be achieved by setting
U(x, y) =L2 y
L2 L1u1(x) +
y L1L2 L1
u2(x).
7/28/2019 Lectures Pdecourse
53/105
EQUATIONS FROM MATHEMATICAL PHYSICS 53
6.2. Mean value theorem for harmonic functions.Given a harmonic function u in a domain D. We take a ball BR(p)
in the domain D.Note that x = p + r, where r = |x p| and = xp
r. Using the
divergence theorem, we get
0 =
Bt(p)
u =
Bt(p)
u
rd.
Then we have the the right side of the identity above is
tn1B1(p)
u
r(p + t)d = tn1
t
B1(p)
u(p + t)d.
Here, we want to point out that the notationu
r(p + t)
means the radial derivative of function u taking value at x = p + t. Itis not a composite derivative for independent variables (r, . Hence,
0 = tn1
t(t1n
Bt(p)
ud).
This implies that
t1n Bt(p) ud
is a constant for all t R. Then1
|Bt(p)|Bt(p)
ud =1
|BR(p)|BR(p)
ud.
Using the mean value theorem and sending t 0, we have
u(p) =1
|BR(p)|BR(p)
ud.
Then
u(p)|BR(p)| = BR(p)
ud.
If we take integration in R, we have
u(p) =1
|BR(p)|BR(p)
udx.
Hence, we have
7/28/2019 Lectures Pdecourse
54/105
54 LI MA
Theorem 5. Given a harmonic function u in a domain D. We takea ball BR(p) in the domain D. Then we have
u(p) =1
|BR(p)|BR(p)
ud.
and
u(p) =1
|BR(p)|BR(p)
udx.
Mean value theorem is a basic property for harmonic functions. Asan application we prove the following result.
Theorem 6. (Liouville Theorem). Ifu is a bounded harmonic func-tion in the whole space Rn. Then u is a constant.
Proof. Method One. Let M > 0 such that |u(x)| M for all x Rn.Note that
u(x) =1
|BR(0)|BR(0)
u(x + y)dy.
Hence,
xiu(x) =1
|BR(0)|BR(0)
iu(x + y)dy
=1
|BR(0)|BR(0)
iu(x + y)dy,
where i = xi/R, and then,
|xiu(x)| M|BR(0)|
|BR(0)| 0as R . This implies that u is a constant.
Method Two. Fix any two point x0 and x1. Then for any R > 0, wehave
u(x0) u(x1) = 1|BR(0)|(BR(x0)
udx BR(x1)
udx)
=1
|BR(0)|(BR(x0)BR(x1) udx BR(x1)BR(x0) udx).
Hence,
|u(x0) u(x1) 1|BR(0)|(BR(x0)BR(x1)
|u|dx +BR(x1)BR(x0)
|u|dx)
2M|BR(x1) BR(x0)||BR(0)| 0
7/28/2019 Lectures Pdecourse
55/105
EQUATIONS FROM MATHEMATICAL PHYSICS 55
as R (since |BR(x1) BR(x0)| Rn1 and |BR(0)| Rn). Thatis to say, u is a constant.
7/28/2019 Lectures Pdecourse
56/105
56 LI MA
6.3. Monotonicity formula for Laplace equation.This subsection is only written for readers not just for fun, but also
for its fundamental role in the regularity theory of nonlinear elliptic andparabolic equations. It is not required for the examination for studentseven though it is really important for modern PDE. Recently I andmy students have found a monotonicity formula for solutions to a verylarge class of elliptic and parabolic equations. We can not exhibit ithere, however, we would like to show the classical monotonicity formulafor harmonic functions.
Assume that u is a harmonic function in a ball BR := BR(p) withcenter at the point p and of radius R. It is easy to see that the integral
BR |u|2dx
is a non-decreasing function of R. To our surprise, so is
R2nBR
|u|2dx.
Why? let us prove it. Recall that
u = 0
in the ball BR. Let X(x) = (Xj(x)) = x p be a radial type vectorfield in BR. Recall that on BR, the outer unit normal is
= (x p)/R.We denote by
ui =u
xi= iu, uij =
2u
xixj.
We now have
0 = BR
uu X = BR
u u Xd +BR
u (u X)dx.
Then we re-write it as
BR u u Xd = BR u (u X)dx.Note that
BR
u u Xd = RBR
|ru|2.
andBR
u(uX)dx =BR
iui(juXj)dx =BR
(|u|2 +uijuiXj).
7/28/2019 Lectures Pdecourse
57/105
EQUATIONS FROM MATHEMATICAL PHYSICS 57
Using integration by part to the last term, we have
BR uijuiXj =1
2 j|u|2Xj = R2 BR |u|2 1
2 n|u|2.Then we have
BR
u (u X)dx = 2 n2
BR
|u|2 + R2
BR
|u|2,
and
(n 2)BR
|u|2 = RBR
(|u|2 2|ru|2)d.We now compute
R[R2n
BR |u|2] = R2n BR |u|
2 + (2
n)R1n BR |u|
2
= 2R2nBR
|ru|2
0.This implies that the function
R2nBR
|u|2
is a monotone non-decreasing function of R. More precisely, we haveproved the following result.
Theorem 7. Assume thatu is a harmonic function in a ballBR. Then
R2nBR
|u|2 r2nBr
|u|2 = 2BRBr
|x p|2|ru|2
for all r < R. In particular, the function
r2nBr
|u|2
is a monotone non-decreasing function of r.
Monotonicity formulas play a very important role in the regular-ity theory of weak solutions to nonlinear parabolic and elliptic partial
differential equations/ systems.
7/28/2019 Lectures Pdecourse
58/105
58 LI MA
7. lecture seven
From the previous sections, we know that solving a PDE is not easymatter. To handle PDE on unbounded domains, in particular, PDE onwhole space, people try to use integration type of transformations toreduce ODE into algebraic equations and to reduce linear PDE into toODE. The famous Laplace and Fourier transforms are for this purpose.
In this section, we always assume that our functions have a gooddecay at infinity such that the integrals converge.
7.1. Laplace transforms.We define, for a function y = y(t) C0[0, ), the Laplace transform
by
L(y)(s) =
0 y(t)est
dt.
Remark:It is clear that if there is some constant M > 0 such that
|y(x)| eMx, for x > 0then the Laplace transform for y is well defined.
From the definition, we have
L(y1 + ay2) = L(y1) + aL(y2)
for every real number a R.Note that
L(y)(s) =
0
y(t)estdt = y(0) + sL(y)(s).By induction, we get
L(y(k))(s) = skL(y)(s) k
j=1
y(j1)(0)skj.
We can use this property to solve the following ODE:
y
+ ay + by = g(t),
with initial conditionsy(0) = 0 = y(0),
where a, b are constants and g(t) C0[0, ). In fact, let Y(s) =L(y)(s). Then we have
s2Y + asY + bY = L(g).
Hence, we have
Y =L(g)
s2 + as + b.
7/28/2019 Lectures Pdecourse
59/105
EQUATIONS FROM MATHEMATICAL PHYSICS 59
Denote by L1 the inverse of the Laplace transform. We remark that,using complex analysis and inverse Fourier transform (see next section),
it can be proved that
L1(Y)(t) =1
2i
a+iai
Y(s)estds
where a is the real part of s = a + ib, which is a complex variable inthe plane. Then we have
y(t) = L1[L(g)
s2 + as + b].
In general, we have a list of Laplace transforms of special functions touse. So we shall invoke to special book on Laplace transforms.
Example. We now compute one example to close this part. Giveny(t) = tn.
Then we have
L(y)(s) =
0
tnestdt.
We do the computation step by step.
L(y)(s) = 1s
0
tnestd(st)
=1
s[n
0
tn1estdt]
= ...
=n!
sn+1.
7/28/2019 Lectures Pdecourse
60/105
60 LI MA
7.2. Fourier transforms.We first introduce the Schwartz space S. We say f is a Schwartz
function on R if f is smooth and for any non-negative integers m, n,
|x|m|f(n)(x)| 0as x . Then the Schwartz space is the space of Schwartz functionon R. Note that C0 (R) is a subspace ofS. The important example isthat the function
gA(x) = eAx2
is in the space of Schwartz space, where A > 0 is a constant. We denoteg(x) = g1(x).
Define the Fourier transform of a Schwartz function. Let f be a
smooth function in S. Define
f() =12
f(x)eixdx,
which is called the Fourier transform (in short, F-transform) of f in
R. Set F(f) = f.Remark: From the definition formula, we see that the Fourier trans-
form makes sense for any function f L1(Rn), that is,Rn
|f(x)|dx < .
From the definition of the F-transform, we can see that the Schwartzspace is the invariant set of F-transform, that is,
F : S S.Example 1: Lets compute the Fourier transform of the function
gA(x) above. By definition,
gA() = 12
eAx
2
eixdx.
Note that
Ax2
ix = A(x +i
2A )
2
2
4A2 ,and
eAx2
dx =
A.
Then we have
gA() = e2
4A22
eAx
2
dx =12A
e2
4A2 .
7/28/2019 Lectures Pdecourse
61/105
EQUATIONS FROM MATHEMATICAL PHYSICS 61
From this we can see that, for A3 = 14
, gA is the eigenfunction of theF-transform.
For t > 0, let A = 14a2t and let g(x, t) = 1a
2te
x2
4a2t . Then
F[g(x, t)]() = ea22t.
We shall use this expression.Example 2: Let
qj(x) =1
2j, f or |x| 1/j, and qj(x) = 0, f or |x| > 1/j.
Then
qj() = 12
2j1/j1/j
eixdx = 12
sinjj
.
Hence,
qj() 0, f or = 0as j , and
qj(0) = 12
.
Given h, 0 = R. Let(hf)(x) = f(x h), (f)(x) = f(x).
Then by definition, we have
(hf)() = ei(h)f()and
(f)() = 1f(/).Hence, for
(g)(x) = e2x2,
we have
g() = 1g(/) = 12
e2
42 .
Given two functions f and g. Define their convolution by
f g(x) =
f(x y)g(y)dy.
7/28/2019 Lectures Pdecourse
62/105
62 LI MA
Then we have
F(f g(x)) =
1
2 f g(x)eixdx= =
12
eixdx
f(x y)g(y)dy
=12
g(y)eiydy
f(x y)ei(xy)dx
=
2f g.The most important property is that the F-transform of the derivativefx is a multiplication:
fx() = if().
This property gives us a chance to define the inverse operator 1x ofx by the definition
1x f() = (i)1f().
Clearly, we have
1x xf = f.
Remark: One may see more interesting properties about Fouriertransforms in the subject called Harmonic/Fourier Analysis, whichis one of the beautiful theory of modern mathematics.
Lets going back. By an elementary computation, we have the fol-
lowing symmetry formula:u(x)g(x)dx =
u(y)g(y)dy.
Define
f() =12
f(x)eixdx,
which is called the inverse Fourier transform of f. In short we writeit by F(f).
By an elementary computation and the symmetry property, we have
Proposition 8.f = f
and
f = f.
Proof. Lets verify the latter equality. In fact, note that
gA(x) 1,
7/28/2019 Lectures Pdecourse
63/105
EQUATIONS FROM MATHEMATICAL PHYSICS 63
as A 0 and
gA() =1
2Ae
2
4A2
20,
as A 0. Then, by symmetry property,
f(0) =12
f()d
=12
limA0
gA()f()d
=12
limA0
gA(y)f(y)dy= f(0).
In general, we let f1(y) = f(y + x). Then
f(x) = f1(0) =12
f1()d = 12
f eixd.
Using this we can prove
Theorem 9. (Plancherel Theorem): Given u S, we have
|u|2dx = |u|2dProof. In fact, using the inverse Fourier transform, we have that
u(x) =12
u(y)eixydy =u(x).
Let g = u in the above equation. So
u = g.
Using the symmetry formula. Then we have
|u|2 = uu = ug = ug = |u|2.
One can define n-dimensional Fourier transform of f in Rn by
f() =1
(
2)n
f(x)eixdx.
7/28/2019 Lectures Pdecourse
64/105
64 LI MA
Here x is the inner product in Rn. The inverse Fourier transform off in Rn is defined by
f() =1
(
2)n
f(x)eixdx.
Similar properties in dimension n are also true for n-dimensionalFourier transforms. In particular, Plancherel Theorem in Rn is true.One important fact lying behind the Fourier transform is that for thelinear operator
A[u] = u
(x),
we have the spectrum property:
A[eix] = ||2eix.
7/28/2019 Lectures Pdecourse
65/105
EQUATIONS FROM MATHEMATICAL PHYSICS 65
7.3. Heisenberg uncertainty principle.For any smooth function u (maybe complex-valued) vanishing at in-
finity with |u|2 = 1,
we have
(
x2|u(x)|2dx)(
2|u|2d) 1
4,
with its equality true only at
u(x) = Aex2
,
where > 0 and A4 = 2/.The inequality above is the so called Heisenberg uncertainty princi-
ple.Proof. Integrating by part, we have
1 =
|u|2 = 2
xu u 2
|x||u||u|.
Using the Cauchy-Schwartz inequality we have (H):
1 4(
x2u2)(
|u|2),
with equality atu
= xu.
The latter condition implies thatu = Aex
2/2.
Using
u2 = 1 we have = 2 and the relation between A and .Note that
|u|2 =
2|u|2.Inserting this into (H), we then get what wanted.
Notice that, as a byproduct, we have
1
2
u2 (
x2u2)1/2(
|u |2)1/2,
for every u C10 (R).There are a lot of applications of Fourier transforms in the various
branches in sciences and technologies. I hope our readers can read morebooks on Fourier transforms and Fourier analysis. Please read as moreas you can.
7/28/2019 Lectures Pdecourse
66/105
66 LI MA
8. lecture eight
8.1. Application of Fourier transforms.First, let us use the F-transform to solve the wave equation
utt = u, on Rn R+
Take F-transform for the variable x on both sides. Then we have
utt(, t) = ||2u(, t).Solving this ODE, we get
u = u(, 0) cos(||t) + ut(, 0) sin(||t)|| .Using the inverse F-transform we find the solution expression:
u(x, t) = F(u(, 0) cos(||t) + ut(, 0) sin(||t)|| ).Set
u(x, 0) = f(x), ut(x, 0) = g(x).
The solution can be written as
u(x, t) =1
(
2)n
(f() cos(||t) + g() sin(||t)|| )e
ixd.
Using the relations
cos(||t) = 12
(ei||t + ei||t)
andsin(||t)
|| =1
2i||(ei||t ei||t),
we have
u(x, t) =1
(
2)n
(f+()e
i(x+||t) + f()ei(x||t))d,
where
f+() =1
2 (f() +1
i|| g())and
f() =1
2(f() 1
i|| g()).Using the similar approach, we can use properties of F-transform to
solve the heat equation
ut = u, on Rn R+
7/28/2019 Lectures Pdecourse
67/105
EQUATIONS FROM MATHEMATICAL PHYSICS 67
Take F-transform for the variable x on both sides. Then we have
ut(, t) =|
|
2u(, t).
This is a first order ode, and we can solve it to get
u = u(, 0)exp(||2t).Using the inverse F-transform we have
u(x, t) = F(u(, 0)exp(||2t)).Let
gt(x) := g(x, t) =1
(2t)n/2e|x|
2/4t.
Thengt() = exp(
||
2t).
Given the initial data u(x, 0) = f(x) in Rn. Let
u(x, t) =1
(
2)nf gt(x).
Let
Ht(x) := H(x, t) =1
(4t)n/2e|x|
2/4t.
Thenu(x, t) = f Ht(x).
Hence, u(, t) = fexp(||2t), and ut(, t) = ||2u(, t). This showsthat u = f Ht is the solution to the heat equation with initial datau(x, 0) = f(x).
7/28/2019 Lectures Pdecourse
68/105
68 LI MA
8.2. Laplace equation in half space.Our problem is to solve the Laplace equation
u = uxx + uyy = 0
on the half space R2+ = {(x, y); y > 0} with boundary conditionu(x, 0) = f(x).
To use the F-transform method, we think of uy(x, 0) = 0. Then wehave
||2u(, y) + uyy(, y) = 0.Solve this and we find
u(, y) = u(, 0)exp(||y) = f()exp(||y).
Define Py(x) = F(exp(| |y))(x).
Then by an elementary computation, we have
Py(x) = F(exp(| |y))(x)
=12
e||y+ixd
=12
0
ey+ixd
+1
2 0
ey+ixd
=12
(1
y + ix+
1
y ix ).This implies that
Py(x) =12
2y
x2 + y2.
Hence
u =12f Py,
and
u(x, y) =
1
2 f Py(x)is the solution wanted for the problem above.
7/28/2019 Lectures Pdecourse
69/105
EQUATIONS FROM MATHEMATICAL PHYSICS 69
8.3. Derivative bound. We ask the following question. Given asmooth function u
S(Rn). Assume the bound M0 of
|u
|and the
bound M2 of |u| on Rn. Can we give a bound of|u| on Rn in termof M0 and M2? We answer this question below.
Letu + u = f , in Rn.
Using the Fourier transform, we get
(||2 + 1)u = f .Then we have
u =1
||2 + 1 f .Define
B2(x) = 1(
2)nF( 1||2 + 1 )(x).
Then we haveu(x) = B2 f(x)
and|u(x)| = |B2 f(x)| | B2| |f|(x).
Using the knowledge from calculus we can show thatRn
|B2|(y)dy := B < .Notice that
|f(y)| max|u| + max|u|,where max means taking maximum value over the domain Rn. Hence,we have
|u(x)| B(max|u| + max|u|).Using the function u(rx) (with r > 0 to be determined) to replace u
in the inequality above, we have
r|u(rx)| B(max|u| + r2max|u|).Since r > 0 can be any positive number, we get
|u(rx)
|2
4B2max
|u
|max
|u
|.
Therefore,
max|u| 2B
max|u|max|u|.
7/28/2019 Lectures Pdecourse
70/105
70 LI MA
9. lecture nine
9.1. Maximum principle (MP) for Laplace operator.The Maximum Principle (MP) is a beautiful property for solutionsto Laplace equations and heat equations. One can use the Maximumprinciple to get uniform bound for a solution and its derivatives.
Consider a smooth solution u to the following elliptic partial differ-ential inequality in a bounded domain D in the plane R2 (IPDE):
uxx + uyy > 0.
Note that there is no maximum point of u in the interior of thedomain D. For otherwise, assume (x0, y0) is and then we have
u(x0, y0) = 0, DTDTu(x0, y0)
0,
for any direction T R2. The latter condition implies that the matrixD2u(x0, y0) is non-positive, that is,
D2u(x0, y0) 0.Hence,
(uxx + uyy)(x0, y0) 0,which contradicts to (IPDE). Therefore, we have
supDu = supDu.
Assume that we only haveuxx + uyy 0
in the domain D. Then we choose
w = u + ex
for small positive constant and large positive constant . Note that
ex > 0.
Then we have
w > 0.
Hence, we have
supDw = supDw.
Sending , we get thatsupDu = supDu.
Clearly, the above argument is true for general domains in Rn. Thisis the maximum principle for elliptic pde of second order.
7/28/2019 Lectures Pdecourse
71/105
EQUATIONS FROM MATHEMATICAL PHYSICS 71
Theorem 10. Maximum Principle. Assumeu is a smooth functionsatisfying
u 0, in D.Then we have
supDu = supDu.
Remark: (1). It is clear from our argument that the function u C2(D) C(D) satisfying
uxxuyy < 0, in D,
can not reaches its maximum in the interior of the domain D. In fact,if it has the maximum point at (x0, y0) in the interior of D, then wehave
uxx 0, uyy 0at (x0, y0). Hence, we have
uxxuyy(x0, y0) 0,a contradiction! This implies that
supDu = supDu.
The same argument applies to the differential inequality:
det(D2u) < 0, in D.
(2). The Maximum principle is true for many nonlinear elliptic andparabolic partial differential equations of second order. It is a basictool in the study of these kinds of pdes.
7/28/2019 Lectures Pdecourse
72/105
72 LI MA
9.2. MP for heat equations 1.Assume that D is a bounded smooth domain in Rn. As before, we
letQ = {(x, t); x D, 0 < t T},
and letpQ = {(x, t) Q; x D, or t = 0}
be the parabolic boundary of the domain Q.We now consider the heat equation (HE):
Lu := ut a2u = f(x, t)on Q. We assume that u C2,1(Q) C(Q) is a solution to (HE). HereC2,1(Q) is the space of continuous functions which have continuous
x-derivatives up to second order and continuous t-derivative.Theorem 11. Assume that u C2,1(Q) C(Q) satisfies Lu 0 onQ. Then we have
maxQu(x, t) = maxpQu(x, t).
Proof. We first assume that Lu(x, t) < 0 in Q. Assume that there isan interior point (x0, t0) Q such that
u(x0, t0) = maxQu(x, t).
Then we have at the point (x0, t0), u = 0, D2xu 0, and ut 0. Thisimplies that u(x0, t0)
0 and
Lu(x0, t0) 0,a contradiction. Hence, u can not have an interior maximum point andthen
maxQu(x, t) = maxpQu(x, t).
For general case when
Lu(x, t) 0, (x, t) Q,we let, for > 0,
v(x, t) = u(x, t) t.Then
Lv(x, t) = Lu(x, t) < 0, (x, t) Q.Then we can use the result above to v(x, t) to get
maxQv(x, t) = maxpQv(x, t).
Note thatmaxQu(x, t) maxQv(x, t)
andmaxpQv(x, t) maxpQu(x, t) + T.
7/28/2019 Lectures Pdecourse
73/105
EQUATIONS FROM MATHEMATICAL PHYSICS 73
Sending 0, we getmax
Qu(x, t)
max
pQu(x, t).
However, since pQ Q, we havemaxQu(x, t) maxpQu(x, t).
Hence,maxQu(x, t) = maxpQu(x, t).
We are done.
Lets consider an easy application of the maximum principle.
Theorem 12. Given f C(Q) with F := maxQ|f|. Assume thatu
C2,1(Q)
C(Q) satisfies
Lu = f(x, t), (x, t) Qwith u(x, t) = (x, t) on pQ. Then we have
maxQu(x, t) = F T + maxpQ|(x, t)|.Proof. Denote by
B = maxpQ|(x, t)|.Consider the function w(x, t) defined by
w(x, t) = F t + B u(x, t).Then
Lw = F f 0, o n Qand on pQ,
w 0.By the Maximum principle above, we have
w(x, t) 0, (x, t) Q,which implies the conclusion wanted.
7/28/2019 Lectures Pdecourse
74/105
74 LI MA
9.3. MP for heat equations 2.We show in this subsection that the maximum principle cab be
proved to be true for the heat equation by another method.
Theorem 13. Given a bounded continuous functiong(x) on the smoothbounded domain D Rn. Let u = u(x, t) be a non-trivial smoothsolution in C(D) to the heat equation (HE):
ut = u, on D [0, T)with initial and boundary conditions
u(x, 0) = g(x), x D; u(x, t) = 0, D [0, T)where D is a bounded piece-wise smooth domain in Rn. Then,
maxxD |u(x, t)|is a monotone decreasing function of t.
Proof. Consider a new function defined by
Jk(t) =
D
|u|2kdx.
Recall that, for each t,
M(t) := supxD|u(x, t)| = limk+
Jk(t)1/2k.
First, we note that
inflimJk(t)1/2k suplimJk(t)1/2k M(t).
So we only need to show that
M(t) inflimJk(t)1/2k.In fact, For fixed t, since u is a bounded continuous function in D, wehave a sub-domain Q D such that on Q ,
M(t) |u(x, t)|Hence
(M(t)
)
|Q
|1/2k
Jk(t)
1/2k
M(t)
|D
|1/2k
Sending k +, we have(M(t) ) inflimJk(t)1/2k suplimJk(t)1/2k M(t).
Since > 0 can be any small constant, we get
limk+Jk(t) M(t).We remark that the last inequality is also true for any bounded con-tinuous function defined on a unbounded domain D.
7/28/2019 Lectures Pdecourse
75/105
EQUATIONS FROM MATHEMATICAL PHYSICS 75
Note thatdJk
dt = 2k u2k1ut = 2k u2k1u.By using integration by part, we have
dJkdt
= 2k(2k 1)
u2k2|u|2 < 0.Hence Jk(t) is a monotone decreasing function of t. Therefore,
maxxD
|u(x, t)|is a monotone decreasing function of t too.
Remark 1. If we assume u 0 in Q satisfiesut u, in Q.
The same conclusion as in the theorem above is also true.Remark 2.Given a constant A > 0. If we assume u 0 in Q satisfies
ut a2u Au, in Q.Then, arguing as before, we have
Jk(t) Jk(0)e2kAt,which implies that
M(t)
M(0)e2at.
Remark 3. Note that for any bounded continuous function f definedon a unbounded domain D with
D
|f|pdx < for some p > 0, we stillhave
M := supD|f(x)| = limk
(
D
|f|kdx)1/k.According to the remark made in the proof of the theorem above, weonly need to prove that
suplimk(D
|f|kdx)1/k M.However, it is almost trivial since
suplimk(D
|f|kdx)1/k suplimk(Mkp D
|f|pdx)1/k = M.With an easy modification, we can extend the above theorem into
unbounded domain D. We omit the detail.
7/28/2019 Lectures Pdecourse
76/105
76 LI MA
10. lecture ten
10.1. Variational principle.Variational principle is a important tool in sciences. One of thebeautiful result in the calculus of variations is the Noether principle,which can not be presented here. We can only touch the the conceptof variational structure. We discuss the variational method for Laplaceequation in a region of dimension two.
Given a bounded domain D Rn. We introduce the Dirichlet energy(so called the variational structure)
I(u) =
D
|u|2dx,
for any smooth function u : D R with fixed boundary valueu(x) = (x), x D.
We denote A by such a class of functions. We look for a function w Asuch that
I(w) = infuAI(u).
Assume such a function w exists. Then for every C10 (D), we havew + t A
for every t R. So we have, for all t R,
I(w) I(w + t)and then
d
dtI(w + t)|t=0 = 0.
Note that
I(w + t) =
[|w|2 + 2tw + t2||2].
Hence,d
dtI(w + t)|t=0 = 2
w = 0.
Assume that w C2. Then using integration by part, we have(w) = 0.
Since can be any testing function in C10 (D), we get the Euler-Lagrangeequation for the functional I(), by the variational lemma (see ourtextbook [1]), that
w = 0, in D,
7/28/2019 Lectures Pdecourse
77/105
EQUATIONS FROM MATHEMATICAL PHYSICS 77
with the boundary condition w = on D. This is the famous Dirichletproblem in the history. The recent study is about the obstacle problem
for harmonic functions.Remark: We mention that the existence of the infimum w can be
proved by using the Hilbert space theory, which is a beautiful part ofthe course Functional Analysis. It will be really helpful for readersto know some knowledge about Sobolev spaces. Here are some simplefacts about it. Let I = [a, b]. We consider L2(I) as the completion ofthe space C0 (I) with respect to the norm
|f| = (I
|f(x)|2dx)1/2.
In the other word, the element f (which will be called a L2-function)
in L2(I) is defined by a Cauchy sequence {fk} C0 (I), i.e.,|fk fj| 0
as k, j . We say that the element f L2(I) has derivativeg L2(I) if there is a Cauchy sequence {fk} C0 (I) such that
fk f, and (fk)x gin L2. If this is true, we often call g the strong derivative of f anddenote by g = fx. Then is easy to see that the integration by partformula
If xdx = Igdx,for all C0 (I), is true. People often use this formula to define theweak derivative off. It can be showed that the strong derivative is thesame weak derivative. Furthermore, one can show that both definitionsare equivalent each other. Hence, we simply call g the derivative of f.We denote by H10 (I) the Sobolev space which consists of L
2 functionswith derivatives. For f, h H10 (I), we define
(f, h) =
I
fxhxdx.
Then one can show that (
,
) is an inner product on H10 (I), and H
10 (I)
is a Hilbert space.
7/28/2019 Lectures Pdecourse
78/105
78 LI MA
10.2. Some comments on Nonlinear evolution problem.In some sense, we try to give a few comments about recent research
directions in the study of non-linear PDE. We assume in this sectionthat readers know the Banach fixed point theorem. We recall the FixedPoint Theorem: Let E be a Banach space and let B E be a closedconvex subset. Let f : B B be contraction mapping, i.e., there is apositive constant (0, 1) such that
|f(x) f(y)| |x y|.Then there is a fixed point x B of f, i.e., f(x) = x. Here | | isthe norm of E.
One often use Fixed Point Theorem to get the local existence ofsolutions to non-linear evolution problem. Lets see a little more. We
study the evolution problem of type
ut = u + F(u)
orutt = u + F(u)
in Rn with nice initial data. Using the Duhamel principle, we canreduce the problem into the form:
u = S(t)(u0) +
t0
S(t )F(u)d := f(u).
Here S(t)(u0) is the solution to the problem with F = 0. Let
B = BR(S(t)(u0)).
We have to show that for small R and T, the mapping f satisfies
f : B B,i.e., B is an invariant set of f and f is a contraction, that is, thereexists a positive constant (0, 1) such that |f(x) f(y)| |x y|for all x, y B. Generally speaking, to make f : B B, we need totake E to be defined by the energy method such that E is a Banachalgebra. Then we can use the interpolation inequality method to showthat f is in fact a contraction mapping.
The interesting feature in non-linear problems is that there is a blowup phenomenon. We show some simple examples below.
Example One: Consider the ODE
ut = u2,
with the initial data u(0) = a > 0. It is easy to see that the solution is
u(t) =a
1 ta ,
7/28/2019 Lectures Pdecourse
79/105
EQUATIONS FROM MATHEMATICAL PHYSICS 79
which goes to infinity as t 1a
+. This is the blow up property of the
ODE.
For a non-linear evolution PDE, we can study the blow up propertyby introducing some monotone or concave function A(t) defined by theintegration like
p(t) = minDu(x, t)
or
p(t) :=
(x)u(x, t)k
or
p(t) :=
(x)|xu(x, t)|k,
where k is an integer, (x) > 0 is a solution of some elliptic equation.We can show that p(t) will satisfies some differential inequality, whichmakes p(t) go to negative as t +. This is absurd since p(t) > 0for all t. This gives us the blow up property.
Example Two: We consider the following nonlinear parabolic equa-tion
ut = u + u2, (x, t) [0, 2] [0, T)
with the non-trivial initial data
u(x, 0) = (x) > 0
and the boundary data u(x, t) = u(x + 2, t) for x [0, 2]. Letp(t) = minx[0,2]u(x, t).
Then we havep
(t) p(t)2.This gives us that
p(t) a1 ta
for a = minx[0,2](x) > 0 and u has to blow up to + in finite timebefore a1.
Example Three: Given a constant 14
. We consider the followingnonlinear parabolic equation
ut = u + u2 + u, (x, t) [0, 2] [0, T)
with the non-trivial initial data
u(x, 0) = (x) > 0, x [0, 2]and the boundary data u(0, t) = 0 = u(2, t) for x [0, 2]. By theMaximum principle, we have
u(x, t) > 0, x [0, 2] {t > 0}.
7/28/2019 Lectures Pdecourse
80/105
80 LI MA
Choose C = 14
such that
C20
sin( x2 ) = 1.
Let
p(t) = C
20
sin(x
2)u(x, t)dx.
Then, we have
p
= C
20
sin(x
2)ut
= C
20
sin(x
2)u + C
20
sin(x
2)u2 + p(t)
= C2
0
sin(x
2)u2 + ( 1
4)p(t)
p(t)2.This gives us the blow up as before in finite time.
Very recently, we have used similar idea to prove the long standingconjecture on non-linear Schrodinger equation on compact Riemannianmanifolds.
7/28/2019 Lectures Pdecourse
81/105
EQUATIONS FROM MATHEMATICAL PHYSICS 81
10.3. Nonlinear PDE of first order.This is a fun model for non-linear pde of first order.
Let us first consider a nice example:
u2x + u2y = 1,
which is called the eikonal equation. Introduce the curve (x(t), y(t))by
dx
dt= ux,
dy
dt= uy.
Then by the equation, we have
(dx
dt)2 + (
dy
dt)2 = 1.
This implies that t is the arc-length parameter for the curve. Doingdifferentiation to the eikonal equation, we have
uxuxx + uyuyx = 0.
Hence along the curve,
d2x
dt2= uxx
dx
dt+ uxy
dy
dt= 0.
Similarly, we haved2y
dt2= 0.
This says that the curve is a straight line, saying,
x(t) = at + c, y(t) = bt + d, a2 + b2 = 1.
Then we have the simple equation:
ux = a, uy = b.
Sou = ax + by + C,
with a2 + b2 = 1.We now give some material for ambitious readers (who may see [2] for
more). We consider the first order PDE of the following form (FPDE):
i
Ai(x, u)uxi = B(x, u).
We look at the graphz = u(x).
Then the PDE says that the normal vector (u, 1) of the graph isorthogonal to the vector field
(A1(x, z),...,An(x, z), B(x, z)).
7/28/2019 Lectures Pdecourse
82/105
82 LI MA
This suggests us that the characteristic curve (x(t), z(t)) should satisfy
dxi
dt = Ai(x, z),
dz
dt = B(x, z).
If we can solve this system starting from a given surface (x(s), z(s)),s , of dimension n 1 to get a solution x = x(s, t), z = z(s, t).If we solve the equation x(s, t) = x for (s = x(x), t = t(x)), thenu = z(s(x), t(x)) is the solution to (FPDE).
For more, please look at the great book of D.Hilbert and R. Courant[2].
7/28/2019 Lectures Pdecourse
83/105
EQUATIONS FROM MATHEMATICAL PHYSICS 83
11. Appendix A
One may consider this section as a last one to our course. We havethree parts. One is for the variational lemma. Another is about themethod of separation of variables. The other is about some open prob-lems in PDEs. Our readers may do research for these problems in thefuture.
11.1. Variational lemma.
Lemma 14. Let f C0(D) for a bounded domain in Rn. Assumethat
D
f(x)(x)dx = 0
for every C0 (D). Then f = 0.Proof. We argue by contradiction. Assume that there is a point x0 Dsuch that f(x0) = 0. Then we may assume that f(x0) > 0 and there isa small ball B(x0) such that f(x) = 0 for every x B(x0). Take
(x) = (|x x0|)where
(r) = e 1
1r2 , 0 r < and (r) = 0 for all r . Note that (|x x0|) C0 (D), and
f(x)(|x x0|) > 0, i n B(x0).Hence,
D
f(x)(x)dx =
C0 (D)
f(x)(|x x0|) > 0.
This gives a contradiction to our assumption of our lemma. Therefore,the lemma is true.
Example. Assume that u = u(t) C20 [0, L]. Define
F(u) = L
0
(1
2 |u
|2
1
3
u3
g(t)u(t))dt,
where g(t) is a given continuous function on [0, L]. Then, ifF(u) = 0,u satisfies
u = u(t)2 + g(t).In fact, by definition,
0 =< F(u), >=
L0
(u u2 g)dt
7/28/2019 Lectures Pdecourse
84/105
84 LI MA
for all C0 (0, L). Integrating by part, we get
0 = L0
(u u2 g)dt.By variational lemma, we know that
u + u2 + g = 0,
which is equivalent to our equation above.
Recommended