PDE Notes
PDE Notes
Contents
1 Introduction 2
3 Fourier series 5
3.1 Evolution equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.2 Fourier series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.3 Convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.3.1 Pointwise convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.3.2 Uniform convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.4 Change of scale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4 Separation of variables 8
4.1 The heat equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.2 Boundary conditions on the wave equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4.3 Planar Laplace equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4.3.1 Laplace equation on a disk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.3.2 Average and maximum principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.4 Classification of PDEs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
5 Generalized functions 12
5.1 Dirac delta ”function” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
5.1.1 Generalized derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
5.1.2 Fourier series of the delta function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
5.2 Green’s functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
5.2.1 1-dimensional boundary value problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
5.2.2 Line integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
5.2.3 2-dimensional boundary value problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
6 Fourier transforms 17
6.1 Fourier transforms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
6.2 Properties of Fourier transforms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
6.2.1 Algebraic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
6.2.2 Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
6.2.3 Some ”illegal” examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
6.3 Convolutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6.4 Table of Fourier transforms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6.5 Fundamental solution of the heat equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6.5.1 Maximum principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
7 Nonlinear PDEs 21
7.1 Nonlinear transport equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
7.2 Nonlinear diffusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
7.3 Dispersion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 2 LINEAR AND NONLINEAR WAVES
1 Introduction
Notation
∂u ∂2u ∂ ∂
ut := uxx := uxy = u
∂t ∂x2 ∂x ∂y
Theorem
If up is a solution to L[u] = f , then all solutions of L[u] = f are of the form u = un + up where L[uh ] = 0.
Theorem
For a C 1 function f : R → R the initial value problem
∂u ∂u
+c =0 u(0, x) = f (x)
∂t ∂x
has solution u(t, x) = f (x − ct).
This solution u is a travelling wave with velocity c, and is constant along characteristic lines x = ct + k, k ∈ R
Corollary
The initial value problem
∂u ∂u
+c + au = 0 u(0, x) = f (x)
∂t ∂x
has solution u(t, x) = f (x − ct)e−at . Note: u is not constant along characteristic lines.
∂x
Properties of the equation ∂t = c(x)
Proposition
A solution u : R2 → R of (∗) is constant along characteristic curves.
Corollary
A solution u : R2 → R of (∗), is of the form
Corollary
If a characteristic curve passes through (t, x) and (0, y), then u(t, x) = f (y).
2.2 The wave equation 4 2 LINEAR AND NONLINEAR WAVES
∂2 ∂2
□= 2
− c2 2 c>0
∂t ∂x
The 1-dimensional wave equation is given by
∂u2 ∂u2
□u = 0 ⇐⇒ 2
= c2 2
∂t ∂x
Proposition
The solution of the initial value problem:
∂u
□u = F (t, x) u(0, x) = 0 (0, x) = 0
∂t
is given by
ˆ tˆ x+c(t−s)
1
u(t, x) = F (s, y) dy ds
2c 0 x−c(t−s)
Corollary
The solution of the initial value problem:
∂u
□u = F (t, x) u(0, x) = f (x) (0, x) = g(x)
∂t
is given by
ˆ x+ct ˆ tˆ x+c(t−s)
f (x − ct) + f (x + ct) 1 1
u(t, x) = + g(z) dz + F (s, y) dy ds
2 2c x−ct 2c 0 x−c(t−s)
5 3 FOURIER SERIES
3 Fourier series
3.1 Evolution equations
Definition Linear evolution equation
A linear evolution equation is of the form
∂u
= L[u]
∂t
where the operator L satisfies
∂u
= L[u] ⇐⇒ λv = L[v]
∂t
v is called an eigenfunction corresponding to the eigenvalue λ.
Definition L2 (−π, π)
L2 (−π, π) is the completion of the inner product space
ˆ π
{f : [−π, π] → C : f is continuous } ⟨f, g⟩ = f (x)g(x) dx
−π
Proposition
The functions {1, sin(x), cos(x), sin(2x), cos(2x), . . .} for k ∈ N form an orthogonal basis for L2 .
The same is true for the functions {eikx : k ∈ Z}.
ˆ π 1/2
2 2
The Fourier series converges with respect to the L norm: lim |f (x) − sn (x)| dx =0
n→∞ −π
3.3 Convergence 6 3 FOURIER SERIES
Lemma
ak → 0 and bk → 0 as k → ∞.
3.3 Convergence
3.3.1 Pointwise convergence
for all ε > 0 there exists δ > 0 such that a − δ < x < a =⇒ |f (x) − L| < ε
for all ε > 0 there exists δ > 0 such that a < x < a + δ =⇒ |f (x) − R| < ε
2M 2M
|ak | ≤ |bk | ≤ for all k ∈ N
kn kn
Theorem
Let f : [−π, π] → R have Fourier coefficients ak and bk , and
∞
X
k n (|ak | + |bk |) < ∞
k=1
ˆ ℓ ˆ ℓ
1 kπx 1 kπx
ak = f (x) cos dx bk = f (x) sin dx
ℓ −ℓ ℓ ℓ −ℓ ℓ
If f (x) is odd, then ak = 0, and so f (x) can be represented by a Fourier sine series
∞ ˆ π
X 2
f (x) ∼ bk sin kx bk = f (x) sin(kx) dx
π 0
k=1
8 4 SEPARATION OF VARIABLES
4 Separation of variables
4.1 The heat equation
Derivation of the heat equation
We have the following physical quantities and material properties:
• ε(t, x) = thermal energy densitiy
• w(t, x) = heat flux
• ρ(x) = mass density
• χ(x) = specific heat
• κ(x) = thermal conductivity
Conservation law: ˆ b
∂ε ∂w d
+ = 0 =⇒ ε(t, x) dx = w(t, a) − w(t, b)
∂t ∂x dt a
Constitutive assumption:
ε(t, x) = ρ(x)χ(x)u(t, x)
Fourier’s law of cooling:
∂u
w(t, x) = −κ(x)
∂x
Solution method
For a ≤ x ≤ b and t ≥ 0, consider
∂u ∂2u
=γ 2 u(0, x) = f (x) + homogeneous boundary conditions
∂t ∂x
The educated guess u(t, x) = eλt v(x) gives
• λ = 0 =⇒ v(x) = A + Bx
• λ < 0 =⇒ v(x) = A cos( −λ/γx) + B sin( −λ/γx)
p p
Assume that the homogeneous boundary value problem only has the trivial solution:
f = 0 =⇒ v = 0
Then the boundary value problem has a Green’s function G : [a, b] × [a, b] → R such that
ˆ b
v(x) = G(x; ξ)f (ξ) dξ
a
u(t, 0) = u(t, ℓ) = 0
ˆ ℓ ˆ ℓ
2 kπx 2 kπx
ak = f (x) sin dx bk = g(x) sin dx
ℓ 0 ℓ kπc 0 ℓ
∂2 ∂2
∆= 2
+ 2
∂x ∂y
∆u = 0 on Ω u = h on ∂Ω
Note that we can also replace the Dirichlet boundary condition with a different one.
4.3 Planar Laplace equations 11 4 SEPARATION OF VARIABLES
We replace every occurrence of x and y by r cos θ and r sin θ respectively. This gives the following polar equation:
∂ 2 u 1 ∂u 1 ∂2u
∆u = 2
+ + 2 2 =0 u(1, θ) = h(θ)
∂r r ∂r r ∂ θ
Superposition of solutions without singularities at r = 0 gives:
ˆ π ∞
" #
1 1 X k
u(r, θ) = h(ϕ) + r cos(k(θ − ϕ)) dϕ
π −π 2
k=1
In particular, ˆ π
1
u(0, θ) = h(ϕ) dϕ = average value of h
2π −π
then we have ˛ ˆ π
1 1
u(a, b) = u ds = u(a + ρ cos θ, b + ρ sin θ) dθ
2πρ ∂D 2π −π
Corollary
Poisson’s equation with Dirichlet conditions
−∆u = f on Ω u = h on ∂Ω
∆ = B 2 − 4AC
5 Generalized functions
5.1 Dirac delta ”function”
Lemma
Define: (
1
n if |x| ≤ 2n n 2 2
rn (x) = fn (x) = √ e−n x
0 otherwise π
If u is continuous and a < 0 < b then ˆ b
lim rn (x)u(x) dx = u(0)
n→∞ a
If u is continuous and bounded, then for all ξ ∈ R we have
ˆ ∞
lim fn (x − ξ)u(x) dx = u(ξ)
n→∞ −∞
5.1 Dirac delta ”function” 13 5 GENERALIZED FUNCTIONS
Lemma
Any continuous function f is a ”superposition” of delta functions:
ˆ ∞
f (x) = f (ξ)δ(x − ξ)dξ
−∞
r := f (ξ + ) − f (ξ − ) ̸= 0
rδ(x − ξ)
Variation of parameters
For a particular solution, try the ansatz up = c1 u1 + c2 u2 , where c1 , c2 depend on x.
By the product rule, we have
u′p = c1 u′1 + c2 u′2 + c′1 u1 + c′2 u2
We then take a second ansatz: c′1 u1 + c′2 u2 = 0. Then we have:
u′p = c1 u′1 + c2 u′2 u′′p = c1 u′′1 + c2 u′′2 + c′1 u′1 + c′2 u′2
Since u1 and c2 are solutions of the homogeneous equation, we get the following expression for f
u1 u2 c′1
′′ ′ ′ ′ ′ ′ ′ ′ ′ ′ f 0
f = pup + qup + rup = p(c1 u1 + c2 u2 ) =⇒ c1 u1 + c2 u2 = =⇒ =
p u′1 u′2 c′2 f /p
Proposition
A particular solution to
p(x)u′′ + q(x)u′ + r(x)u = f (x)
is given by ˆ ˆ
u2 (x)f (x) u1 (x)f (x)
up (x) = −u1 (x) dx + u2 (x) dx
W (x)p(x) W (x)p(x)
where u1 , u2 are solutions to the homogeneous case.
Definition G0
1 1
G0 (x, y, ξ, η) = −
log ∥(x, y) − (ξ, η)∥ = − log[(x − ξ)2 + (y − η)2 ]
2π 4π
From now on, consider (x, y) fixed and (ξ, η) variable.
Lemma
1 ∂G0 1
G0 (x, y, ξ, η) = − log r (x, y, ξ, η) = − for all (ξ, η) ∈ Cr
2π ∂n 2πr
Definition G
G = G0 + z ∆z = 0 on Ω z = −G0 on ∂Ω
Corollary
If u is a solution of
∆u = 0 on Ω u = h on ∂Ω
Then we have the representation formula
ˆ
∂G
u(x, y) = − h ds
∂Ω ∂n
Theorem
If u is a solution of
−∆u = f on Ω u = 0 on ∂Ω
Then we have the representation formula
¨
u(x, y) = f (ξ, η)G(x, y, ξ, η) dξ dη
Ω
17 6 FOURIER TRANSFORMS
6 Fourier transforms
6.1 Fourier transforms
Definition L1
ˆ ∞
1
L (R) = f :R→C: |f (x)| dx < ∞
−∞
Theorem
If f ∈ L1 is piecewise C 1 , then
f (x+ ) + f (x− )
F −1 [F[f (x)]] =
2
Lemma
The Fourier transform is linear.
Lemma
If f is real and even, then fb is real and even.
If f is real and odd, then fb is purely imaginary and odd.
6.2 Properties of Fourier transforms 18 6 FOURIER TRANSFORMS
6.2.2 Derivatives
Lemma
If f ∈ L1 (R) is C 1 and lim f (x) = 0, then
|x|→∞
(f
d ′ )(k) = ik fb(k)
Lemma
If f, xf ∈ L1 (R), then
F[xf (x)] = i(fb)′ (k)
Note
These two properties can be used to solve ODEs and PDEs, namely by applying a Fourier transform to the entire
equation. Examples can be found at the end of the Lecture 10 slides.
Sign function
1
if x > 0 r
21
sign(x) = 0 if x = 0 F[sign(x)] = −i
πk
−1 if x < 0
Step function
1
if x > 0 r
π i
1
σ(x) = if x = 0 F[σ(x)] = δ(k) − √
2 2 2πk
0 if x < 0
( √
−i 2πe(−b+ai)x (1 − σ(x)) if b < 0
r
−1 1 π iax −1 1
F =i e sign(x) if a ∈ R F = √
k−a 2 k − (a + bi) i 2πe(−b+ai)x σ(x) if b > 0
6.3 Convolutions 19 6 FOURIER TRANSFORMS
6.3 Convolutions
Definition Convolution product
ˆ ∞
(f ∗ g)(x) = f (x − ξ)g(ξ) dξ
−∞
∂u ∂2u
= γ 2 + h(t, x) t>0 −∞<x<∞ u(0, x) = f (x)
∂t ∂x
We can split it into two problems as follows:
∂v ∂2v ∂w ∂2w
=γ 2 v(0, x) = f (x) = γ 2 + h(t, x) w(0, x) = 0
∂t ∂x ∂t ∂x
and then obtain the solutions by doing Fourier transforms.
6.5 Fundamental solution of the heat equation 20 6 FOURIER TRANSFORMS
Unforced equation
In the case f (x) = δ(x − ξ) we have the following fundamental solution for the v problem:
1 2
F (t, x; ξ) = √ e−(x−ξ) /4γt
2 πγt
Let F0 (t, x) = F (t, x; 0). For general f , we have the following solution
Forced equation
In the case h(t, x) = δ(t − τ )δ(x − ξ) we have the following fundamental solution for the w problem:
σ(t − τ ) (x−ξ)2
G(t, x; τ, ξ) = p e− 4γ(t−τ ) = σ(t − τ )F (t − τ, x; ξ)
2 πγ(t − τ )
∂u ∂2u
= γ 2 + h(t, x)
∂t ∂x
Then the maximum of u on R is attained on the set B.
Corollary
Assume that u satisfies
∂u ∂2u
=γ 2
∂t ∂x
and define
m = min{u(t, x) : (t, x) ∈ B} M = max{u(t, x) : (t, x) ∈ B}
Then for all (t, x) ∈ R, we have
m ≤ u(t, x) ≤ M
Theorem
The problem
∂u ∂2u
= γ 2 + h(t, x)
∂t ∂x
with initial condition and Dirichlet boundary conditions at x = a, b has at most 1 solution.
21 7 NONLINEAR PDES
7 Nonlinear PDEs
7.1 Nonlinear transport equation
Note
Nonlinear PDEs do not satisfy the superposition principle.
Proposition
A solution u of the nonlinear transport equation is constant along characteristic curves.
ae(b−a)(x−ct−δ)/(2γ) + b
u(t, x) =
e(b−a)(x−ct−δ)/(2γ) + 1
∂ vx (t, x)
u(t, x) = [−2γ log v(t, x)] = −2γ
∂x v(t, x)
7.3 Dispersion
Dispersive wave equation with boundary conditions
∂u ∂ 3 u
+ =0 t>0 −π <x<π u(0, x) = f (x)
∂t ∂x3
u(t, −π) = u(t, π) ux (t, −π) = ux (t, π) uxx (t, −π) = uxx (t, π)
We have the following Fourier series solution:
∞ ˆ π
X
i(kx+k3 t) 1
u(t, x) = ck (0)e ck (0) = f (x)e−ikx dx
2π −π
k=−∞
u(t, x) = v(ξ) = v(x − ct) lim v(ξ) = 0 lim v ′ (ξ) = 0 lim v ′′ (ξ) = 0
ξ→±∞ ξ→±∞ ξ→±∞
1√
2
u(t, x) = 3c sech2 c(x − ct) + δ sech(y) =
2 e−y + ey
Index
1-dimensional heat equation, 8 image point, 17
Implicit expression for u, 21
Average principle, 11 inhomogeneous linear PDE, 2
initial value problem, 3
Boundary conditions, 10 inner product, 5
inverse Fourier transform, 17
Change of scale (complex), 7
Change of scale (real), 7 Korteweg-de Vries equation, 22
characteristic curve, 3
Characteristic curves, 21 Laplace operator, 10
characteristic lines, 3 Left-hand and right-hand limits, 6
characteristic variable, 2 line integral, 15
classical solution, 2 linear differential operator, 2
Classification of characteristic curves, 3 linear evolution equation, 5
Classification of PDEs, 12 Linearized Korteweg-de Vries equation, 22
Complex Fourier series, 6
Conservation law, 8 Maximum principle, 11, 20
Constitutive assumption, 8 Method of images, 17
Convergence rate, 7
Neumann condition, 8
d’Alembert’s formula, 4, 10
Dirac comb, 13 odd periodic extension, 10
Dirac delta function, 13 orthonormal basis, 5
Dirichlet condition, 8
parabolic PDE, 12
discriminant, 12
periodic boundary conditions, 8
Dispersive wave equation with boundary conditions,
Periodic extensions, 6
22
piecewise C 1 , 6
eigenfunction, 5 piecewise continuous, 6
eigenvalue, 5 Pointwise convergence of Fourier series, 6
elliptic PDE, 12 Poisson’s equation, 12
Poisson’s formula, 11
Fourier cosine series, 7 Properties of convolutions, 19
Fourier integral representation, 17
Fourier series, 5 Ramp function, 13
Fourier series of even and odd functions, 7 Representation formula, 16
Fourier sine series, 7 Robin condition, 8
Fourier transform, 17
singular PDE, 12
Fourier transform of dilations, 18
Solution of Burgers’ equation with initial condition,
Fourier transform of translations, 18
21
Fourier’s law of cooling, 8
Solutions of the wave equation, 4
fundamental solution, 20
Spectral theorem for compact operators, 10
Stationary transport, 2
General solution of a 2nd-order ODE, 14
Superposition principle, 2
Green’s first identity, 16
Symmetry principle, 18
Green’s function, 9, 15
Green’s function for u′′ (x) = f (x), 14 Table of Fourier transforms, 19
Green’s identities, 16
Green’s second identity, 16 Uniform convergence of Fourier series, 7
Green’s theorem, 15 Uniform transport, 2
Unit step function, 13
harmonic, 10
homogeneous boundary conditions, 8 Variation of parameters, 14
homogeneous linear PDE, 2
Homogenisation trick (Dirichlet condition), 8 Wave equation, 10
Homogenisation trick (Neumann condition), 9 wave equation, 4
Hopf-Cole transformation, 21 wave operator, 4
hyperbolic PDE, 12 Wronskian determinant, 14
23