Professional Documents
Culture Documents
MSO-203-B
T. Muthukumar
tmk@iitk.ac.in
1 First Week
Lecture One
Lecture Two
Lecture Three
Lecture Four
2 Second Week
Lecture Five
Lecture Six
3 Third Week
Lecture Seven
Lecture Eight
4 Fourth Week
Lecture Nine
Lecture Ten
Lecture Eleven
Lecture Twelve
5 Fifth Week
Lecture Thirteen
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 1 / 193
Lecture Fourteen
Lecture Fifteen
6 Sixth Week
Lecture Sixteen
Lecture Seventeen
Lecture Eighteen
7 Seventh Week
Lecture Nineteen
Lecture Twenty
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 2 / 193
Raison d’être
∂ξ u(x) = ∇u(x) · ξ.
Multi-Index Notations
α ∂ α1 ∂ αn ∂ |α|
∂ = ... = .
∂x1 α1 ∂xn αn ∂x1 α1 . . . ∂xn αn
If |α| = 0, then ∂ α f = f .
For each k ∈ N, D k u(x) := {∂ α u(x) | |α| = k}.
The case k = 1 is the gradient vector,
∇u(x) := D 1 u(x)
(1,0,...,0) (0,1,0,...,0) (0,0,...,0,1)
= ∂ u(x), ∂ u(x), . . . , ∂ u(x)
∂u(x) ∂u(x) ∂u(x)
= , ,..., .
∂x1 ∂x2 ∂xn
Example
Let u(x, y ) : R2 → R be defined as u(x, y ) = ax 2 + by 2 . Then
and
uxx uyx 2a 0
D 2u = = .
uxy uyy 0 2b
2
Observe that ∇u : R2 → R2 and D 2 u : R2 → R4 = R2 .
k k−1
for each x ∈ Ω, where F : Rn × Rn × . . . × Rn × R × Ω → R is a given
map such that F depends, at least, on one k-th partial derivative u and is
independent of (k + j)-th partial derivatives of u for all j ∈ N.
The level of difficulty in solving a PDE may depend on its order k and
linearity of F .
Definition
A k-th order PDE is linear if F in (1.1) has the form
Fu := Lu − f (x)
where Lu(x) := |α|≤k aα (x)∂ α u(x) for given functions f and aα ’s. In
P
addition, if f ≡ 0 then the PDE is linear and homogeneous.
Example
(i) xuy − yux = u is linear and homogeneous.
(ii) xux + yuy = x 2 + y 2 is linear.
(iii) utt − c 2 uxx = f (x, t) is linear.
(iv) y 2 uxx + xuyy = 0 is linear and homogeneous.
Definition
A k-th order PDE is semilinear if F is linear only in the highest (k-th)
order, i.e., F has the form
X
aα (x)∂ α u(x) + f (D k−1 u(x), . . . , Du(x), u(x), x) = 0.
|α|=k
Example
(i) ux + uy − u 2 = 0 is semilinear.
(ii) ut + uux + uxxx = 0 is semilinear.
2 +u
utt
(iii)
xxxx = 0 is semilinear.
Definition
A k-th order PDE is quasilinear if F has the form
X
aα (D k−1 u(x), . . . , u(x), x)∂ α u + f (D k−1 u(x), . . . , u(x), x) = 0,
|α|=k
i.e., the coefficient of its highest (k-th) order derivative depends on u and
its derivative only upto the previous (k − 1)-th orders.
Example
(i) ux + uuy − u 2 = 0 is quasilinear.
(ii) uux + uy = 2 is quasilinear.
Definition
A k-th order PDE is fully nonlinear if it depends nonlinearly on the highest
(k-th) order derivatives.
Example
(i) ux uy − u = 0 is nonlinear.
(ii) ux2 + uy2 = 1 is nonlinear.
Definition
We say u : Ω → R is a solution to the PDE (1.1), if ∂ α u exists for all α
explicitly present in (1.1) and u satisfies the equation (1.1).
Example
Consider the first order equation ux (x, y ) = 0 in R2 .Freezing the
y -variable, the PDE can be viewed as an ODE in x-variable. On
integrating both sides with respect to x, u(x, y ) = f (y ) for any arbitrary
function f : R → R.Therefore, for every choice of f : R → R, there is a
solution u of the PDE.Note that the solution u is not necessarily in
C 1 (R2 ), in contrast to the situation in ODE. By choosing a discontinuous
function f , one obtains a solution which is discontinuous in the
y -direction.Similarly, a solution of uy (x, y ) = 0 is u(x, y ) = f (x) for any
choice of f : R → R (not necessarily continuous).
Solution of PDE
Example
Consider the first order equation ut (x, t) = u(x, t) in R × (0, ∞) such that
u(x, t) 6= 0, for all (x, t). Freezing the x-variable, the PDE can be viewed
as an ODE in t-variable. Integrating both sides with respect to t we
obtain u(x, t) = f (x)e t , for some arbitrary (not necessarily continuous)
function f : R → R.
Solution of PDE
Example
Consider the first order equation ux (x, y ) = uy (x, y ) in R2 .On first glance,
the PDE does not seem simple to solve. But, by change of coordinates,
the PDE can be rewritten in a simpler form. Choose the coordinates
w = x + y and z = x − y and, by chain rule, ux = uw + uz and
uy = uw − uz . In the new coordinates, the PDE becomes uz (w , z) = 0
which is in the form considered in Example 12.Therefore, its solution is
u(w , z) = f (w ) for any arbitrary f : R → R and, hence,
u(x, y ) = f (x + y ).
Example
Consider the second order PDE ut (x, t) = uxx (x, t).
(i) Note that u(x, t) = c is a solution of the PDE, for any constant
c ∈ R. This is a family of solutions indexed by c ∈ R.
2
(ii) The function u : R2 → R defined as u(x, t) = x2 + t + c, for any
constant c ∈ R, is also a family of solutions of the PDE. Because
ut = 1, ux = x and uxx = 1.This family is not covered in the first
case.
(iii) The function u(x, t) = e c(x+ct) is also a family of solutions to the
PDE, for each c ∈ R. Because ut = c 2 u, ux = cu and uxx = c 2 u.
This family is not covered in the previous two cases.
Well-posedness of PDE
Cauchy Problem
General Hypersurface
and the initial conditions are given on the hyperplane {yn = 0}.
Thus, the necessary condition is a(x, u(x)) · ∇φ 6= 0.
Recall that ∇φ is the normal to the hypersurface Γ.
Two Dimension
Thus, the line is not a non-characteristic for m = 3/2, i.e., all lines with
slope 3/2 is not a non-characteristic.
Thus, instead of the normal derivative, one can prescribe the partial
derivatives ux and uy on Γ and reformulate the Cauchy problem (1.4) as
Puxx + 2Quxy + Ruyy = f (x, y , u, ux , uy ) in Ω
u(x, y ) = u0 (x, y ) on Γ
(1.5)
u x (x, y ) = u 11 (x, y ) on Γ
uy (x, y ) = u12 (x, y ) on Γ.
satisfying the compatibility condition u00 (s) = u11 γ10 (s) + u12 γ20 (s). The
compatibility condition implies that among u0 , u11 , u12 only two can be
assigned independently, as expected for a second order equation.
Definition
We say a curve Γ ⊂ R2 is characteristic with respect to (1.5) if
P(γ20 )2 − 2Qγ10 γ20 + R(γ10 )2 = 0 where (γ1 (s), γ2 (s)) is a parametrisation
of Γ.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 32 / 193
Two Dimension
Definition
A second order quasilinear PDE in two dimension is of
(a) hyperbolic type at x if d(x) > 0, has two families of real
characteristic curves,
(b) parabolic type at x if d(x) = 0, has one family of real characteristic
curves and
(c) elliptic type at x if d(x) < 0, has no real characteristic curves.
Classification
Definition
We say the partial differential operator given in (2.1) is
hyperbolic at x ∈ Ω, if Z (x) = 0 and either P(x) = 1 or
P(x) = n − 1.
elliptic, if Z (x) = 0 and either P(x) = n or P(x) = 0.
is ultra hyperbolic, if Z (x) = 0 and 1 < P(x) < n − 1.
is parabolic if Z (x) > 0.
Example
The wave equation utt − ∆x u = f (x, t) for (x, t) ∈ Rn+1 is hyperbolic
because the (n + 1) × (n + 1) second order coefficient matrix is
−I 0
A :=
0t 1
has no zero eigenvalue and exactly one positive eigenvalue, where I is the
n × n identity matrix.
Example
The heat equation ut − ∆x u = f (x, t) for (x, t) ∈ Rn+1 is parabolic
because the (n + 1) × (n + 1) second order coefficient matrix is
−I 0
0t 0
Example
The Laplace equation ∆u = f (∇u, u, x) for x ∈ Rn is elliptic because
∆u = I · D 2 u(x) where I is the n × n identity matrix. The eigen values are
all positive.
Consider the second order semilinear PDE not in standard form and
seek a change of coordinates w = w (x, y ) and z = z(x, y ), with
non-vanishing Jacobian, such that the reduced form is the standard
form.
How does one choose such coordinates w and z. Recall the
coeeficients a, b and c obtained in the proof of Exercise 5 of the first
assignment!
If Q 2 − PR > 0, we have two characteristics. Thus, choose w and z
such that a = c = 0.
This implies we have to choose w and z such that
√
wx −Q ± Q 2 − PR zx
= = .
wy P zy
Example
In the parabolic case, Q 2 − PR = 0, we have a single characteristic. Let us
reduce the PDE e 2x uxx + 2e x+y uxy + e 2y uyy = 0 to its canonical form.
Note that P = e 2x , Q = e x+y , R = e 2y and Q 2 − PR = 0. The PDE is
parabolic. The characteristic curves are given by the equation
dy Q ey
= = x.
dx P e
Solving, we get e −y − e −x = a constant. Thus, w = e −y − e −x . Now, we
choose z such that the Jacobian wx zy − wy zx 6= 0. For instance, z = x is
one such choice.
ux = e −x uw + uz
uy = −e −y uw
uxx = e −2x uww + 2e −x uwz + uzz − e −x uw
uyy = e −2y uww + e −y uw
uxy = −e −y (e −x uww − uwz )
e x e −y uzz = (e −y − e −x )uw
ux = uw /x, uy = uz /y
uxx = −uw /x 2 + uww /x 2
uyy = −uz /y 2 + uzz /y 2
Thus, the data vector field V (x, z) := (a(x, z), f (x, z)) ∈ Rn+1 is
perpendicular to the normal of S at every point of S.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 49 / 193
Integral Surface
The coefficient vector V must lie on the tangent plane of S, at each of its
point. Hence, we seek a surface S such that the given coefficient field V is
tangential to S, at every point of S.
Definition
A smooth curve in Rn is said to be an integral curve w.r.t a given vector
field, if the vector field is tangential to the curve at each of its point.
Further, a smooth surface in Rn is said to be an integral surface w.r.t a
given vector field, if the vector field is tangential to the surface at each of
its point.
1
the union is in the sense that every point in the integral surface belongs to exactly
one characteristic
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 50 / 193
Method of Characteristics for Quasilinear
Example
We shall now compute the solution of the Cauchy problem
ut + aux = 0 x ∈ R and t ∈ (0, ∞)
(2.2)
u(x, 0) = u0 (x) x ∈ R.
x(r , s) = as + c1 (r ), t(r , s) = s + c2 (r )
x(r , 0) = c1 (r ) = r
We solve for r , s in terms of x, t and set u(x, t) = z(r (x, t), s(x, t)).
Burgers’ equation
x(r , s) = u0 (r )s + c1 (r ), t(r , s) = s + c2 (r )
Therefore,
x(r , s) = u0 (r )s + r , and t(r , s) = s.
Definition
Let L denote a linear differential operator and I ⊂ R. Then we say
Ly (x) = λy (x) on I is an eigenvalue problem (EVP) corresponding to L
when both λ and y : I → R are unknown.
Example
−d 2
For instance, if L = dx 2
then its corresponding eigenvalue problem is
−y 00 = λy .
2
compare an EVP with the notion of diagonalisation of matrices from Linear Algebra
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 59 / 193
Definition
A λ ∈ R, for which the EVP corresponding to L admits a non-trivial
solution yλ is called an eigenvalue of the operator L and yλ is said to be an
eigen function corresponding to λ. The set of all eigenvalues of L is called
the spectrum of L.
Exercise
Show that any second order ODE of the form
The function y (x) and λ are unknown quantities. The pair of boundary
conditions given above is called separated. The boundary conditions
corresponds to the end-point a and b, respectively. Note that both c1 and
c2 cannot be zero simultaneously and, similar condition on d1 and d2 .
Definition
The Sturm-Liouville problem with separated boundary conditions is said to
be regular if:
(a) p, p 0 , q, r : [a, b] → R are continuous functions
(b) p(x) > 0 and r (x) > 0 for x ∈ [a, b].
We say the S-L problem is singular if either the interval (a, b) is
unbounded or one (or both) of the regularity condition given above fails.
We say the S-L problem is periodic if p(a) = p(b) and the separated
boundary conditions are replaced with the periodic boundary condition
y (a) = y (b) and y 0 (a) = y 0 (b).
y 0 (0) = 0
cy (a) + y 0 (a) = 0,
where c > 0 is a constant.
Example
0
− x 2 y 0 (x)
= λy (x) x ∈ (1, a)
y (1) = 0
y (a) = 0,
Example
Examples of singular S-L problem:
(a) For each n = 0, 1, 2, . . ., consider the Bessel’s equation
( 2
0 0 n
− (xy (x)) = − x + λx y (x) x ∈ (0, a)
y (a) = 0,
where p(x) = r (x) = x, q(x) = −n2 /x. This equation is not regular
because p(0) = r (0) = 0 and q is not continuous in the closed
interval [0, a], since q(x) → −∞ as x → 0. Note that there is no
boundary condition corresponding to 0.
0
The Legendre equation, − (1 − x 2 )y 0 (x) = λy (x) with x ∈ (−1, 1)
(b)
y (−π) = y (π)
0
y (−π) = y 0 (π).
Spectral Results
We shall now state without proof the spectral theorem for regular S-L
problem. Our aim, in this course, is to check the validity of the theorem
through some examples.
Theorem
For a regular S-L problem, there exists an increasing sequence of
eigenvalues 0 < λ1 < λ2 < λ3 < . . . < λk < . . . with λk → ∞, as k → ∞.
Example
Consider the boundary value problem,
y 00 + λy = 0 x ∈ (0, a)
y (0) = y (a) = 0.
Example
Hence, for each k ∈ N, there is a solution (yk , λk ) with
kπx
yk (x) = sin ,
a
Theorem
For a periodic S-L problem, there exists an increasing sequence of
eigenvalues 0 ≤ λ1 < λ2 < λ3 < . . . < λk < . . . with λk → ∞, as k → ∞.
Moreover, W1 = Wλ1 , the eigen space corresponding to the first eigen
value is one dimensional.
Example
Consider the boundary value problem,
00
y + λy = 0 in (−π, π)
y (−π) = y (π)
0
y (−π) = y 0 (π).
The characteristic
√ equation is m2 + λ = 0. Solving for m, we get
m = ± −λ. Note that the λ can be either zero, positive or negative.
Example
If λ = 0, then y 00 = 0 and the general solution is y (x) = αx + β, for some
constants α and β. Since y (−π) = y (π), we get α = 0. Thus, for λ = 0,
y ≡ a constant is the only non-trivial solution.√ √
If λ < 0, then ω = −λ > 0. Hence y (x) = αe ωx −
+ βe ωx . Using the
boundary condition y (−π) = y (π), we get α = β and using the other
boundary condition, we get α = β = 0. Hence we have no non-trivial
solution corresponding√ to negative λ’s. √ √
If λ > 0, then m = ±ı λ and y (x) = α cos( λx) + β sin( λx). Using
the boundary condition, we get
√ √ √ √
α cos(− λπ) + β sin(− λπ) = α cos( λπ) + β sin( λπ)
and
√ √ √ √
−α sin(− λπ) + β cos(− λπ) = −α sin( λπ) + β cos( λπ).
√ √
Thus, β sin( λπ) = α sin( λπ) = 0.
and λk = k 2 .
(k(k + 1) − λ)ak
ak+2 = .
(k + 2)(k + 1)
Thus, the constants a0 and a1 can be fixed arbitrarily and the remaining
constants are defined as per the above relation. For instance, if a1 = 0, we
get the non-trivial solution of the Legendre equation as
∞
X
y 1 = a0 + a2k x 2k
k=1
provided the series converge. Note from the recurrence relation that if a
coefficient is zero at some stage, then every alternate coefficient,
subsequently, is zero. Thus, there are two possibilities of convergence here:
As before, since this is a singular S-L problem we shall look for solutions y
such that y and its derivative y 0 are continuous in the closed interval [0, a].
We shall assume that the eigenvalues are all real3 ! Thus, λ may be zero,
positive or negative.
When λ = 0, the given ODE reduces to the Cauchy-Euler form
0 n2 0
− xy (x) + y (x) = 0
x
or equivalently,
x 2 y 00 (x) + xy 0 (x) − n2 y (x) = 0.
3
needs proof
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 79 / 193
The above second order ODE with variable coefficients can be converted
to an ODE with constant coefficients by the substitution x = e s (or
s = ln x). Then, by chain rule,
dy dy ds dy
y0 = = = e −s
dx ds dx ds
and
0
2
00 −s dy d dy d y dy
y =e = e −s e −s = e −2s − .
ds ds ds ds 2 ds
Therefore,
y 00 (s) − n2 y (s) = 0,
where y is now a function of the new variable s. For n = 0, the general
solution is y (s) = αs + β, for some arbitrary constants. Thus,
y (x) = α ln x + β. The requirement that both y and y 0 are continuous on
[0, a] forces α = 0. Thus, y (x) = β. But y (a) = 0 and hence β = 0,
yielding the trivial solution.
Theorem
For each non-negative integer n, Jn has infinitely many positive roots.
Observe that for a regular S-L problem the differential operator can be
written as
−1 d d q(x)
L= p(x) − .
r (x) dx dx r (x)
Let V denote the set of all solutions of (3.1). Necessarily, 0 ∈ V and
V ⊂ C 2 (a, b). We define the inner product4 h·, ·i : V × V → R on V as,
Z b
hf , g i := r (x)f (x)g (x) dx.
a
4
a generalisation of the usual scalar product of vectors
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 83 / 193
Definition
We say two functions f and g are perpendicular or orthogonal p with weight
r if hf , g i = 0. We say f is of unit length if its norm kf k = hf , f i = 1.
Theorem
With respect to the inner product defined above in V , the eigen functions
corresponding to distinct eigenvalues of the S-L problem are orthogonal.
y 00 + λy = 0 x ∈ (0, a)
y (0) = y (a) = 0
to be (yk , λk ) where
kπx
yk (x) = sin
a
and λk = (kπ/a)2 , for each k ∈ N. For m, n ∈ N such that m 6= n, we
need to check that ym and yn are orthogonal. Since r ≡ 1, we consider
Z a mπx nπx
hym (x), yn (x)i = sin sin dx
0 a a
Exercise
Show that, for any n ≥ 0 and m positive integer,
(i)
(
Z π
π, for m = n
cos nt cos mt dt =
−π 0, for m 6= n.
(ii)
(
Z π
π, for m = n
sin nt sin mt dt =
−π 0, for m 6= n.
(iii)
Z π
sin nt cos mt dt = 0.
−π
cos
√ kt sin
√ kt
Consequently, show that π
and π
are of unit length.
Example
The orthogonality of Legendre polynomial and Bessel function must have
been discussed in your course on ODE. Recall that the Legendre
polynomials has the property
Z 1 (
0, if m 6= n
Pm (x)Pn (x) dx = 2
−1 2n+1 , if m = n
where zni is the i-th positive zero of the Bessel function (of order n) Jn .
We are using the “≈” symbol to highlight the fact that the issue of
convergence of the series is ignored.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 89 / 193
We isolate the properties of the trigonometric functions, viz., sin, cos etc.
Definition
A function f : R → R is said to be periodic of period T , if T > 0 is the
smallest number such that
f (t + T ) = f (t) ∀t ∈ R.
Example
The trigonometric functions sin t and cos t are 2π-periodic functions, while
sin 2t and cos 2t are π-periodic functions.
where
Z T
2 2πkt
ak = f (t) cos dt (4.2a)
T 0 T
Z T
2 2πkt
bk = f (t) sin dt (4.2b)
T 0 T
Z T
1
a0 = f (t) dt. (4.2c)
T 0
Note the use of “≈” symbol in (4.3). This is because we have the
following issues once we have the definition of Fourier series of f , viz.,
(a) Will the Fourier series of f always converge?
(b) If it converges, will it converge to f ?
(c) If so, is the convergence point-wise or uniform5 .
5
because our derivation of formulae for Fourier coefficients assumed uniform
convergence of the series
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 98 / 193
Answering these question, in all generality, is beyond the scope of this
course. However, we shall state some results later that will get us in to
working mode. We now present some simple examples on computing
Fourier coefficients of functions.
Example
Consider the constant function f ≡ c on (−π, π). Then
Z π
1
a0 = c dt = c.
2π −π
For each k ∈ N, Z π
1
ak = c cos kt dt = 0
π −π
and Z π
1
bk = c sin kt dt = 0.
π −π
Example
Consider the trigonometric function f (t) = sin t on (−π, π). Then
Z π
1
a0 = sin x dt = 0.
2π −π
For each k ∈ N, Z π
1
ak = sin t cos kt dt = 0
π −π
and (
π
6 1
Z
1 0 k=
bk = sin t sin kt dt =
π −π 1 k = 1.
Similarly, for f (t) = cos t on (−π, π), all Fourier coefficients are zero,
except a1 = 1.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 100 / 193
Example
Consider the function f (t) = t on (−π, π). Then
Z π
1
a0 = t dt = 0.
2π −π
For each k ∈ N,
1 π
Z
ak = t cos kt dt
π −π
Z π
1
= − sin kt dt + (π sin kπ − (−π) sin k(−π))
kπ −π
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 101 / 193
Example
1 π
Z
bk = t sin kt dt
π −π
Z π
1
= cos kt dt − (π cos kπ − (−π) cos k(−π))
kπ −π
1 h i (−1)k+1 2
k k
= 0 − π(−1) + π(−1) =
kπ k
Therefore, t as a 2π-periodic function defined in (−π, π) has the Fourier
series expansion
∞
X (−1)k+1
t≈2 sin kt
k
k=1
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 102 / 193
Example
Let us consider the same function f (t) = t, as in previous example, but
defined on (0, π). Viewing this as π-periodic function, we compute
1 π
Z
π
a0 = t dt = .
π 0 2
For each k ∈ N,
2 π
Z Z π
2
ak = t cos 2kt dt = − sin 2kt dt + (π sin 2kπ − 0)
π 0 2kπ
0
1 1
= (cos 2kπ − cos(0)) = 0 and
kπ 2k
2 π
Z Z π
2
bk = t sin 2kt dt = cos 2kt dt − (π cos 2kπ − 0)
π 0 2kπ 0
1 1 −1
= (sin 2kπ − sin(0)) − π = .
kπ 2k k
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 103 / 193
Note that difference in Fourier expansion of the same function when the
periodicity changes.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 104 / 193
Theorem (Riemann-Lebesgue Lemma)
Let f be a continuous function in [−π, π]. Show that the Fourier
coefficients of f converges to zero, i.e.,
lim ak = lim bk = 0.
k→∞ k→∞
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 105 / 193
Z π Z π−π/k
bk = f (t) sin kt dt = f (x + π/k) sin(kx + π) dx
−π −π−π/k
Z π−π/k
= − f (x + π/k) sin kx dx.
−π−π/k
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 106 / 193
Thus, |2bk | ≤ |I1 | + |I2 | + |I3 |. Consider
Z
π
|I3 | = f (t) sin kt dt
π−π/k
Z π
≤ |f (t)| dt
π−π/k
π Mπ
≤ max |f (t)| = .
t∈[−π,π] k k
By the uniform continuity of f on [−π, π], the maximum will tend to zero
as k → ∞. Hence |bk | → 0. Exactly, similar arguments hold for ak .
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 107 / 193
Definition
A function f : [a, b] → R is said to be piecewise continuously differentiable
if it has a continuous derivative f 0 in (a, b), except at finitely many points
in the interval [a, b] and at each these finite points, the right-hand and
left-hand limit for both f and f 0 exist.
Example
Consider f : [−1, 1] → R defined as f (t) = |t| is continuous.It is not
differentiable at 0, but it is piecewise continuously differentiable.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 108 / 193
Example
Consider the function f : [−1, 1] → R defined as
−1, for − 1 < t < 0,
f (t) = 1, for 0 < t < 1,
0, for t = 0, 1, −1.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 109 / 193
lim ak = lim bk = 0.
k→∞ k→∞
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 110 / 193
Theorem
If f is a T -periodic piecewise continuously differentiable function, then the
Fourier series of f converges to f (t), for every t at which f is smooth.
Further, at a non-smooth point t0 , the Fourier series of f will converge to
the average of the right and left limits of f at t0 .
Corollary
If f : R → R is a continuously differentiable (derivative f 0 exists and is
continuous) T -periodic function, then the Fourier series of f converges to
f (t), for every t ∈ R.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 111 / 193
Example
For a given constant c 6= 0, consider the piecewise function
(
0 if t ∈ (−π, 0)
f (t) =
c if t ∈ (0, π).
Then, Z π
1 c
a0 = c dt = .
2π 0 2
For each k ∈ N, Z π
1
ak = c cos kt dt = 0
π 0
and
π
c(1 + (−1)k+1 )
Z
1 c 1
bk = c sin kt dt = (− cos kπ + cos(0)) = .
π 0 π k kπ
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 112 / 193
Example
Therefore,
∞
c X c(1 + (−1)k+1 )
f (t) ≈ + sin kt.
2 kπ
k=1
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 113 / 193
e ıt + e −ıt e ıt − e −ıt
cos t = , sin t = .
2 2i
Note that we can rewrite the Fourier series expansion of f as
∞
a0 X
f (t) = + (ak cos kt + bk sin kt)
2
k=1
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 114 / 193
Thus,
∞
a0 X
f (t) = + (ak cos kt + bk sin kt)
2
k=1
∞
a0 X ak ıkt ıb
k
= + e + e −ıkt − e ıkt − e −ıkt
2 2 2
k=1
∞
a0 X ak − ıbk ıkt ak + ıbk −ıkt
f (t) = + e + e
2 2 2
k=1
∞
X
ıkt −ıkt
= c0 + ck e + c−k e
k=1
∞
X
= ck e ıkt .
k=−∞
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 115 / 193
Exercise
Given a 2π-periodic function f such that
∞
X
f (t) = ck e ıkt , (4.4)
k=−∞
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 116 / 193
Orthogonality
Example
e0 , ek and fk are all of unit length. he0 , ek i = 0 and he0 , fk i = 0. Also,
hem , en i = 0 and hfm , fn i = 0, for m 6= n. Further, hem , fn i = 0 for all m, n.
Check and compare these properties with the standard basis vectors of Rn !
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 117 / 193
Definition
We say a function f : R → R is odd if f (−t) = −f (t) and even if
f (−t) = f (t).
Example
All constant functions are even functions. For all k ∈ N, sin kt are odd
functions and cos kt are even functions.
Exercise
Any odd function is always orthogonal to an even function.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 118 / 193
The Fourier series of an odd or even functions will contain only sine or
cosine parts, respectively. The reason being that, if f is odd
hf , sin kti = 0
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 119 / 193
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 120 / 193
∞
X πkt
f (t) = bk sin where (4.5)
T
k=1
1 T
Z
1 πkt πkt
bk = fo , sin = fo (t) sin dt
T T T −T T
Z 0 Z T
1 πkt πkt
= −f (−t) sin dt + f (t) sin dt
T −T T 0 T
Z 0 Z T
1 πkt πkt
= −f (t) sin dt + f (t) sin dt
T T T 0 T
Z T
2 πkt
= f (t) sin dt.
T 0 T
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 121 / 193
Example
Let us consider the function f (t) = t on (0, π). To compute the Fourier
sine series of f , we extend f to (−π, π) as an odd function fo (t) = t on
(−π, π). For each k ∈ N,
2 π
Z Z π
2
bk = t sin kt dt = cos kt dt − (π cos kπ − 0)
π 0 kπ 0
(−1)k+1 2
2 1 k+1
= (sin kπ − sin(0)) + π(−1) = .
kπ k k
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 122 / 193
For computing the Fourier cosine series of f , we extend f as an even
function to (−T , T ),
(
f (t), for t ∈ (0, T )
fe (t) =
f (−t) , for t ∈ (−T , 0).
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 123 / 193
∞
X πkt
f (t) = a0 + ak cos (4.6)
T
k=1
where Z T
2 πkt
ak = f (t) cos dt
T 0 T
and Z T
1
a0 = f (t) dt.
T 0
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 124 / 193
Example
Consider the function f (t) = t on (0, π). To compute the Fourier cosine
series of f , we extend f Rto (−π, π) as an even function fe (t) = |t| on
π
(−π, π). Then, a0 = π1 0 t dt = π2 . For each k ∈ N,
2 π
Z Z π
2
ak = t cos kt dt = − sin kt dt + (π sin kπ − 0)
π 0 kπ 0
2[(−1)k − 1]
2 1
= (cos kπ − cos(0)) = .
kπ k k 2π
Compare the result with the Fourier series of the function f (t) = |t| on
(−π, π).
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 125 / 193
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 126 / 193
Definition
If f : R → R is a piecewise continuous function which vanishes outside a
finite interval, then its Fourier integral is defined as
Z ∞
f (t) = (a(ξ) cos ξt + b(ξ) sin ξt) dξ,
0
where
1 ∞
Z
a(ξ) = f (t) cos ξt dt
π −∞
1 ∞
Z
b(ξ) = f (t) sin ξt dt.
π −∞
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 127 / 193
Consider the wave equation utt = c 2 uxx on R × (0, ∞), describing the
vibration of an infinite string.
The equation is hyperbolic and has the two family of characteristics
x ± ct= a constant.
Introduce the new coordinates w = x + ct, z = x − ct and set
u(w , z) = u(x, t). Thus, we have the following relations, using chain
rule:
ux = uw wx + uz zx = uw + uz
ut = uw wt + uz zt = c(uw − uz )
uxx = uww + 2uzw + uzz
utt = c 2 (uww − 2uzw + uzz )
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 129 / 193
Rectangular Property
For any four points A, B, C and D that form a rectangle bounded by the
characteristic curves in R × R+ we have u(A) + u(C ) = u(B) + u(D)
because u(A) = F (α) + G (β), u(C ) = F (γ) + G (δ), u(B) = F (α) + G (δ)
and u(D) = F (γ) + G (β).
C
D
B
A
x
γ α β δ
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 130 / 193
D’Alembert’s Formula
Theorem
Given g ∈ C 2 (R) and h ∈ C 1 (R), there is a unique C 2 solution u of the
Cauchy initial value problem (IVP) of the wave equation,
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 131 / 193
Proof
1 x
Z
1
F (x) = g (x) + h(y ) dy + c1
2 c 0
and Z x
1 1
G (x) = g (x) − h(y ) dy + c2 .
2 c 0
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 132 / 193
Aliter
Let us derive the d’Alembert’s formula in an alternate way. Note that the
wave equation can be factored as
∂ ∂ ∂ ∂
+c −c u = utt − c 2 uxx = 0.
∂t ∂x ∂t ∂x
∂ ∂
We set v (x, t) = ∂t − c ∂x u(x, t) and hence
Notice that the above first order PDE obtained is in the form of
homogeneous linear transport equation, which we have already solved.
Hence, for some smooth function φ,
Aliter
Using v in the original equation, we get the inhomogeneous transport
equation ut (x, t) − cux (x, t) = φ(x − ct).Recall the formula for
inhomogenoeus transport equation
Z t
u(x, t) = g (x − at) + φ(x − a(t − s), s) ds.
0
Since u(x, 0) = g (x) and a = −c, in our case the solution reduces to,
Z t
u(x, t) = g (x + ct) + φ(x + c(t − s) − cs) ds
Z0 t
= g (x + ct) + φ(x + ct − 2cs) ds
0
−1 x−ct
Z
= g (x + ct) + φ(y ) dy
2c x+ct
Z x+ct
1
= g (x + ct) + φ(y ) dy .
2c x−ct
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 134 / 193
Aliter
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 135 / 193
Domain of Dependence
(x0 , t0 )
x
(x0 − ct0 , 0) (x0 , 0) (x0 + ct0 , 0)
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 136 / 193
Range of Influence
Given a point (p0 , 0) on the x-axis, what is the region in the
x − t-plane where the solution u depends on the value of g (p0 , 0) and
h(p0 , 0)?
This region turns out to be a cone with vertex at (p0 , 0)
and is called the range of influence.
The range of influence is the region bounded by the characteristic
curves passing through (p0 , 0).
t x
p0
+
=
ct
ct
=
−
p0
x
(p0 , 0)
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 137 / 193
If the initial data g and h are “supported” in the interval Bx0 (R)
then the solution u at (x, t) is supported in the region Bx0 (R + ct).
This phenomenon is called the finite speed of propagation.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 138 / 193
Standing Waves: Separation of Variable
The method of separation of variables was introduced by d’Alembert
(1747) and Euler (1748) for the wave equation.
This technique was also employed by Laplace (1782) and Legendre
(1782) while studying the Laplace equation and also by Fourier while
studying the heat equation.
Recall the set-up of the vibrating string given by the equation
utt = uxx , we have normalised the constant c.
Initially at time t, let us say the string has the shape of the graph of
v , i.e., u(x, 0) = v (x).
The snapshot of the vibrating string at each time are called the
“standing waves”.
The shape of the string at time t0 can be thought of as some factor
(depending on time) of v .
This observation motivates the idea of “separation of variable”, i.e.,
u(x, t) = v (x)w (t), where w (t) is the factor depending on time,
which scales v at time t to fit with the shape of u(x, t).
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 139 / 193
Thus, we need to solve the eigen value problem for the second order
differential operator.
00
v (x) = λv (x), x ∈ (0, L)
v (0) = v (L) = 0,
Note that the solution is expressed as series, which raises the question of
convergence of the series. Another concern is whether all solutions of
(5.3) have this form. We ignore these two concerns at this moment.
Since we know the initial position of the string as the graph of g , we get
∞
X kπx
g (x) = u(x, 0) = ak sin .
L
k=1
This expression is again troubling and rises the question: Can any arbitrary
function g be expressed as an infinite sum of trigonometric functions? But
we have answered it in the study of “Fourier series”.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 145 / 193
and hence Z L
2 kπx
bk = h(x) sin .
kcπ 0 L
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 146 / 193
Heat Flow on a Bar
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 147 / 193
and, hence,
w 0 (t) v 00 (x)
= .
c 2 w (t) v (x)
Since LHS, a function of t, and RHS, a function x, are equal they must be
equal to some constant, say λ. Thus,
w 0 (t) v 00 (x)
= = λ.
c 2 w (t) v (x)
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 148 / 193
We first solve the eigenvalue problem involving v . For each k ∈ N, there is
a pair (λk , vk ) which solves the eigenvalue problem involving v , where
λk = −(kπ)2 /L2 and vk (x) = sin kπx
L . For each k ∈ N, we solve for wk
to get
ln wk (t) = λk c 2 t + ln α,
2
where α is integration constant. Thus, wk (t) = αe −(kcπ/L) t . Hence,
kπx 2
uk (x, t) = vk (x)wk (t) = βk sin e −(kcπ/L) t ,
L
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 149 / 193
2 L
Z
kπx
βk = g (x) sin .
L 0 L
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 150 / 193
Circular Wire
Let Ω be a circle (circular wire) of radius one insulated along its sides. Let
the initial temperature of the wire, at time t = 0, be given by a
2π-periodic function g : R → R. Then there is a solution u(r , θ) of
where c is a constant.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 151 / 193
Proof
Note that u(θ, t) is 2π-periodic in θ-variable, i.e., u(θ + 2π, t) = u(θ, t)
for all θ ∈ R and t ≥ 0. We begin with ansatz u(θ, t) = v (θ)w (t) with
variables separated. Substituting for u in the equation, we get
w 0 (t) v 00 (θ)
= = λ.
c 2 w (t) v (θ)
For each k ∈ N ∪ {0}, the pair (λk , vk ) is a solution to the eigenvalue
problem where λk = −k 2 and
We now use the initial temperature on the circle to find the constants.
Since u(θ, 0) = g (θ),
∞
a0 X
g (θ) = u(θ, 0) = + [ak cos(kθ) + bk sin(kθ)] .
2
k=1
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 154 / 193
Inhomogeneous Heat equation
As a first step, for each s ∈ (0, ∞), consider w (x, t; s) as the solution of
the homogeneous problem (auxiliary)
s
wt (x, t) − c 2 ∆w s (x, t) = 0 in Ω × (s, T )
s
w (x, t) = 0 in ∂Ω × (s, T )
w s (x, s) = f (x, s) on Ω × {s}.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 155 / 193
wr (x, r ) − c 2 ∆w (x, r ) = 0
in Ω × (0, T − s)
w (x, r ) = 0 in ∂Ω × (0, T − s)
w (x, 0) = f (x, s) on Ω × {0}.
solves (6.1).
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 156 / 193
Proof
Suppose w is C 2,1 (Rn × (0, T )), we get
Z t
∂
ut (x, t) = w (x, t − s) ds
∂t 0
Z t
d(t)
= wt (x, t − s) ds + w (x, t − t)
0 dt
d(0)
− w (x, t − 0)
dt
Z t
= wt (x, t − s) ds + w (x, 0)
0
Z t
= wt (x, t − s) ds + f (x, t).
0
Similarly, Z t
∆u(x, t) = ∆w (x, t − s) ds.
0
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 157 / 193
Thus,
Z t
2
wt (x, t − s) − c 2 ∆w (x, t − s) ds
ut − c ∆u = f (x, t) +
0
= f (x, t).
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 158 / 193
Second Order Elliptic: The Laplacian
Pn ∂2
The Laplacian is the trace of the Hessain matrix, ∆ := i=1 ∂x 2 .
i
d2
Note that in one dimension, ∆ = dx 2
.
Our interest is to solve, for any open subset Ω ⊂ Rn , −∆u(x) = f (x).
Since a Cauchy problem for elliptic is over-determined, it is reasonable
to seek the solution of −∆u(x) = f (x) in Ω and one of the following
(or mixture) on ∂Ω.
(i) (Dirichlet condition) u = g ;
(ii) (Neumann condition) ∇u · ν = g , where ν(x) is the unit outward
normal of x ∈ ∂Ω;
(iii) (Robin condition) ∇u · ν + cu = g for any c > 0.
(iv) (Mixed condition) u = g on Γ1 and ∇u · ν = h on Γ2 , where
Γ1 ∪ Γ2 = ∂Ω and Γ1 ∩ Γ2 = ∅.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 159 / 193
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 160 / 193
Harmonic Functions
d 2
The one dimensional Laplace equation is an ODE ( dx 2 ) and is
solvable with solutions u(x) = ax + b for some constants a and b.
But in higher dimensions solving Laplace equation is not so simple.
For instance, a two dimensional Laplace equation
uxx + uyy = 0
has the trivial solution, u(x, y ) = ax + by + c, all one degree
polynomials of two variables.
In addition, xy , x 2 − y 2 , x 3 − 3xy 2 , 3x 2 y − y 3 , e x sin y and e x cos y
are all solutions to the two variable Laplace equation.
In Rn , it is trivial to check that all polynomials up to degree one, i.e.
X
aα x α
|α|≤1
Qn
is a solution to ∆u = 0 in Rn . However, note that u(x) = i=1 xi is
a solution to ∆u = 0 in Rn .
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 161 / 193
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 162 / 193
This observation gives us more examples of harmonic functions, for
instance,
since all complex polynomials f (z) = z m are holomorphic we have
(using the polar coordinates) the real part u(r , θ) = r m cos mθ and
the imaginary part v (r , θ) = r m sin mθ are harmonic functions in R2
for all m ∈ N.
Similarly, since f (z) = log z = ln r + ıθ is holomorphic in certain
region, we have u(r , θ) = ln r and v (r , θ) = θ are harmonic in
R2 \ (0, 0) and R2 \ {θ = 0}, respectively.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 163 / 193
Theorem (Gauss)
Let Ω be an open bounded subset of Rn with C 1 boundary. If
V = (v1 , . . . , vn ) on Ω is a vector field such that vi ∈ C 1 (Ω), for all
1 ≤ i ≤ n, then Z Z
∇ · V dx = V · ν dσ. (6.2)
Ω ∂Ω
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 164 / 193
Maximum Principle
For all x ∈ Ω,
The above inequality is true for all ε > 0. Thus, u(x) ≤ maxx∈∂Ω u(x), for
all x ∈ Ω. Therefore, maxΩ u ≤ maxx∈∂Ω u(x) and hence we have equality.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 166 / 193
Strong Maximum Principle
u(x) < M ∀x ∈ Ω
or u ≡ M is constant in Ω.
By the strong maximum principle, if Ω is connected and g ≥ 0 and
g (x) > 0 for some x ∈ ∂Ω then u(x) > 0 for all x ∈ Ω.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 167 / 193
Proof.
Note that u1 − u2 is a harmonic function and hence, by maximum
principle, should attain its maximum on ∂Ω. But u1 − u2 = 0 on ∂Ω.
Thus u1 − u2 ≤ 0 in Ω. Now, repeat the argument for u2 − u1 , we get
u2 − u1 ≤ 0 in Ω. Thus, we get u1 − u2 = 0 in Ω.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 168 / 193
Comparison Principle
Theorem
Let Ω be an open bounded connected subset of Rn and g ∈ C (∂Ω). Then
the Dirichlet problem
∆u(x) = 0 x ∈Ω
(6.3)
u(x) = g (x) x ∈ ∂Ω.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 169 / 193
Proof
The fact that there is atmost one solution to the Dirichlet problem follows
from Theorem 85. Let w = u1 − u2 . Then w is harmonic. (a) Note that
w = g1 − g2 ≥ 0 on ∂Ω. Since g1 (x0 ) > g2 (x0 ) for some x0 ∈ ∂Ω, then
w (x) > 0 for all x ∈ ∂Ω. This proves the comparison result.
(b) Again, by maximum principle, we have
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 170 / 193
Existence of Solutions
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 171 / 193
− f = g.
ω ∂ω
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 173 / 193
Elliptic Equations
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 174 / 193
Proof
We begin by looking for solution u(x, y ) whose variables are separated,
i.e., u(x, y ) = v (x)w (y ). Substituting this form of u in the Laplace
equation, we get
v 00 (x)w (y ) + v (x)w 00 (y ) = 0.
Hence
v 00 (x) w 00 (y )
=− .
v (x) w (y )
Since LHS is function of x and RHS is function y , they must equal a
constant, say λ. Thus,
v 00 (x) w 00 (y )
=− = λ.
v (x) w (y )
Using the boundary condition on u,
u(0, y ) = g (0, y ) = g (a, y ) = u(a, y ) = 0, we get
v (0)w (y ) = v (a)w (y ) = 0. If w ≡ 0, then u ≡ 0 which is not a solution.
Hence, w 6≡ 0 and v (0) = v (a) = 0.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 175 / 193
v (0) = v (a) = 0,
the eigen value problem for the second order differential operator. Note
that the λ can be either zero, positive or negative.
If λ = 0, then v 00 = 0 and the general solution is v (x) = αx + β, for some
constants α and β. Since v (0) = 0, we get β = 0, and v (a) = 0 and a 6= 0
implies that α = 0. Thus, v ≡ 0 and hence u ≡ 0. But, this can not be a
solution to (6.3). √ √
If λ > 0, then v (x) = αe λx −
+ βe λx . Equivalently,
√ √
v (x) = c1 cosh( λx) + c2 sinh( λx)
such that α = (c1 + c2 )/2 and β = (c1 − c2 )/2. Using the boundary
condition v (0) = 0, we get c1 = 0 and hence
√
v (x) = c2 sinh( λx).
√
Now using v (a) = 0, we have c2 sinh λa = 0. Thus, c2 = 0 and
v (x) = 0. We have seen this cannot be a solution.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 176 / 193
√
If λ < 0, then set ω = −λ. We need to solve
00
v (x) + ω 2 v (x) = 0 x ∈ (0, a)
(6.5)
v (0) = v (a) = 0.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 177 / 193
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 178 / 193
Since h(0) = h(a) = 0, the function h admits a Fourier Sine series. Thus
δk sinh kπb
a is the k-th Fourier sine coefficient of h, i.e.,
−1 Z a
kπb 2 kπx
δk = sinh h(x) sin .
a a 0 a
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 179 / 193
Laplacian on 2D Disk
1 ∂2
1 ∂ ∂
∆ := r + 2 2
r ∂r ∂r r ∂θ
∂2u 1 ∂ 2 u 1 ∂u
∆u = 2 + 2 2 + .
∂r r ∂θ r ∂r
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 181 / 193
Proof
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 182 / 193
Substituting it in the polar form of Laplacian, we get
v d 2w
w d dv
r + 2 =0
r dr dr r dθ2
and hence
1 d 2w
−r d dv
r = .
v dr dr w dθ2
Since LHS is a function of r and RHS is a function of θ, they must equal a
constant, say λ. We need to solve the eigen value problem,
00
w (θ) − λw (θ) = 0 θ∈R
w (θ + 2π) = w (θ) ∀θ.
If λ > 0, then √ √
λθ − λθ
w (θ) = αe + βe .
If either of α and β is non-zero, then w (θ) → ∞ as θ → ±∞, which
contradicts the periodicity of w . Thus, α = β√= 0 and w ≡ 0, which
cannot be a solution. If λ < 0, then set ω = −λ and the equation
becomes 00
w (θ) + ω 2 w (θ) = 0 θ∈R
w (θ + 2π) = w (θ) ∀θ
Its general solution is
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 184 / 193
For the λk ’s, we solve for vk , for each k = 0, 1, 2, . . .,
d dvk
r r = k 2 vk .
dr dr
Uk (r , θ) = ak r k cos(kθ) + bk r k sin(kθ).
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 185 / 193
where Z π
1
ak = G (θ) cos(kθ) dθ,
Rkπ −π
Z π
1
bk = G (θ) sin(kθ) dθ.
Rkπ −π
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 186 / 193
Using this in the formula for U and the uniform convergence of Fourier
series, we get U(r , θ) =
∞
Z π " #
1 1 X r k
= G (η) + (cos kη cos kθ + sin kη sin kθ) dη
π −π 2 R
k=1
∞
Z π " #
1 1 X r k
= G (η) + cos k(η − θ) dη.
π −π 2 R
k=1
Poisson Formula
π
R2 − r 2
Z
G (η)
U(r , θ) = dη.
2π −π R 2 + r 2 − 2rR cos(η − θ)
Note that the formula derived above for U(r , θ) can be rewritten in
Cartesian coordinates and will have the form
R 2 − |x|2
Z
g (y )
u(x) = 2
dy .
2πR SR (0) |x − y |
Any y ∈ SR (0) has the representation (R, η) and the integration is over
the arc length element, i.e. dy = Rdη. Further, by law of cosines,
|x − y |2 = R 2 + r 2 − 2rR cos(η − θ). This is called the Poisson formula.
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 188 / 193
Laplacian on 3D Sphere
∂2
1 ∂ 2 ∂ 1 ∂ ∂ 1
∆ := 2 r + 2 sin φ + 2 2 .
r ∂r ∂r r sin φ ∂φ ∂φ r sin φ ∂θ2
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 189 / 193
Proof
Solving for u is equivalent to finding U(r , φ, θ) : Ω → R such that
1 ∂ 2 ∂U 1 ∂ ∂U
r 2 ∂r r ∂r + r 2 sin φ ∂φ sin φ ∂φ
1 ∂2U (7.2)
+ r 2 sin2 φ ∂θ2
=0 in Ω
U(1, φ, θ) = G (φ, θ) on ∂Ω
where U(r , φ, θ) and G (φ, θ) are appropriate spherical coordinate function
corresponding to u and g . We will look for solution U(r , φ, θ) whose
variables can be separated, i.e., U(r , φ, θ) = v (r )w (φ)z(θ) with v , w and
z non-zero. Substituting it in the spherical form of Laplacian, we get
vw d 2 z
wz d 2 dv vz d dw
r + 2 sin φ + 2 2 =0
r 2 dr dr r sin φ dφ dφ r sin φ dθ2
and hence
1 d 2z
1 d 2 dv −1 d dw
r = sin φ − .
v dr dr w sin φ dφ dφ z sin2 φ dθ2
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 190 / 193
Since LHS is a function of r and RHS is a function of (φ, θ), they must
equal a constant, say λ. If azimuthal symmetry is present then z(θ) is
dz
constant and hence dθ = 0. We need to solve for w ,
dw 2
0 00 2 d w dw
w (φ) = − sin φ and w (φ) = sin φ 2 − cos φ
dx dx dx
In the new variable x, we get the Legendre EVP
We have already seen that this is a singular S-L problem. For each
k ∈ N ∪ {0}, we have the solution (wk , λk ) where
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 191 / 193
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 192 / 193
The general solution is
∞
X
U(r , φ, θ) = ak r k Pk (cos φ).
k=0
2k + 1 π
Z
ak = G (φ)Pk (cos φ) sin φ dφ.
2 0
T. Muthukumar tmk@iitk.ac.in Partial Differential EquationsMSO-203-B November 14, 2019 193 / 193