math 461: fourier series and boundary value problems ...fass/notes461_ch5.pdf · introduction...

MATH 461: Fourier Series and Boundary ValueProblems

Chapter V: Sturm–Liouville Eigenvalue Problems

Greg Fasshauer

Department of Applied MathematicsIllinois Institute of Technology

Fall 2015

[email protected] MATH 461 – Chapter 5 1

http://math.iit.edu

http://math.iit.edu/~fass

Outline

1 Introduction

2 Examples

3 Sturm–Liouville Eigenvalue Problems

4 Heat Flow in a Nonuniform Rod without Sources

5 Self-Adjoint Operators and Sturm–Liouville Eigenvalue Problems

6 The Rayleigh Quotient

7 Vibrations of a Nonuniform String

8 Boundary Conditions of the Third Kind

9 Approximation [email protected] MATH 461 – Chapter 5 2

http://math.iit.edu

Introduction

Outline

1 Introduction

2 Examples

http://math.iit.edu

Introduction

So far all of our problems have involved the two-point BVP

ϕ′′(x) + λϕ(x) = 0

which – depending on the boundary conditions – leads to a certain setof eigenvalues and eigenfunctions: e.g.,

1 ϕ(0) = ϕ(L) = 0:

λn =(nπ

L

)2, ϕn(x) = sin

nπxL, n = 1,2,3, . . .

2 ϕ′(0) = ϕ′(L) = 0:

λn =(nπ

L

)2, ϕn(x) = cos

nπxL, n = 0,1,2, . . .

3 ϕ(−L) = ϕ(L) and ϕ′(−L) = ϕ′(L):

λn =(nπ

L

)2, ϕn(x) = c1 cos

nπxL

+ c2 sinnπx

L, n = 0,1,2, . . .

http://math.iit.edu

Introduction

ϕ′′(x) + λϕ(x) = 0

1 ϕ(0) = ϕ(L) = 0:

λn =(nπ

L

)2, ϕn(x) = sin

nπxL, n = 1,2,3, . . .

2 ϕ′(0) = ϕ′(L) = 0:

λn =(nπ

L

)2, ϕn(x) = cos

nπxL, n = 0,1,2, . . .

3 ϕ(−L) = ϕ(L) and ϕ′(−L) = ϕ′(L):

λn =(nπ

L

)2, ϕn(x) = c1 cos

nπxL

+ c2 sinnπx

L, n = 0,1,2, . . .

http://math.iit.edu

Introduction

ϕ′′(x) + λϕ(x) = 0

1 ϕ(0) = ϕ(L) = 0:

λn =(nπ

L

)2, ϕn(x) = sin

nπxL, n = 1,2,3, . . .

2 ϕ′(0) = ϕ′(L) = 0:

λn =(nπ

L

)2, ϕn(x) = cos

nπxL, n = 0,1,2, . . .

3 ϕ(−L) = ϕ(L) and ϕ′(−L) = ϕ′(L):

λn =(nπ

L

)2, ϕn(x) = c1 cos

nπxL

+ c2 sinnπx

L, n = 0,1,2, . . .

http://math.iit.edu

Introduction

ϕ′′(x) + λϕ(x) = 0

1 ϕ(0) = ϕ(L) = 0:

λn =(nπ

L

)2, ϕn(x) = sin

nπxL, n = 1,2,3, . . .

2 ϕ′(0) = ϕ′(L) = 0:

λn =(nπ

L

)2, ϕn(x) = cos

nπxL, n = 0,1,2, . . .

3 ϕ(−L) = ϕ(L) and ϕ′(−L) = ϕ′(L):

λn =(nπ

L

)2, ϕn(x) = c1 cos

nπxL

+ c2 sinnπx

L, n = 0,1,2, . . .

http://math.iit.edu

Introduction

RemarkThe eigenfunctions in the examples on the previous slide weresubsequently used to generate

1 Fourier sine series,2 Fourier cosine series, or3 Fourier series.

In this chapter we will study problems which involve more generalBVPs and then lead to generalized Fourier series.

http://math.iit.edu

Introduction

RemarkThe eigenfunctions in the examples on the previous slide weresubsequently used to generate

1 Fourier sine series,2 Fourier cosine series, or3 Fourier series.

In this chapter we will study problems which involve more generalBVPs and then lead to generalized Fourier series.

http://math.iit.edu

Examples

Outline

1 Introduction

2 Examples

http://math.iit.edu

Examples

Heat Flow in a Nonuniform Rod

Recall the general form of the 1D heat equation:

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ Q(x , t).

The separation of variables technique is likely to be applicable if thePDE is linear and homogeneous. Therefore, we assume

Q(x , t) = α(x)u(x , t)

with x-dependent proportionality factor α.The resulting PDE

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t) (1)

is linear and homogeneous and we will derive the corresponding BVPresulting from separation of variables below.

http://math.iit.edu

Examples

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ Q(x , t).

Q(x , t) = α(x)u(x , t)

with x-dependent proportionality factor α.

The resulting PDE

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t) (1)

http://math.iit.edu

Examples

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ Q(x , t).

Q(x , t) = α(x)u(x , t)

with x-dependent proportionality factor α.The resulting PDE

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t) (1)

http://math.iit.edu

Examples

RemarkNote that

∂

∂x

(K0(x)

∂u∂x

(x , t))

= K ′0(x)∂u∂x

(x , t) + K0(x)∂2u∂x2 (x , t).

Therefore, a PDE such as

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t)

arises, e.g., as convection-diffusion-reaction equation in the modelingof chemical reactions (such as air pollution models) withconvection term: K ′0(x)

∂u∂x (x , t)

diffusion term: K0(x)∂2u∂x2 (x , t)

reaction term: α(x)u(x , t)

http://math.iit.edu

Examples

RemarkNote that

∂

∂x

(K0(x)

∂u∂x

(x , t))

= K ′0(x)∂u∂x

(x , t) + K0(x)∂2u∂x2 (x , t).

Therefore, a PDE such as

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t)

arises, e.g., as convection-diffusion-reaction equation in the modelingof chemical reactions (such as air pollution models) withconvection term: K ′0(x)

∂u∂x (x , t)

diffusion term: K0(x)∂2u∂x2 (x , t)

reaction term: α(x)u(x , t)

http://math.iit.edu

Examples

We now assume u(x , t) = ϕ(x)T (t) and apply separation of variablesto

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t).

This results in

c(x)ρ(x)ϕ(x)T ′(t) =d

dx(K0(x)ϕ′(x)T (t)

)+ α(x)ϕ(x)T (t).

Division by c(x)ρ(x)ϕ(x)T (t) gives

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

RemarkAs always, we choose the minus sign with λ so that the resulting ODET ′(t) = −λT (t) has a decaying solution for positive λ.

http://math.iit.edu

Examples

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t).

This results in

)+ α(x)ϕ(x)T (t).

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

http://math.iit.edu

Examples

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t).

This results in

)+ α(x)ϕ(x)T (t).

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

http://math.iit.edu

Examples

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t).

This results in

)+ α(x)ϕ(x)T (t).

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

http://math.iit.edu

Examples

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t))+ α(x)u(x , t).

This results in

)+ α(x)ϕ(x)T (t).

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

http://math.iit.edu

Examples

From

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

we see that the resulting ODE for the spatial BVP is

ddx(K0(x)ϕ′(x)

)+ α(x)ϕ(x) + λc(x)ρ(x)ϕ(x) = 0

and it is in general not known how to solve this ODE eigenvalueproblem analytically.

http://math.iit.edu

Examples

From

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

ddx(K0(x)ϕ′(x)

)+ α(x)ϕ(x) + λc(x)ρ(x)ϕ(x) = 0

http://math.iit.edu

Examples

From

T ′(t)T (t)

=1

c(x)ρ(x)ϕ(x)d

dx(K0(x)ϕ′(x)

)+

α(x)c(x)ρ(x)

= −λ.

ddx(K0(x)ϕ′(x)

)+ α(x)ϕ(x) + λc(x)ρ(x)ϕ(x) = 0

http://math.iit.edu

Examples

Circularly Symmetric Heat Flow in 2D

The standard 2D-heat equation in polar coordinates is given by

∂u∂t

(r , θ, t) = k∇2u(r , θ, t),

where

∇2u =1r∂

∂r

(r∂u∂r

)+

1r2∂2u∂θ2 .

If we assume circular symmetry, i.e., no dependence on θ, then∂2u∂θ2 = 0 and we have (see also HW 1.5.5)

∂u∂t

(r , t) =kr∂

∂r

(r∂u∂r

(r , t)).

http://math.iit.edu

Examples

Circularly Symmetric Heat Flow in 2D

The standard 2D-heat equation in polar coordinates is given by

∂u∂t

(r , θ, t) = k∇2u(r , θ, t),

where

∇2u =1r∂

∂r

(r∂u∂r

)+

1r2∂2u∂θ2 .

If we assume circular symmetry, i.e., no dependence on θ, then∂2u∂θ2 = 0 and we have (see also HW 1.5.5)

∂u∂t

(r , t) =kr∂

∂r

(r∂u∂r

(r , t)).

http://math.iit.edu

Examples

We assume u(r , t) = ϕ(r)T (t) and apply separation of variables to

∂u∂t

(r , t) =kr∂

∂r

(r∂u∂r

(r , t))

to get

ϕ(r)T ′(t) =kr

ddr(rϕ′(r)T (t)

)or

1k

T ′(t)T (t)

=1

rϕ(r)ddr(rϕ′(r)

)= −λ.

http://math.iit.edu

Examples

We assume u(r , t) = ϕ(r)T (t) and apply separation of variables to

∂u∂t

(r , t) =kr∂

∂r

(r∂u∂r

(r , t))

to get

ϕ(r)T ′(t) =kr

ddr(rϕ′(r)T (t)

)or

1k

T ′(t)T (t)

=1

rϕ(r)ddr(rϕ′(r)

)= −λ.

http://math.iit.edu

Examples

From1k

T ′(t)T (t)

=1

rϕ(r)ddr(rϕ′(r)

)= −λ

we see that the ODE for the spatial (radial) BVP problem is

ddr(rϕ′(r)

)+ λrϕ(r) = 0.

Again, we don’t yet know how to solve this ODE. Contrary to theprevious problem, this equation can be solved using Bessel functions(more later).

In earlier work (see Chapter 2.5) we encountered the steady-statesolution of this equation, i.e., Laplace’s equation.Potential BCs therefore are:

On an annulus, with BCs u(a, t) = u(b, t) = 0 or ϕ(a) = ϕ(b) = 0.On a circular disk, with BCs u(b, t) = 0 and |u(0, t)| <∞, i.e.,ϕ(b) = 0 and |ϕ(0)| <∞.

http://math.iit.edu

Examples

From1k

T ′(t)T (t)

=1

rϕ(r)ddr(rϕ′(r)

)= −λ

ddr(rϕ′(r)

)+ λrϕ(r) = 0.

http://math.iit.edu

Examples

From1k

T ′(t)T (t)

=1

rϕ(r)ddr(rϕ′(r)

)= −λ

ddr(rϕ′(r)

)+ λrϕ(r) = 0.

In earlier work (see Chapter 2.5) we encountered the steady-statesolution of this equation, i.e., Laplace’s equation.

Potential BCs therefore are:On an annulus, with BCs u(a, t) = u(b, t) = 0 or ϕ(a) = ϕ(b) = 0.On a circular disk, with BCs u(b, t) = 0 and |u(0, t)| <∞, i.e.,ϕ(b) = 0 and |ϕ(0)| <∞.

http://math.iit.edu

Examples

From1k

T ′(t)T (t)

=1

rϕ(r)ddr(rϕ′(r)

)= −λ

ddr(rϕ′(r)

)+ λrϕ(r) = 0.

http://math.iit.edu

Sturm–Liouville Eigenvalue Problems

Outline

1 Introduction

2 Examples

http://math.iit.edu

A general form of an ODE that captures all of the examples discussedso far is the Sturm–Liouville differential equation

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0

with given coefficient functions p, q and σ, and parameter λ.

We now show how this equation covers all of our examples.

http://math.iit.edu

Page 34: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

A general form of an ODE that captures all of the examples discussedso far is the Sturm–Liouville differential equation

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0

with given coefficient functions p, q and σ, and parameter λ.

We now show how this equation covers all of our examples.

http://math.iit.edu

Example

If we let p(x) = 1, q(x) = 0 and σ(x) = 1 in

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0

we getϕ′′(x) + λϕ(x) = 0

which led to the standard Fourier series earlier.

http://math.iit.edu

Example

If we let p(x) = K0(x), q(x) = α(x) and σ(x) = c(x)ρ(x) in

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0

we get

ddx(K0(x)ϕ′(x)

)+ α(x)ϕ(x) + λc(x)ρ(x)ϕ(x) = 0

which is the ODE for the heat equation in a nonuniform rod.

http://math.iit.edu

Example

If we let p(x) = x , q(x) = 0 and σ(x) = x in

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0

and then replace x by r we get

ddr(rϕ′(r)

)+ λrϕ(r) = 0

which is the ODE for the circularly symmetric heat equation.

http://math.iit.edu

Example

If we let p(x) = T0, q(x) = α(x) and σ(x) = ρ0(x) in

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0

we getT0ϕ

′′(x) + α(x)ϕ(x) + λρ0(x)ϕ(x) = 0

which is the ODE for vibrations of a nonuniform string (see HW5.3.1).

http://math.iit.edu

Page 39: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Boundary Conditions

A nice summary is provided by the table on p.156 of [Haberman]:

http://math.iit.edu

Page 40: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Regular Sturm–Liouville Eigenvalue Problems

We will now consider the ODEd

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b) (2)

with boundary conditions

β1ϕ(a) + β2ϕ′(a) = 0

(3)β3ϕ(b) + β4ϕ

′(b) = 0

where the βi are real numbers.

DefinitionIf p, q, σ and p′ in (2) are real-valued and continuous on [a,b] and ifp(x) and σ(x) are positive for all x in [a,b], then (2) with (3) is called aregular Sturm–Liouville problem.

RemarkNote that the BCs don’t capture those of the periodic or singular type.

http://math.iit.edu

Page 41: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b) (2)

β1ϕ(a) + β2ϕ′(a) = 0

(3)β3ϕ(b) + β4ϕ

′(b) = 0

http://math.iit.edu

Page 42: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b) (2)

β1ϕ(a) + β2ϕ′(a) = 0

(3)β3ϕ(b) + β4ϕ

′(b) = 0

http://math.iit.edu

Page 43: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Facts for Regular Sturm–Liouville Problems

We pick the well-known example

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(L) = 0

with eigenvalues λn =(nπ

L

)2 and eigenfunctions ϕn(x) = sin nπxL ,

n = 1,2,3, . . . to illustrate the following facts which hold for all regularSturm–Liouville problems.

Later we will study the properties and prove that they hold in moregenerality.

http://math.iit.edu

Page 44: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Facts for Regular Sturm–Liouville Problems

We pick the well-known example

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(L) = 0

with eigenvalues λn =(nπ

L

)2 and eigenfunctions ϕn(x) = sin nπxL ,

n = 1,2,3, . . . to illustrate the following facts which hold for all regularSturm–Liouville problems.

Later we will study the properties and prove that they hold in moregenerality.

http://math.iit.edu

Page 45: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

1 All eigenvalues of a regular SL problem are real.

For our example, obviously λn =(nπ

L

)2 is real for any value of theinteger n.

RemarkThis property ensures that when we search for eigenvalues of aregular SL problem it suffices to consider the three cases

λ > 0, λ = 0 and λ < 0.

Complex values of λ are not possible.

We will later prove this fact.

http://math.iit.edu

Page 46: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

1 All eigenvalues of a regular SL problem are real.For our example, obviously λn =

(nπL

λ > 0, λ = 0 and λ < 0.

http://math.iit.edu

Page 47: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(nπL

λ > 0, λ = 0 and λ < 0.

http://math.iit.edu

Page 48: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(nπL

λ > 0, λ = 0 and λ < 0.

http://math.iit.edu

Page 49: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

2 Every regular SL problem has infinitely many eigenvalues whichcan be strictly ordered (after a possible renumbering)

λ1 < λ2 < λ3 < . . .

For our example, clearly λn =(nπ

L

)2 satisfy this property. We have

λ1 =π2

L2 and λn →∞ as n→∞.

We will not prove this fact.

http://math.iit.edu

Page 50: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 < λ2 < λ3 < . . .

L

λ1 =π2

http://math.iit.edu

Page 51: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 < λ2 < λ3 < . . .

L

λ1 =π2

http://math.iit.edu

Page 52: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

3 Every eigenvalue λn of a regular SL problem has an associatedeigenfunction ϕn which is unique up to a constant factor.

Moreover, ϕn has exactly n − 1 zeros in the open interval (a,b).For our example, λn =

(nπL

)2 is uniquely associated withϕn(x) = sin nπx

L which has n − 1 zeros in (0,L).

We will later prove the first part of this fact.

http://math.iit.edu

Page 53: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

3 Every eigenvalue λn of a regular SL problem has an associatedeigenfunction ϕn which is unique up to a constant factor.Moreover, ϕn has exactly n − 1 zeros in the open interval (a,b).

For our example, λn =(nπ

L

http://math.iit.edu

Page 54: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

3 Every eigenvalue λn of a regular SL problem has an associatedeigenfunction ϕn which is unique up to a constant factor.Moreover, ϕn has exactly n − 1 zeros in the open interval (a,b).For our example, λn =

(nπL

http://math.iit.edu

Page 55: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(nπL

Figure: ϕ1(x) = sin πxL has no zeros in (0,L).

http://math.iit.edu

Page 56: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(nπL

Figure: ϕ2(x) = sin 2πxL has one zero in (0,L).

http://math.iit.edu

Page 57: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(nπL

Figure: ϕ3(x) = sin 3πxL has two zeros in (0,L).

http://math.iit.edu

Page 58: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(nπL

Figure: ϕ3(x) = sin 3πxL has two zeros in (0,L).

http://math.iit.edu

Page 59: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

4 The set of eigenfunctions, {ϕn}∞n=1, of a regular SL problem iscomplete,

i.e., any piecewise smooth function f can berepresented by a generalized Fourier series (or eigenfunctionexpansion)

f (x) ∼∞∑

n=1

anϕn(x)

which converges to 12 [f (x+) + f (x−)] for a < x < b.

The generalized Fourier coefficients an are addressed below inproperty 5.For our example, we have the Fourier sine series

f (x) ∼∞∑

n=1

an sinnπx

L

with the stated convergence properties.We do not prove the completeness claim.

http://math.iit.edu

Page 60: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

4 The set of eigenfunctions, {ϕn}∞n=1, of a regular SL problem iscomplete, i.e., any piecewise smooth function f can berepresented by a generalized Fourier series (or eigenfunctionexpansion)

f (x) ∼∞∑

n=1

anϕn(x)

f (x) ∼∞∑

n=1

an sinnπx

L

http://math.iit.edu

Page 61: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

The generalized Fourier coefficients an are addressed below inproperty 5.

For our example, we have the Fourier sine series

f (x) ∼∞∑

n=1

an sinnπx

L

http://math.iit.edu

Page 62: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

f (x) ∼∞∑

n=1

an sinnπx

L

with the stated convergence properties.

We do not prove the completeness claim.

http://math.iit.edu

Page 63: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

f (x) ∼∞∑

n=1

an sinnπx

L

http://math.iit.edu

Page 64: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

5 The eigenfunctions associated with different eigenvalues of aregular SL problem are orthogonal on (a,b) with respect to theweight σ,

i.e.,∫ b

aϕn(x)ϕm(x)σ(x)dx = 0 provided λn 6= λm.

For our example (where σ(x) = 1) we have∫ L

0sin

nπxL

sinmπx

Ldx =

{0 provided n 6= m,L2 if n = m.

These orthogonality relations give us the generalized Fouriercoefficients.We will later prove this fact.

http://math.iit.edu

Page 65: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

5 The eigenfunctions associated with different eigenvalues of aregular SL problem are orthogonal on (a,b) with respect to theweight σ, i.e.,∫ b

0sin

nπxL

sinmπx

Ldx =

http://math.iit.edu

Page 66: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

0sin

nπxL

sinmπx

Ldx =

http://math.iit.edu

Page 67: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

0sin

nπxL

sinmπx

Ldx =

These orthogonality relations give us the generalized Fouriercoefficients.

http://math.iit.edu

Page 68: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

0sin

nπxL

sinmπx

Ldx =

http://math.iit.edu

Page 69: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

In order to derive the formula for the generalized Fourier coefficientswe begin with the generalized Fourier series

f (x) ∼∞∑

n=1

anϕn(x)

Next, we multiply both sides by ϕm(x)σ(x) and integrate from a to b(assuming we can interchange infinite summation and integration):

Therefore ∫ b

af (x)ϕm(x)σ(x)dx = am

∫ b

aϕ2

m(x)σ(x)dx

or

an =

∫ ba f (x)ϕn(x)σ(x)dx∫ b

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 70: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

Next, we multiply both sides by ϕm(x)σ(x) and integrate from a to b(assuming we can interchange infinite summation and integration):

Therefore ∫ b

∫ b

aϕ2

m(x)σ(x)dx

or

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 71: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

Next, we multiply both sides by ϕm(x)σ(x) and integrate from a to b(assuming we can interchange infinite summation and integration):∫ b

af (x)ϕm(x)σ(x)dx =

∞∑n=1

an

∫ b

aϕn(x)ϕm(x)σ(x)dx

Therefore ∫ b

∫ b

aϕ2

m(x)σ(x)dx

or

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 72: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

∞∑n=1

an

∫ b

aϕn(x)ϕm(x)σ(x)dx︸︷︷︸6=0 only if n=m

Therefore ∫ b

∫ b

aϕ2

m(x)σ(x)dx

or

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 73: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

∞∑n=1

an

∫ b

Therefore ∫ b

∫ b

aϕ2

m(x)σ(x)dx

or

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 74: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

f (x) ∼∞∑

n=1

anϕn(x)

∞∑n=1

an

∫ b

Therefore ∫ b

∫ b

aϕ2

m(x)σ(x)dx

or

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 75: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

RemarkNote that the formula

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

for the generalized Fourier coefficients is well-defined, i.e., thedenominator ∫ b

aϕ2

n(x)σ(x)dx 6= 0

sincefor a regular SL problem we demanded that σ(x) > 0 on [a,b]and we always have ϕ2

n(x) ≥ 0. In fact, we know that ϕn 6≡ 0 dueto the properties of its zeros (see fact 3).

http://math.iit.edu

Page 76: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

RemarkNote that the formula

an =

a ϕ2n(x)σ(x)dx

, n = 1,2,3, . . .

for the generalized Fourier coefficients is well-defined, i.e., thedenominator ∫ b

aϕ2

n(x)σ(x)dx 6= 0

sincefor a regular SL problem we demanded that σ(x) > 0 on [a,b]and we always have ϕ2

n(x) ≥ 0. In fact, we know that ϕn 6≡ 0 dueto the properties of its zeros (see fact 3).

http://math.iit.edu

Page 77: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

6 The Rayleigh quotient provides a way to express the eigenvaluesof a regular SL problem in terms of their associatedeigenfunctions:

λ =− p(x)ϕ(x)ϕ′(x)|ba +

∫ ba

(p(x) [ϕ′(x)]2 − q(x)ϕ2(x)

)dx∫ b

a ϕ2(x)σ(x)dx

The Rayleigh quotient is obtained by integrating the SL-ODE byparts.

We will prove this fact in Chapter 5.6.

http://math.iit.edu

Page 78: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− p(x)ϕ(x)ϕ′(x)|ba +

∫ ba

(p(x) [ϕ′(x)]2 − q(x)ϕ2(x)

)dx∫ b

a ϕ2(x)σ(x)dx

http://math.iit.edu

Page 79: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− p(x)ϕ(x)ϕ′(x)|ba +

∫ ba

(p(x) [ϕ′(x)]2 − q(x)ϕ2(x)

)dx∫ b

a ϕ2(x)σ(x)dx

http://math.iit.edu

Page 80: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

In our example, we have p(x) = 1, q(x) = 0, σ(x) = 1, a = 0 andb = L, so that

λ =− ϕ(x)ϕ′(x)|L0 +

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

.

Using the boundary conditions ϕ(0) = ϕ(L) = 0 we get

λ =

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

.

RemarkNote that this formula gives us information about the relationshipbetween the eigenvalue and eigenfunction – even though in generalneither λ nor ϕ is known.

http://math.iit.edu

Page 81: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− ϕ(x)ϕ′(x)|L0 +

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

.

λ =

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

.

http://math.iit.edu

Page 82: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− ϕ(x)ϕ′(x)|L0 +

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

.

λ =

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

.

http://math.iit.edu

Page 83: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

For example, sinceϕ2(x) ≥ 0,ϕ 6≡ 0, and[ϕ′(x)]2 ≥ 0

we can conclude from the Rayleigh quotient

λ =

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

,

i.e., for our example, that λ ≥ 0

Therefore, the Rayleigh quotient shows – without any detailedcalculations – that our example can not have any negative eigenvalues.

http://math.iit.edu

Page 84: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

For example, sinceϕ2(x) ≥ 0,ϕ 6≡ 0, and[ϕ′(x)]2 ≥ 0

we can conclude from the Rayleigh quotient

λ =

∫ L0 [ϕ′(x)]2 dx∫ L

0 ϕ2(x)dx

,

i.e., for our example, that λ ≥ 0Therefore, the Rayleigh quotient shows – without any detailedcalculations – that our example can not have any negative eigenvalues.

http://math.iit.edu

Page 85: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Moreover, we can also conclude that λ = 0 is not possible for ourexample.

If we had λ = 0 then the Rayleigh quotient would imply∫ L

0

[ϕ′(x)

]2 dx = 0

orϕ′(x) = 0 for all x in [0,L] =⇒ ϕ(x) = const.

However, the BCs ϕ(0) = ϕ(L) = 0 would then imply ϕ ≡ 0, but this isnot an eigenfunction, and so λ = 0 is not an eigenvalue.

http://math.iit.edu

Page 86: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Moreover, we can also conclude that λ = 0 is not possible for ourexample.If we had λ = 0 then the Rayleigh quotient would imply∫ L

0

[ϕ′(x)

]2 dx = 0

http://math.iit.edu

Page 87: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

0

[ϕ′(x)

]2 dx = 0

http://math.iit.edu

Page 88: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

0

[ϕ′(x)

]2 dx = 0

http://math.iit.edu

Heat Flow in a Nonuniform Rod without Sources

Outline

1 Introduction

2 Examples

http://math.iit.edu

As discussed at the beginning of this chapter, the PDE used to modelheat flow in a 1D rod without sources (i.e., Q(x , t) = 0) is

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t)).

We add boundary conditions

u(0, t) = 0 and∂u∂x

(L, t) = 0

to model fixed temperature zero at the left end and perfect insulation atx = L.The initial temperature is

u(x ,0) = f (x).

Note that this corresponds to (1) studied earlier with α(x) = 0, andtherefore we will use separation of variables.

http://math.iit.edu

Page 91: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t)).

u(0, t) = 0 and∂u∂x

(L, t) = 0

to model fixed temperature zero at the left end and perfect insulation atx = L.

The initial temperature is

u(x ,0) = f (x).

http://math.iit.edu

Page 92: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t)).

u(0, t) = 0 and∂u∂x

(L, t) = 0

u(x ,0) = f (x).

http://math.iit.edu

Page 93: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

c(x)ρ(x)∂u∂t

(x , t) =∂

∂x

(K0(x)

∂u∂x

(x , t)).

u(0, t) = 0 and∂u∂x

(L, t) = 0

u(x ,0) = f (x).

http://math.iit.edu

Page 94: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The Ansatz u(x , t) = ϕ(x)T (t) gives us the two ODEs

T ′(t) = −λT (t) (4)

andd

dx(K0(x)ϕ′(x)

)+ λc(x)ρ(x)ϕ(x) = 0. (5)

The boundary conditions for (5) are

ϕ(0) = 0 and ϕ′(L) = 0. (6)

We also know that solutions of (4) are given by

Tn(t) = c1e−λnt ,

where λn, n = 1,2,3, . . ., are the eigenvalues of the Sturm–Liouvilleproblem (5)-(6).

http://math.iit.edu

Page 95: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T ′(t) = −λT (t) (4)

andd

dx(K0(x)ϕ′(x)

)+ λc(x)ρ(x)ϕ(x) = 0. (5)

ϕ(0) = 0 and ϕ′(L) = 0. (6)

http://math.iit.edu

Page 96: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T ′(t) = −λT (t) (4)

andd

dx(K0(x)ϕ′(x)

)+ λc(x)ρ(x)ϕ(x) = 0. (5)

ϕ(0) = 0 and ϕ′(L) = 0. (6)

http://math.iit.edu

Page 97: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Note that the boundary value problem (5)-(6)

ddx (K0(x)ϕ′(x)) + λc(x)ρ(x)ϕ(x) = 0

ϕ(0) = 0 and ϕ′(L) = 0

is indeed a regular Sturm–Liouville problem:

p(x) = K0(x), the thermal conductivity, is positive, real-valued andcontinuous on [0,L],q(x) = 0, so it is also real-valued and continuous on [0,L],σ(x) = c(x)ρ(x), the product of specific heat and density, ispositive, real-valued and continuous on [0,L], andp′(x) = K ′0(x) is real-valued and (hopefully) continuous on [0,L].

RemarkNote that the above assertions are true only for “nice enough”functions K0, c and ρ.

http://math.iit.edu

Page 98: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ddx (K0(x)ϕ′(x)) + λc(x)ρ(x)ϕ(x) = 0

ϕ(0) = 0 and ϕ′(L) = 0

is indeed a regular Sturm–Liouville problem:p(x) = K0(x), the thermal conductivity, is positive, real-valued andcontinuous on [0,L],q(x) = 0, so it is also real-valued and continuous on [0,L],σ(x) = c(x)ρ(x), the product of specific heat and density, ispositive, real-valued and continuous on [0,L], andp′(x) = K ′0(x) is real-valued and (hopefully) continuous on [0,L].

http://math.iit.edu

Page 99: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ddx (K0(x)ϕ′(x)) + λc(x)ρ(x)ϕ(x) = 0

ϕ(0) = 0 and ϕ′(L) = 0

is indeed a regular Sturm–Liouville problem:p(x) = K0(x), the thermal conductivity, is positive, real-valued andcontinuous on [0,L],q(x) = 0, so it is also real-valued and continuous on [0,L],σ(x) = c(x)ρ(x), the product of specific heat and density, ispositive, real-valued and continuous on [0,L], andp′(x) = K ′0(x) is real-valued and (hopefully) continuous on [0,L].

http://math.iit.edu

Page 100: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The boundary value problem

ddx (K0(x)ϕ′(x)) + λc(x)ρ(x)ϕ(x) = 0

ϕ(0) = 0 and ϕ′(L) = 0

is quite a bit more complicated than the eigenvalue problems westudied earlier and for general K0, c and ρ an analytical solution doesnot exist.

Instead, we use the properties of regular Sturm–Liouvilleproblems to obtain as much qualitative information about thesolution u as possible.One could use numerical methods to find approximateeigenvalues and eigenfunctions.

http://math.iit.edu

Page 101: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ddx (K0(x)ϕ′(x)) + λc(x)ρ(x)ϕ(x) = 0

ϕ(0) = 0 and ϕ′(L) = 0

Instead, we use the properties of regular Sturm–Liouvilleproblems to obtain as much qualitative information about thesolution u as possible.

One could use numerical methods to find approximateeigenvalues and eigenfunctions.

http://math.iit.edu

Page 102: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ddx (K0(x)ϕ′(x)) + λc(x)ρ(x)ϕ(x) = 0

ϕ(0) = 0 and ϕ′(L) = 0

Instead, we use the properties of regular Sturm–Liouvilleproblems to obtain as much qualitative information about thesolution u as possible.One could use numerical methods to find approximateeigenvalues and eigenfunctions.

http://math.iit.edu

Page 103: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

From the general Sturm–Liouville properties we know:1. & 2. There are infinitely many real eigenvalues satisfying

λ1 < λ2 < λ3 < . . .

3. & 4. A complete set of associated eigenfunctions {ϕn}∞n=1exists (but in general we don’t know the explicit form ofϕn).

5. The eigenfunctions are orthogonal on [0,L] with respectto the weight

σ(x) = c(x)ρ(x).

Therefore, using superposition and Tn(t) = e−λnt , the solution will beof the form

u(x , t) =∞∑

n=1

anϕn(x)e−λnt .

http://math.iit.edu

Page 104: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 < λ2 < λ3 < . . .

σ(x) = c(x)ρ(x).

u(x , t) =∞∑

n=1

anϕn(x)e−λnt .

http://math.iit.edu

Page 105: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 < λ2 < λ3 < . . .

σ(x) = c(x)ρ(x).

u(x , t) =∞∑

n=1

anϕn(x)e−λnt .

http://math.iit.edu

Page 106: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 < λ2 < λ3 < . . .

σ(x) = c(x)ρ(x).

u(x , t) =∞∑

n=1

anϕn(x)e−λnt .

http://math.iit.edu

Page 107: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

As we have done before, the generalized Fourier coefficients an can bedetermined using the orthogonality of the eigenfunctions and the initialcondition:

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x).

Multiplication by ϕm(x)c(x)ρ(x) and integration from 0 to L yield:

Therefore

an =

∫ L0 f (x)ϕn(x)c(x)ρ(x)dx∫ L

0 ϕ2n(x)c(x)ρ(x)dx

, n = 1,2,3, . . .

http://math.iit.edu

Page 108: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x).

Therefore

an =

, n = 1,2,3, . . .

http://math.iit.edu

Page 109: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x).

∫ L

0f (x)ϕm(x)c(x)ρ(x)dx =

∞∑n=1

an

∫ L

0ϕn(x)ϕm(x)c(x)ρ(x)dx

Therefore

an =

, n = 1,2,3, . . .

http://math.iit.edu

Page 110: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x).

∫ L

∞∑n=1

an

∫ L

0ϕn(x)ϕm(x)c(x)ρ(x)dx︸︷︷︸

=0 when n 6=m

Therefore

an =

, n = 1,2,3, . . .

http://math.iit.edu

Page 111: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x).

∫ L

∞∑n=1

an

∫ L

0ϕn(x)ϕm(x)c(x)ρ(x)dx︸︷︷︸

=0 when n 6=mTherefore

an =

, n = 1,2,3, . . .

http://math.iit.edu

Page 112: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Qualitative analysis of the solution for large values of t

First, we use the Rayleigh quotient

λ =− p(x)ϕ(x)ϕ′(x)|ba +

∫ ba

(p(x) [ϕ′(x)]2 − q(x)ϕ2(x)

)dx∫ b

a ϕ2(x)σ(x)dx

,

which for us – using [a,b] = [0,L], p(x) = K0(x), q(x) = 0, andσ(x) = c(x)ρ(x) – becomes

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx,

to show that all eigenvalues are positive.

http://math.iit.edu

Page 113: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Qualitative analysis of the solution for large values of t

First, we use the Rayleigh quotient

λ =− p(x)ϕ(x)ϕ′(x)|ba +

∫ ba

(p(x) [ϕ′(x)]2 − q(x)ϕ2(x)

)dx∫ b

a ϕ2(x)σ(x)dx

,

which for us – using [a,b] = [0,L], p(x) = K0(x), q(x) = 0, andσ(x) = c(x)ρ(x) – becomes

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx,

to show that all eigenvalues are positive.

http://math.iit.edu

Page 114: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

Since K0(x), c(x) and ρ(x) are all positive we have λ ≥ 0.

The only way for λ = 0 would be to have ϕ′(x) = 0.This, however, is not possible since this would imply ϕ(x) = const andthe BC ϕ(0) = 0 would force ϕ(x) ≡ 0 (which is not a possibleeigenfunction).Therefore, λ > 0.

http://math.iit.edu

Page 115: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

=K0(0)ϕ(0)ϕ′(0)− K0(L)ϕ(L)ϕ′(L) +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

http://math.iit.edu

Page 116: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

K0(0)ϕ(0)︸︷︷︸=0

ϕ′(0)− K0(L)ϕ(L)ϕ′(L)︸︷︷︸=0

+∫ L

0 K0(x) [ϕ′(x)]2 dx

∫ L0 ϕ

2(x)c(x)ρ(x)dx

http://math.iit.edu

Page 117: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

K0(0)ϕ(0)︸︷︷︸=0

ϕ′(0)− K0(L)ϕ(L)ϕ′(L)︸︷︷︸=0

+∫ L

0 K0(x) [ϕ′(x)]2 dx

∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

http://math.iit.edu

Page 118: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

K0(0)ϕ(0)︸︷︷︸=0

ϕ′(0)− K0(L)ϕ(L)ϕ′(L)︸︷︷︸=0

+∫ L

0 K0(x) [ϕ′(x)]2 dx

∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dxSince K0(x), c(x) and ρ(x) are all positive we have λ ≥ 0.

http://math.iit.edu

Page 119: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

K0(0)ϕ(0)︸︷︷︸=0

ϕ′(0)− K0(L)ϕ(L)ϕ′(L)︸︷︷︸=0

+∫ L

0 K0(x) [ϕ′(x)]2 dx

∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

The only way for λ = 0 would be to have ϕ′(x) = 0.

This, however, is not possible since this would imply ϕ(x) = const andthe BC ϕ(0) = 0 would force ϕ(x) ≡ 0 (which is not a possibleeigenfunction).Therefore, λ > 0.

http://math.iit.edu

Page 120: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We have

λ =− K0(x)ϕ(x)ϕ′(x)|L0 +

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

K0(0)ϕ(0)︸︷︷︸=0

ϕ′(0)− K0(L)ϕ(L)ϕ′(L)︸︷︷︸=0

+∫ L

0 K0(x) [ϕ′(x)]2 dx

∫ L0 ϕ

2(x)c(x)ρ(x)dx

=

∫ L0 K0(x) [ϕ′(x)]

2 dx∫ L0 ϕ

http://math.iit.edu

Page 121: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The fact that all eigenvalues λn > 0 implies that the solution

u(x , t) =∞∑

n=1

anϕn(x)e−λnt

will decay over time.

Moreover, sincethe decay is exponentialand since λn increases with n,

the most significant contribution to the solution for large values of tcomes from the first term of the series, i.e.,

u(x , t) ≈ a1ϕ1(x)e−λ1t , t large.

http://math.iit.edu

Page 122: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

anϕn(x)e−λnt

http://math.iit.edu

Page 123: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

anϕn(x)e−λnt

http://math.iit.edu

Page 124: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since

a1 =

∫ L0 f (x)ϕ1(x)c(x)ρ(x)dx∫ L

0 ϕ21(x)c(x)ρ(x)dx

we can conclude that a1 6= 0 provided f (x) ≥ 0 (and not identicallyequal zero).

This is true sincec(x) > 0, ρ(x) > 0 andeither ϕ1(x) > 0 or ϕ1(x) < 0 (recall that SL-property 3 tells usthat ϕ1 has no zeros in (0,L).

RemarkThus, the smallest eigenvalue along with its associated eigenfunctionprovide essential qualitative information about the solution.

http://math.iit.edu

Page 125: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since

a1 =

we can conclude that a1 6= 0 provided f (x) ≥ 0 (and not identicallyequal zero).This is true since

c(x) > 0, ρ(x) > 0 and

either ϕ1(x) > 0 or ϕ1(x) < 0 (recall that SL-property 3 tells usthat ϕ1 has no zeros in (0,L).

http://math.iit.edu

Page 126: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since

a1 =

c(x) > 0, ρ(x) > 0 andeither ϕ1(x) > 0 or ϕ1(x) < 0 (recall that SL-property 3 tells usthat ϕ1 has no zeros in (0,L).

http://math.iit.edu

Page 127: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since

a1 =

c(x) > 0, ρ(x) > 0 andeither ϕ1(x) > 0 or ϕ1(x) < 0 (recall that SL-property 3 tells usthat ϕ1 has no zeros in (0,L).

http://math.iit.edu

Self-Adjoint Operators and Sturm–Liouville Eigenvalue Problems

Outline

1 Introduction

2 Examples

http://math.iit.edu

We now begin our careful study of the general regular Sturm–Liouvilleproblem

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b)

β1ϕ(a) + β2ϕ′(a) = 0

β3ϕ(b) + β4ϕ′(b) = 0

where the βi are real numbers, and p, q, σ and p′ are real-valued andcontinuous on [a,b] and p(x) and σ(x) are positive for all x in [a,b].

http://math.iit.edu

Page 130: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The notation is simplified and our discussion will be more transparent ifwe use operator notation, i.e., we write the Sturm–Liouville problem as

(Lϕ)(x) + λσ(x)ϕ(x) = 0

with the SL differential operator L defined by

Lϕ =d

dx(pϕ′)+ qϕ.

RemarkRecall that we used differential operators earlier in our discussionof linearity.From now on, L will denote the specific SL operator definedabove.

http://math.iit.edu

Page 131: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(Lϕ)(x) + λσ(x)ϕ(x) = 0

Lϕ =d

dx(pϕ′)+ qϕ.

RemarkRecall that we used differential operators earlier in our discussionof linearity.

From now on, L will denote the specific SL operator definedabove.

http://math.iit.edu

Page 132: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

(Lϕ)(x) + λσ(x)ϕ(x) = 0

Lϕ =d

dx(pϕ′)+ qϕ.

RemarkRecall that we used differential operators earlier in our discussionof linearity.From now on, L will denote the specific SL operator definedabove.

http://math.iit.edu

Page 133: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lagrange’s Identity

For arbitrary functions u and v (with sufficient smoothness) and the SLoperator L defined by

Lϕ =d

dx(pϕ′)+ qϕ

the formulauLv − vLu =

ddx[p(uv ′ − vu′

)]is known as Lagrange’s identity.

RemarkThis identity will play an important role in the definition ofself-adjointness of a linear operator – an important concept analogousto symmetry of a matrix.

http://math.iit.edu

Page 134: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lagrange’s Identity

Lϕ =d

dx(pϕ′)+ qϕ

the formulauLv − vLu =

)]is known as Lagrange’s identity.

RemarkThis identity will play an important role in the definition ofself-adjointness of a linear operator – an important concept analogousto symmetry of a matrix.

http://math.iit.edu

Page 135: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now verify that Lagrange’s identity is true:

uLv − vLu def L= u

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]

distribute= u

ddx(pv ′)+ uqv − v

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

dx[p(uv ′ − vu′

)]

http://math.iit.edu

Page 136: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

dx(pv ′)+ uqv − v

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

)]

http://math.iit.edu

Page 137: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

)]

http://math.iit.edu

Page 138: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)

rearrange= p′

(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

)]

http://math.iit.edu

Page 139: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)

= p′(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

)]

http://math.iit.edu

Page 140: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)

prod rule= p′

(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

)]

http://math.iit.edu

Page 141: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′

prod rule=

)]

http://math.iit.edu

Page 142: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

[d

dx(pv ′)+ qv

]− v

[d

dx(pu′)+ qu

]distribute

= ud

ddx(pu′)−vqu

= ud

dx(pv ′)− v

ddx(pu′)

prod rule= u

(p′v ′ + pv ′′

)− v

(p′u′ + pu′′

)rearrange

= p′(uv ′ − vu′

)+ p

(uv ′′ − vu′′

)= p′

(uv ′ − vu′

)+ p

(u′v ′ + uv ′′ − v ′u′ − vu′′

)prod rule

= p′(uv ′ − vu′

)+ p

(uv ′ − vu′

)′prod rule

=d

)]

http://math.iit.edu

Page 143: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Green’s Formula

Lϕ =d

dx(pϕ′)+ qϕ

the formula∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx =

[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba

is known as Green’s formula.

RemarkGreen’s formula is an immediate consequence of Lagrange’s identity,i.e., we simply replace the integrand uLv − vLu by d

dx [p (uv ′ − vu′)].Therefore it may also be called the integral form of Lagrange’s identity.

http://math.iit.edu

Page 144: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Green’s Formula

Lϕ =d

dx(pϕ′)+ qϕ

the formula∫ b

[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba

is known as Green’s formula.

RemarkGreen’s formula is an immediate consequence of Lagrange’s identity,i.e., we simply replace the integrand uLv − vLu by d

dx [p (uv ′ − vu′)].Therefore it may also be called the integral form of Lagrange’s identity.

http://math.iit.edu

Example

Let’s consider the special SL differential operator Lu = u′′, i.e., withp(x) = 1 and q(x) = 0, and see what Lagrange’s identity and Green’sformula look like in this case.

For Lagrange’s identity we have the left-hand side

uLv − vLu = uv ′′ − vu′′

and right-hand side

)]=

ddx[(

uv ′ − vu′)].

Therefore Lagrange’s identity says that

uv ′′ − vu′′ =d

dx[(

uv ′ − vu′)].

http://math.iit.edu

Example

Let’s consider the special SL differential operator Lu = u′′, i.e., withp(x) = 1 and q(x) = 0, and see what Lagrange’s identity and Green’sformula look like in this case.For Lagrange’s identity we have the left-hand side

and right-hand side

)]=

ddx[(

uv ′ − vu′)].

uv ′′ − vu′′ =d

dx[(

uv ′ − vu′)].

http://math.iit.edu

Example

and right-hand side

)]=

ddx[(

uv ′ − vu′)].

uv ′′ − vu′′ =d

dx[(

uv ′ − vu′)].

http://math.iit.edu

Example

and right-hand side

)]=

ddx[(

uv ′ − vu′)].

uv ′′ − vu′′ =d

dx[(

uv ′ − vu′)].

http://math.iit.edu

Page 149: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)For Green’s formula the left-hand side is∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)]dx =

∫ b

a

[u(x)v ′′(x)− v(x)u′′(x)

]dx

and the right-hand side[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba =

[u(x)v ′(x)− v(x)u′(x)

]ba .

Therefore Green’s formula says that∫ b

a

[u(x)v ′′(x)− v(x)u′′(x)

]dx =

[u(x)v ′(x)− v(x)u′(x)

]ba .

http://math.iit.edu

Page 150: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∫ b

a

[u(x)v ′′(x)− v(x)u′′(x)

]dx

(u(x)v ′(x)− v(x)u′(x)

)]ba =

[u(x)v ′(x)− v(x)u′(x)

]ba .

a

[u(x)v ′′(x)− v(x)u′′(x)

]dx =

[u(x)v ′(x)− v(x)u′(x)

]ba .

http://math.iit.edu

Page 151: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∫ b

a

[u(x)v ′′(x)− v(x)u′′(x)

]dx

(u(x)v ′(x)− v(x)u′(x)

)]ba =

[u(x)v ′(x)− v(x)u′(x)

]ba .

a

[u(x)v ′′(x)− v(x)u′′(x)

]dx =

[u(x)v ′(x)− v(x)u′(x)

]ba .

http://math.iit.edu

Page 152: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Self-adjointness

Let’s assume we have functions u and v that satisfy the condition[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba = 0,

but are otherwise arbitrary.

Then Green’s formula∫ b

[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba

tells us that ∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0.

In fact, we will illustrate below that if u and v simply satisfy the sameset of (SL-type) boundary conditions, then L satisfies∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0. (7)

http://math.iit.edu

Page 153: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Self-adjointness

(u(x)v ′(x)− v(x)u′(x)

)]ba = 0,

but are otherwise arbitrary.Then Green’s formula∫ b

[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba

tells us that ∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0.

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0. (7)

http://math.iit.edu

Page 154: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Self-adjointness

(u(x)v ′(x)− v(x)u′(x)

)]ba = 0,

but are otherwise arbitrary.Then Green’s formula∫ b

[p(x)

(u(x)v ′(x)− v(x)u′(x)

)]ba

tells us that ∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0.

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0. (7)

http://math.iit.edu

Page 155: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Remark

With the inner product notation 〈f ,g〉 =∫ b

a f (x)g(x)dx we used inChapter 2 we can write (7)∫ b

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0

as

〈u,Lv〉 = 〈v ,Lu〉.

This is analogous to the vector-matrix identity xT Ay = yT Ax which istrue if A = AT is symmetric.

Thus, the SL operator behaves in some ways similarly to a symmetricmatrix. Since symmetric matrices are sometimes also referred to asself-adjoint matrices, the operator L is called a self-adjoint differentialoperator.

http://math.iit.edu

Page 156: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Remark

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0

as

〈u,Lv〉 = 〈v ,Lu〉.

http://math.iit.edu

Page 157: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Remark

a[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0

as

〈u,Lv〉 = 〈v ,Lu〉.

http://math.iit.edu

Page 158: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ExampleThe general SL differential operator

Lϕ =d

dx(pϕ′)+ qϕ

with boundary conditions ϕ(0) = ϕ(L) = 0 is self-adjoint.

To show this we take arbitrary functions u and v that both satisfy theBCs, i.e.,

u(0) = u(L) = 0 and v(0) = v(L) = 0,

and we show that (7) holds, i.e.,∫ L

0[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0.

http://math.iit.edu

Page 159: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ExampleThe general SL differential operator

Lϕ =d

dx(pϕ′)+ qϕ

with boundary conditions ϕ(0) = ϕ(L) = 0 is self-adjoint.

To show this we take arbitrary functions u and v that both satisfy theBCs, i.e.,

u(0) = u(L) = 0 and v(0) = v(L) = 0,

and we show that (7) holds, i.e.,∫ L

0[u(x)(Lv)(x)− v(x)(Lu)(x)] dx = 0.

http://math.iit.edu

Page 160: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)

∫ L

0[u(x)(Lv)(x)− v(x)(Lu)(x)]dx Green

= [p(x) (u(x)v ′(x)− v(x)u′(x))]L0

RemarkIn fact, any regular Sturm–Liouville problem is self-adjoint (seeHW 5.5.1).

Moreover, the Sturm–Liouville differential equation with periodic orsingularity BCs is also self-adjoint (see HW 5.5.1).

http://math.iit.edu

Page 161: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)

∫ L

= [p(x) (u(x)v ′(x)− v(x)u′(x))]L0

= p(L) (u(L)v ′(L)− v(L)u′(L))−p(0) (u(0)v ′(0)− v(0)u′(0))

RemarkIn fact, any regular Sturm–Liouville problem is self-adjoint (seeHW 5.5.1).Moreover, the Sturm–Liouville differential equation with periodic orsingularity BCs is also self-adjoint (see HW 5.5.1).

http://math.iit.edu

Page 162: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)

∫ L

= [p(x) (u(x)v ′(x)− v(x)u′(x))]L0

= p(L)(

u(L)︸︷︷︸=0

v ′(L)− v(L)︸︷︷︸=0

u′(L))

−p(0)(

u(0)︸︷︷︸=0

v ′(0)− v(0)︸︷︷︸=0

u′(0))

http://math.iit.edu

Page 163: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)

∫ L

= [p(x) (u(x)v ′(x)− v(x)u′(x))]L0

= p(L)(

u(L)︸︷︷︸=0

v ′(L)− v(L)︸︷︷︸=0

u′(L))

−p(0)(

u(0)︸︷︷︸=0

v ′(0)− v(0)︸︷︷︸=0

u′(0))

= 0.

http://math.iit.edu

Page 164: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)

∫ L

= [p(x) (u(x)v ′(x)− v(x)u′(x))]L0

= p(L)(

u(L)︸︷︷︸=0

v ′(L)− v(L)︸︷︷︸=0

u′(L))

−p(0)(

u(0)︸︷︷︸=0

v ′(0)− v(0)︸︷︷︸=0

u′(0))

= 0.

http://math.iit.edu

Page 165: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Orthogonality of Eigenfunctions

Earlier we claimed (see Property 5):

For regular SL problems the eigenfunctions to different eigenvaluesare orthogonal on (a,b) with respect to the weight σ, i.e.,∫ b

aϕn(x)ϕm(x)σ(x) = 0 provided n 6= m,

and we illustrated this property with the functions

ϕn(x) = sinnπx

L, n = 1,2,3, . . .

We now prove this is true in general.

http://math.iit.edu

Page 166: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Orthogonality of Eigenfunctions

Earlier we claimed (see Property 5):

For regular SL problems the eigenfunctions to different eigenvaluesare orthogonal on (a,b) with respect to the weight σ, i.e.,∫ b

aϕn(x)ϕm(x)σ(x) = 0 provided n 6= m,

and we illustrated this property with the functions

ϕn(x) = sinnπx

L, n = 1,2,3, . . .

We now prove this is true in general.

http://math.iit.edu

Page 167: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We start by considering two different eigenvalues λm and λn of L.

The corresponding SL differential equations are (in operator notation)

Lϕm(x) + λmσ(x)ϕm(x) = 0 (8)Lϕn(x) + λnσ(x)ϕn(x) = 0 (9)

and the corresponding BCs are

β1ϕm(a) + β2ϕ′m(a) = 0

β3ϕm(b) + β4ϕ′m(b) = 0

and (with the same constants βi )

β1ϕn(a) + β2ϕ′n(a) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

http://math.iit.edu

Page 168: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We start by considering two different eigenvalues λm and λn of L.The corresponding SL differential equations are (in operator notation)

β1ϕm(a) + β2ϕ′m(a) = 0

β3ϕm(b) + β4ϕ′m(b) = 0

β1ϕn(a) + β2ϕ′n(a) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

http://math.iit.edu

Page 169: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We start by considering two different eigenvalues λm and λn of L.The corresponding SL differential equations are (in operator notation)

β1ϕm(a) + β2ϕ′m(a) = 0

β3ϕm(b) + β4ϕ′m(b) = 0

β1ϕn(a) + β2ϕ′n(a) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

http://math.iit.edu

Page 170: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now subtract ϕm(9)− ϕn(8):

ϕm (Lϕn + λnσϕn)− ϕn (Lϕm + λmσϕm) = 0

or

ϕmLϕn − ϕnLϕm = ϕnλmσϕm − ϕmλnσϕn

⇐⇒ ϕmLϕn − ϕnLϕm = (λm − λn)σϕmϕn (10)

Green’s formula with u = ϕm and v = ϕn says∫ b

a[ϕm(x)(Lϕn)(x)− ϕn(x)(Lϕm)(x)]dx = [p(x) (ϕm(x)ϕ′n(x)− ϕn(x)ϕ′m(x))]

ba

(11)

and we replace the integrand of (11) with the right-hand side of (10).

http://math.iit.edu

Page 171: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

ba

(11)

http://math.iit.edu

Page 172: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

ba

(11)

http://math.iit.edu

Page 173: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

ba

(11)

http://math.iit.edu

Page 174: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

ba

(11)

http://math.iit.edu

Page 175: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

This gives us∫ b

a[(λm − λn)σ(x)ϕm(x)ϕn(x)]dx = [p(x) (ϕm(x)ϕ′n(x)− ϕn(x)ϕ′m(x))]

ba

Note that the BCs for ϕm and ϕn at x = b

β3ϕm(b) + β4ϕ′m(b) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

imply

ϕ′m(b) = −β3

β4ϕm(b) and ϕ′n(b) = −

β3

β4ϕn(b)

Therefore B = 0, and A = 0 follows similarly.

http://math.iit.edu

Page 176: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

This gives us∫ b

a[(λm − λn)σ(x)ϕm(x)ϕn(x)]dx = [p(x) (ϕm(x)ϕ′n(x)− ϕn(x)ϕ′m(x))]

ba

= p(b) (ϕm(b)ϕ′n(b)− ϕn(b)ϕ′m(b))−p(a) (ϕm(a)ϕ′n(a)− ϕn(a)ϕ′m(a))

β3ϕm(b) + β4ϕ′m(b) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

imply

ϕ′m(b) = −β3

β3

β4ϕn(b)

http://math.iit.edu

Page 177: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

This gives us∫ b

a(λm − λn)σ(x)ϕm(x)ϕn(x)dx = [p(x) (ϕm(x)ϕ′n(x)− ϕn(x)ϕ′m(x))]

ba

= p(b)(ϕm(b)ϕ′n(b)− ϕn(b)ϕ′m(b)︸︷︷︸

=B

)−p(a)

(ϕm(a)ϕ′n(a)− ϕn(a)ϕ′m(a)︸︷︷︸

=A

)

β3ϕm(b) + β4ϕ′m(b) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

imply

ϕ′m(b) = −β3

β3

β4ϕn(b)

http://math.iit.edu

Page 178: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

This gives us∫ b

ba

=B

)−p(a)

=A

)

β3ϕm(b) + β4ϕ′m(b) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

imply

ϕ′m(b) = −β3

β3

β4ϕn(b)

http://math.iit.edu

Page 179: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

This gives us∫ b

ba

=B

)−p(a)

=A

)

β3ϕm(b) + β4ϕ′m(b) = 0

β3ϕn(b) + β4ϕ′n(b) = 0

imply

ϕ′m(b) = −β3

β3

β4ϕn(b)

Therefore B = 0, and A = 0 follows [email protected] MATH 461 – Chapter 5 60

http://math.iit.edu

Page 180: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since both A and B are zero we have∫ b

a(λm − λn)σ(x)ϕm(x)ϕn(x)dx = 0

or

(λm − λn)

∫ b

aσ(x)ϕm(x)ϕn(x)dx = 0

and therefore – as long as λm 6= λn – we have∫ b

aσ(x)ϕm(x)ϕn(x)dx = 0,

the claimed orthogonality. �

RemarkNote that Green’s formula significantly simplified this proof since wenever had to actually evaluate an integral.

http://math.iit.edu

Page 181: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

(λm − λn)

∫ b

http://math.iit.edu

Page 182: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

(λm − λn)

∫ b

http://math.iit.edu

Page 183: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

or

(λm − λn)

∫ b

http://math.iit.edu

Page 184: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

All eigenvalues are real

This was the claim of Property 1, and will now prove that it is true forgeneral regular SL problems.

Our strategy will be to assume that there is a complex eigenvalue andshow that this leads to a contradiction.

The SL differential equation is

Lϕ+ λσϕ = 0,

where ϕ (as well as λ) is allowed to be complex-valued, but σ and thecoefficients p and q in L are real.We also assume that the coefficients βi of the BCs remain real.

http://math.iit.edu

Page 185: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0,

http://math.iit.edu

Page 186: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0,

http://math.iit.edu

Page 187: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The complex conjugate of this equation is

Lϕ+ λσϕ = 0.

Since the coefficients p and q of L are real we have (see HW 5.5.7)Lϕ = Lϕ and so

Lϕ+ λσϕ = 0,

i.e., ϕ satisfies the Sturm–Liouville equation (with complex conjugateeigenvalue).Since the βi are real, ϕ satisfies the BCs whenever ϕ does: e.g., atx = a we have

β1ϕ(a) + β2ϕ′(a) = 0

conjugate⇐⇒ β1ϕ(a) + β2ϕ′(a) = 0βi real⇐⇒ β1ϕ(a) + β2ϕ′(a) = 0

http://math.iit.edu

Page 188: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0.

Lϕ+ λσϕ = 0,

β1ϕ(a) + β2ϕ′(a) = 0

http://math.iit.edu

Page 189: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0.

Lϕ+ λσϕ = 0,

i.e., ϕ satisfies the Sturm–Liouville equation (with complex conjugateeigenvalue).

Since the βi are real, ϕ satisfies the BCs whenever ϕ does: e.g., atx = a we have

β1ϕ(a) + β2ϕ′(a) = 0

http://math.iit.edu

Page 190: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0.

Lϕ+ λσϕ = 0,

β1ϕ(a) + β2ϕ′(a) = 0

http://math.iit.edu

Page 191: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0.

Lϕ+ λσϕ = 0,

β1ϕ(a) + β2ϕ′(a) = 0

conjugate⇐⇒ β1ϕ(a) + β2ϕ′(a) = 0

βi real⇐⇒ β1ϕ(a) + β2ϕ′(a) = 0

http://math.iit.edu

Page 192: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ+ λσϕ = 0.

Lϕ+ λσϕ = 0,

β1ϕ(a) + β2ϕ′(a) = 0

http://math.iit.edu

Page 193: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

So far we have established that both ϕ and ϕ satisfy the SL problem.

Their associated eigenvalues are λ and λ.

Note that λ 6= λ provided λ is complex as assumed.

Therefore, orthogonality of the associated eigenfunctions gives∫ b

aϕ(x)ϕ(x)σ(x)dx = 0.

However, σ(x) > 0 and ϕ(x)ϕ(x) = |ϕ(x)|2 ≥ 0.

Therefore we must have ϕ(x) ≡ 0, which contradicts that ϕ is aneigenfunction, and so λ cannot be complex. �

Uniqueness of Eigenfunctions

This was the claim of Property 3. We now prove this holds for generalregular SL problems.

As with any standard uniqueness proof we assume that ϕ1 and ϕ2 aretwo different eigenfunctions, both associated with the same eigenvalueλ.

We will show that ϕ1 = cϕ2, i.e., we have uniqueness up to a constantfactor.

http://math.iit.edu

Page 200: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 201: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 202: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The SL differential equations for ϕ1 and ϕ2 are

Lϕ1 + λσϕ1 = 0 (12)Lϕ2 + λσϕ2 = 0 (13)

Multiplying (12) by ϕ2 and (13) by ϕ1 and taking the difference yields

ϕ2Lϕ1 − ϕ1Lϕ2 = 0.

Lagrange’s identity with u = ϕ2 and v = ϕ1 gives

ϕ2Lϕ1 − ϕ1Lϕ2 =d

dx[p(ϕ2ϕ

′1 − ϕ1ϕ

′2)]

= 0.

Consequently,

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= const = C. (14)

To determine the constant C we use the boundary conditions.

http://math.iit.edu

Page 203: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ1 + λσϕ1 = 0 (12)Lϕ2 + λσϕ2 = 0 (13)

ϕ2Lϕ1 − ϕ1Lϕ2 = 0.

dx[p(ϕ2ϕ

′1 − ϕ1ϕ

′2)]

= 0.

Consequently,

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= const = C. (14)

http://math.iit.edu

Page 204: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ1 + λσϕ1 = 0 (12)Lϕ2 + λσϕ2 = 0 (13)

ϕ2Lϕ1 − ϕ1Lϕ2 = 0.

dx[p(ϕ2ϕ

′1 − ϕ1ϕ

′2)]

= 0.

Consequently,

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= const = C. (14)

http://math.iit.edu

Page 205: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ1 + λσϕ1 = 0 (12)Lϕ2 + λσϕ2 = 0 (13)

ϕ2Lϕ1 − ϕ1Lϕ2 = 0.

dx[p(ϕ2ϕ

′1 − ϕ1ϕ

′2)]

= 0.

Consequently,

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= const = C. (14)

http://math.iit.edu

Page 206: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ1 + λσϕ1 = 0 (12)Lϕ2 + λσϕ2 = 0 (13)

ϕ2Lϕ1 − ϕ1Lϕ2 = 0.

dx[p(ϕ2ϕ

′1 − ϕ1ϕ

′2)]

= 0.

Consequently,

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= const = C. (14)

http://math.iit.edu

Page 207: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Lϕ1 + λσϕ1 = 0 (12)Lϕ2 + λσϕ2 = 0 (13)

ϕ2Lϕ1 − ϕ1Lϕ2 = 0.

dx[p(ϕ2ϕ

′1 − ϕ1ϕ

′2)]

= 0.

Consequently,

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= const = C. (14)

http://math.iit.edu

Page 208: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We actually discuss three cases:Case I: regular SL BCs, i.e., for i = 1,2

β1ϕi(a) + β2ϕ′i(a) = 0

β3ϕi(b) + β4ϕ′i(b) = 0

Case II: singularity-type BCs, e.g., for i = 1,2

|ϕi(a)| <∞

Case III: periodic BCs, e.g., for i = 1,2

ϕi(−L) = ϕi(L)ϕ′i(−L) = ϕ′i(L)

http://math.iit.edu

Page 209: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

β1ϕi(a) + β2ϕ′i(a) = 0

β3ϕi(b) + β4ϕ′i(b) = 0

|ϕi(a)| <∞

http://math.iit.edu

Page 210: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

β1ϕi(a) + β2ϕ′i(a) = 0

β3ϕi(b) + β4ϕ′i(b) = 0

|ϕi(a)| <∞

http://math.iit.edu

Page 211: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: It actually suffices for the BCs to hold for both ϕ1 and ϕ2 atonly one end, say at x = a.

Then

β1ϕi(a) + β2ϕ′i(a) = 0

⇐⇒ ϕ′i(a) = −β1β2ϕi(a), i = 1,2

This implies that (14) (at x = a) becomes

C = p(a)[ϕ2(a)ϕ′1(a)− ϕ1(a)ϕ′2(a)

]= p(a)

[ϕ2(a)

(−β1

β2ϕ1(a)

)− ϕ1(a)

(−β1

β2ϕ2(a)

)]= 0

http://math.iit.edu

Page 212: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: It actually suffices for the BCs to hold for both ϕ1 and ϕ2 atonly one end, say at x = a.Then

β1ϕi(a) + β2ϕ′i(a) = 0

⇐⇒ ϕ′i(a) = −β1β2ϕi(a), i = 1,2

C = p(a)[ϕ2(a)ϕ′1(a)− ϕ1(a)ϕ′2(a)

]= p(a)

[ϕ2(a)

(−β1

β2ϕ1(a)

)− ϕ1(a)

(−β1

β2ϕ2(a)

)]= 0

http://math.iit.edu

Page 213: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

β1ϕi(a) + β2ϕ′i(a) = 0

⇐⇒ ϕ′i(a) = −β1β2ϕi(a), i = 1,2

C = p(a)[ϕ2(a)ϕ′1(a)− ϕ1(a)ϕ′2(a)

]= p(a)

[ϕ2(a)

(−β1

β2ϕ1(a)

)− ϕ1(a)

(−β1

β2ϕ2(a)

)]= 0

http://math.iit.edu

Page 214: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

β1ϕi(a) + β2ϕ′i(a) = 0

⇐⇒ ϕ′i(a) = −β1β2ϕi(a), i = 1,2

C = p(a)[ϕ2(a)ϕ′1(a)− ϕ1(a)ϕ′2(a)

]

= p(a)[ϕ2(a)

(−β1

β2ϕ1(a)

)− ϕ1(a)

(−β1

β2ϕ2(a)

)]= 0

http://math.iit.edu

Page 215: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

β1ϕi(a) + β2ϕ′i(a) = 0

⇐⇒ ϕ′i(a) = −β1β2ϕi(a), i = 1,2

C = p(a)[ϕ2(a)ϕ′1(a)− ϕ1(a)ϕ′2(a)

]= p(a)

[ϕ2(a)

(−β1

β2ϕ1(a)

)− ϕ1(a)

(−β1

β2ϕ2(a)

)]

= 0

http://math.iit.edu

Page 216: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

β1ϕi(a) + β2ϕ′i(a) = 0

⇐⇒ ϕ′i(a) = −β1β2ϕi(a), i = 1,2

C = p(a)[ϕ2(a)ϕ′1(a)− ϕ1(a)ϕ′2(a)

]= p(a)

[ϕ2(a)

(−β1

β2ϕ1(a)

)− ϕ1(a)

(−β1

β2ϕ2(a)

)]= 0

http://math.iit.edu

Page 217: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since C = 0, equation (14) now reads

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= C = 0,

and since p(x) > 0 for any regular SL problem we have[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= 0. (15)

Now, we note that for ϕ2 6≡ 0 (an eigenfunction) the quotient rule gives

ddx

(ϕ1

ϕ2

)=ϕ′1ϕ2 − ϕ1ϕ

′2

ϕ22

.

Thus, (15) is equivalent to

ddx

(ϕ1

ϕ2

)= 0 =⇒ ϕ1

ϕ2= const or ϕ1 = cϕ2,

which shows that the eigenfunctions of a regular SL problem areunique up to a constant factor. �

http://math.iit.edu

Page 218: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= C = 0,

]= 0. (15)

ddx

(ϕ1

ϕ2

)=ϕ′1ϕ2 − ϕ1ϕ

′2

ϕ22

.

ddx

(ϕ1

ϕ2

)= 0 =⇒ ϕ1

http://math.iit.edu

Page 219: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= C = 0,

]= 0. (15)

ddx

(ϕ1

ϕ2

)=ϕ′1ϕ2 − ϕ1ϕ

′2

ϕ22

.

ddx

(ϕ1

ϕ2

)= 0

=⇒ ϕ1

http://math.iit.edu

Page 220: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= C = 0,

]= 0. (15)

ddx

(ϕ1

ϕ2

)=ϕ′1ϕ2 − ϕ1ϕ

′2

ϕ22

.

ddx

(ϕ1

ϕ2

)= 0 =⇒ ϕ1

ϕ2= const

or ϕ1 = cϕ2,

http://math.iit.edu

Page 221: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= C = 0,

]= 0. (15)

ddx

(ϕ1

ϕ2

)=ϕ′1ϕ2 − ϕ1ϕ

′2

ϕ22

.

ddx

(ϕ1

ϕ2

)= 0 =⇒ ϕ1

http://math.iit.edu

Page 222: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case II: If we have singularity BCs, e.g., ϕ1(a) and ϕ2(a) arebounded, then one can also show that (14)

p(x)[ϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x)

]= C

impliesϕ2(x)ϕ′1(x)− ϕ1(x)ϕ′2(x) = 0

and it follows thatϕ1(x) = cϕ2(x)

just as before. �

http://math.iit.edu

Page 223: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case III: For periodic BCs the eigenfunctions are in general notunique.

As an example we can consider the SL equation

ϕ′′(x) + λϕ(x) = 0

with BCs

ϕ(−L) = ϕ(L) = 0 and ϕ′(−L) = ϕ′(L) = 0

for which we know that the eigenvalues are λn =(nπ

L

)2,n = 0,1,2, . . . and, e.g.,

ϕ1(x) = cosπx or ϕ1(x) = sinπx ,

both associated with the eigenvalue λ1 =(πL

)2.

http://math.iit.edu

Page 224: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case III: For periodic BCs the eigenfunctions are in general notunique.As an example we can consider the SL equation

ϕ′′(x) + λϕ(x) = 0

with BCs

ϕ(−L) = ϕ(L) = 0 and ϕ′(−L) = ϕ′(L) = 0

for which we know that the eigenvalues are λn =(nπ

L

)2,n = 0,1,2, . . . and, e.g.,

ϕ1(x) = cosπx or ϕ1(x) = sinπx ,

both associated with the eigenvalue λ1 =(πL

)2.

http://math.iit.edu

The Rayleigh Quotient

Outline

1 Introduction

2 Examples

http://math.iit.edu

Property 6 was about the Rayleigh quotient

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

which provides a useful relation between the eigenvalue λ and itsassociated eigenfunction ϕ that goes beyond the SL differentialequation itself.

We will now prove that this relation holds for any regular SL problem.

http://math.iit.edu

Page 227: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Property 6 was about the Rayleigh quotient

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

which provides a useful relation between the eigenvalue λ and itsassociated eigenfunction ϕ that goes beyond the SL differentialequation itself.

We will now prove that this relation holds for any regular SL problem.

http://math.iit.edu

Page 228: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We start with the SL differential equation

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b),

multiply by ϕ and integrate from a to b to get∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx + λ

∫ b

aσ(x)ϕ2(x)dx = 0.

Since ϕ is an eigenfunction and σ > 0 we have∫ b

aσ(x)ϕ2(x)dx > 0.

Therefore

λ =

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx∫ b

aσ(x)ϕ2(x)dx

,

which has the correct denominator.

http://math.iit.edu

Page 229: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b),

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx + λ

∫ b

aσ(x)ϕ2(x)dx = 0.

aσ(x)ϕ2(x)dx > 0.

Therefore

λ =

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx∫ b

aσ(x)ϕ2(x)dx

,

which has the correct denominator.

http://math.iit.edu

Page 230: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ddx(p(x)ϕ′(x)

)+ q(x)ϕ(x) + λσ(x)ϕ(x) = 0, x ∈ (a,b),

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx + λ

∫ b

aσ(x)ϕ2(x)dx = 0.

aσ(x)ϕ2(x)dx > 0.

Therefore

λ =

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx∫ b

aσ(x)ϕ2(x)dx

,

which has the correct [email protected] MATH 461 – Chapter 5 74

http://math.iit.edu

Page 231: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now consider the numerator

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx

= −∫ b

aϕ(x)

ddx(p(x)ϕ′(x)

)dx −

∫ b

aq(x)ϕ2(x)dx

Therefore

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

,

the Rayleigh quotient. �

http://math.iit.edu

Page 232: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx

= −∫ b

aϕ(x)︸︷︷︸= u

du = ϕ′(x)dx

ddx(p(x)ϕ′(x)

)dx︸︷︷︸

= dvv = p(x)ϕ′(x)

−∫ b

aq(x)ϕ2(x)dx

Therefore

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

,

http://math.iit.edu

Page 233: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx

= −∫ b

aϕ(x)︸︷︷︸= u

du = ϕ′(x)dx

ddx(p(x)ϕ′(x)

)dx︸︷︷︸

−∫ b

aq(x)ϕ2(x)dx

= − p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

ap(x)

[ϕ′(x)

]2 dx −∫ b

aq(x)ϕ2(x)dx

Therefore

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

,

http://math.iit.edu

Page 234: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

−∫ b

aϕ(x)

[d

dx(p(x)ϕ′(x)

)+ q(x)ϕ(x)

]dx

= −∫ b

aϕ(x)︸︷︷︸= u

du = ϕ′(x)dx

ddx(p(x)ϕ′(x)

)dx︸︷︷︸

−∫ b

aq(x)ϕ2(x)dx

= − p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

ap(x)

[ϕ′(x)

]2 dx −∫ b

aq(x)ϕ2(x)dx

Therefore

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

,

http://math.iit.edu

Page 235: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now show under what condition a regular SL problem can neverhave negative eigenvalues.

Theorem

If −pϕϕ′|ba ≥ 0 and q ≤ 0 then all eigenvalues of a regular SL problemare nonnegative.

Proof.We use the Rayleigh quotient

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

to show that λ ≥ 0.

http://math.iit.edu

Page 236: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Theorem

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

http://math.iit.edu

Page 237: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Theorem

λ =

− p(x)ϕ(x)ϕ′(x)∣∣ba +

∫ b

a

(p(x)

[ϕ′(x)

]2 − q(x)ϕ2(x))

dx∫ b

aϕ2(x)σ(x)dx

http://math.iit.edu

Page 238: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We look at each of the terms in the Rayleigh quotient separately:

−p(x)ϕ(x)ϕ′(x)|ba ≥ 0 by assumption,∫ b

ap(x)

[ϕ′(x)

]2 dx ≥ 0 since p(x) > 0 for any regular SL problem

and [ϕ′(x)]2 ≥ 0,

−∫ b

aq(x)ϕ2(x)dx ≥ 0 since q(x) ≤ 0 by assumption and

ϕ2(x) > 0,∫ b

aϕ2(x)σ(x)dx > 0 since σ(x) > 0 for any regular SL problem

and ϕ2(x) > 0.

Therefore the Rayleigh quotient is nonnegative �

http://math.iit.edu

Page 239: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We look at each of the terms in the Rayleigh quotient separately:−p(x)ϕ(x)ϕ′(x)|ba ≥ 0 by assumption,

∫ b

ap(x)

[ϕ′(x)

and [ϕ′(x)]2 ≥ 0,

−∫ b

ϕ2(x) > 0,∫ b

and ϕ2(x) > 0.

http://math.iit.edu

Page 240: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We look at each of the terms in the Rayleigh quotient separately:−p(x)ϕ(x)ϕ′(x)|ba ≥ 0 by assumption,∫ b

ap(x)

[ϕ′(x)

and [ϕ′(x)]2 ≥ 0,

−∫ b

ϕ2(x) > 0,∫ b

and ϕ2(x) > 0.

http://math.iit.edu

Page 241: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ap(x)

[ϕ′(x)

and [ϕ′(x)]2 ≥ 0,

−∫ b

ϕ2(x) > 0,

∫ b

and ϕ2(x) > 0.

http://math.iit.edu

Page 242: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ap(x)

[ϕ′(x)

and [ϕ′(x)]2 ≥ 0,

−∫ b

ϕ2(x) > 0,∫ b

and ϕ2(x) > 0.

http://math.iit.edu

Page 243: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ap(x)

[ϕ′(x)

and [ϕ′(x)]2 ≥ 0,

−∫ b

ϕ2(x) > 0,∫ b

and ϕ2(x) > 0.

http://math.iit.edu

Page 244: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

A Minimization PrincipleIf we define

RQ[u] =− p(x)u(x)u′(x)

∣∣ba +

∫ b

a

(p(x)

[u′(x)

]2 − q(x)u2(x))

dx∫ b

au2(x)σ(x)dx

,

the Rayleigh quotient of u, then we know that all SLeigenvalue-eigenfunction pairs satisfy λ = RQ[ϕ].

TheoremFor any regular SL problem the smallest eigenvalue λ1 is given by

λ1 = minu ∈ C(a, b)

u satisfies BCs

RQ[u].

Moreover, the minimum is attained only for u = ϕ1.

http://math.iit.edu

Page 245: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∣∣ba +

∫ b

a

(p(x)

[u′(x)

]2 − q(x)u2(x))

dx∫ b

au2(x)σ(x)dx

,

u satisfies BCs

RQ[u].

http://math.iit.edu

Page 246: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∣∣ba +

∫ b

a

(p(x)

[u′(x)

]2 − q(x)u2(x))

dx∫ b

au2(x)σ(x)dx

,

u satisfies BCs

RQ[u].

http://math.iit.edu

Page 247: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Before we prove the theorem, let’s think about how it might be useful.

Recall that we showed earlier that the solution of the heat equationfor a nonuniform rod problem for large values of t is characterizedmostly by the smallest eigenvalue λ1 and its associatedeigenfunction ϕ1. This is typical, and therefore we want to find λ1.Finding the minimum over all continuous functions satisfying theBCs is a very challenging – often impossible – task.Instead, we choose some continuous trial functions which satisfythe BCs, but need not satisfy the differential equation, andminimize over them.

If uT is such as trial function, then RQ[uT ] is an upper bound for λ1since

u satisfies BCs

RQ[u] ≤ RQ[uT ].

Ideally, we would like to find a “good” trial function uT that provides asmallest possible upper bound.

http://math.iit.edu

Page 248: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Recall that we showed earlier that the solution of the heat equationfor a nonuniform rod problem for large values of t is characterizedmostly by the smallest eigenvalue λ1 and its associatedeigenfunction ϕ1. This is typical, and therefore we want to find λ1.

Finding the minimum over all continuous functions satisfying theBCs is a very challenging – often impossible – task.Instead, we choose some continuous trial functions which satisfythe BCs, but need not satisfy the differential equation, andminimize over them.

u satisfies BCs

RQ[u] ≤ RQ[uT ].

http://math.iit.edu

Page 249: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Recall that we showed earlier that the solution of the heat equationfor a nonuniform rod problem for large values of t is characterizedmostly by the smallest eigenvalue λ1 and its associatedeigenfunction ϕ1. This is typical, and therefore we want to find λ1.Finding the minimum over all continuous functions satisfying theBCs is a very challenging – often impossible – task.

Instead, we choose some continuous trial functions which satisfythe BCs, but need not satisfy the differential equation, andminimize over them.

u satisfies BCs

RQ[u] ≤ RQ[uT ].

http://math.iit.edu

Page 250: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

RQ[u] ≤ RQ[uT ].

http://math.iit.edu

Page 251: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

RQ[u] ≤ RQ[uT ].

http://math.iit.edu

Page 252: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

RQ[u] ≤ RQ[uT ].

http://math.iit.edu

Page 253: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ExampleConsider the SL problem

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(1) = 0

We know that λn =(nπ

L

)2= n2π2, so

λ1 = π2.

This will be our benchmark against which we will compare the trialfunction approach that will give us an approximation to λ1.Note that the trial function approach can just as easily be applied tomuch more complicated problems.

RemarkIn fact, many popular numerical methods (such as the Rayleigh-Ritz,or finite element method) are based on such a minimization principle.

http://math.iit.edu

Page 254: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(1) = 0

L

)2= n2π2, so

λ1 = π2.

http://math.iit.edu

Page 255: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(1) = 0

L

)2= n2π2, so

λ1 = π2.

This will be our benchmark against which we will compare the trialfunction approach that will give us an approximation to λ1.

Note that the trial function approach can just as easily be applied tomuch more complicated problems.

http://math.iit.edu

Page 256: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(1) = 0

L

)2= n2π2, so

λ1 = π2.

http://math.iit.edu

Page 257: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ′′(x) + λϕ(x) = 0ϕ(0) = ϕ(1) = 0

L

)2= n2π2, so

λ1 = π2.

http://math.iit.edu

Page 258: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)The minimization principle says

u satisfies BCs

− p(x)u(x)u′(x)|ba +∫ b

a

(p(x) [u′(x)]2 − q(x)u2(x)

)dx∫ b

a u2(x)σ(x)dx.

Here p(x) = σ(x) = 1, q(x) = 0 and u(0) = u(1) = 0. So

u satisfies BCs

∫ ba [u′(x)]2 dx∫ b

a u2(x)dx.

Instead of minimizing over all continuous functions it will be mucheasier to just look at ∫ b

a

[u′T (x)

]2 dx∫ ba u2

T (x)dx(≥ λ1),

where uT is some trial function.

http://math.iit.edu

Page 259: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

− p(x)u(x)u′(x)|ba +∫ b

a

(p(x) [u′(x)]2 − q(x)u2(x)

)dx∫ b

a u2(x)σ(x)dx.

u satisfies BCs

∫ ba [u′(x)]2 dx∫ b

a u2(x)dx.

a

[u′T (x)

]2 dx∫ ba u2

T (x)dx(≥ λ1),

http://math.iit.edu

Page 260: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

− p(x)u(x)u′(x)|ba +∫ b

a

(p(x) [u′(x)]2 − q(x)u2(x)

)dx∫ b

a u2(x)σ(x)dx.

u satisfies BCs

∫ ba [u′(x)]2 dx∫ b

a u2(x)dx.

a

[u′T (x)

]2 dx∫ ba u2

T (x)dx(≥ λ1),

http://math.iit.edu

Page 261: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)Since the minimum is attained for uT = ϕ1 it is best to use as muchinformation about ϕ1 as is available.

We know thatuT needs to satisfy the BCs uT (0) = uT (1) = 0, andϕ1 (and therefore uT ) has no zeros in (0,1).

The simplest trial function with these two properties is the piecewiselinear function

uT (x) =

{x , x ≤ 1

2

1− x , x ≥ 12

with

u′T (x) =

{1, x < 1

2

−1, x > 12

http://math.iit.edu

Page 262: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)Since the minimum is attained for uT = ϕ1 it is best to use as muchinformation about ϕ1 as is available.We know that

uT needs to satisfy the BCs uT (0) = uT (1) = 0, andϕ1 (and therefore uT ) has no zeros in (0,1).

uT (x) =

{x , x ≤ 1

2

1− x , x ≥ 12

with

u′T (x) =

{1, x < 1

2

−1, x > 12

http://math.iit.edu

Page 263: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)Since the minimum is attained for uT = ϕ1 it is best to use as muchinformation about ϕ1 as is available.We know that

uT needs to satisfy the BCs uT (0) = uT (1) = 0, andϕ1 (and therefore uT ) has no zeros in (0,1).

uT (x) =

{x , x ≤ 1

2

1− x , x ≥ 12

with

u′T (x) =

{1, x < 1

2

−1, x > 12

http://math.iit.edu

Page 264: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)With this choice of uT we get

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx

=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

As a benchmark we know λ1 = π2 ≈ 9.87.Remark

Note that a different multiple of uT such as uT (x) ={

2x , x ≤ 12

2− 2x , x ≥ 12

would not improve the estimate since eigenfunctions are unique up toa constant multiple only.

http://math.iit.edu

Page 265: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

2x , x ≤ 12

2− 2x , x ≥ 12

http://math.iit.edu

Page 266: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

2x , x ≤ 12

2− 2x , x ≥ 12

http://math.iit.edu

Page 267: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

2x , x ≤ 12

2− 2x , x ≥ 12

http://math.iit.edu

Page 268: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

2x , x ≤ 12

2− 2x , x ≥ 12

http://math.iit.edu

Page 269: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

As a benchmark we know λ1 = π2 ≈ 9.87.

Remark

2x , x ≤ 12

2− 2x , x ≥ 12

http://math.iit.edu

Page 270: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ1 ≤

∫ 1

0

[u′T (x)

]2 dx∫ 1

0u2

T (x)dx=

∫ 12

012dx +

∫ 1

12

(−1)2dx

∫ 12

0x2dx +

∫ 1

12

(1− x)2dx

=12 + 1

2

x3

3

∣∣∣ 12

0− (1−x)3

3

∣∣∣112

=1

124 + 1

24

= 12

2x , x ≤ 12

2− 2x , x ≥ 12

http://math.iit.edu

Page 271: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)We can do better if we take a trial function that better resembles theactual eigenfunction (which, of course, we wouldn’t know in general).

Figure: Plots of piecewise linear uT (left), actual eigenfunction ϕ1 (middle),and quadratic uT (right).

http://math.iit.edu

Page 272: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 273: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 274: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Example (cont.)For example (a factor of 4 is not important),

uT (x) = x − x2 with u′T (x) = 1− 2x

gives us the much better (since smaller) upper bound

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 275: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx

=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 276: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 277: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx

=x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 278: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 279: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 280: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 281: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

uT (x) = x − x2 with u′T (x) = 1− 2x

λ1 ≤∫ 1

0

[u′T (x)

]2 dx∫ 10 u2

T (x)dx=

∫ 10 (1− 2x)2dx∫ 10 (x − x2)2dx

=

∫ 10 (1− 4x + 4x2)dx∫ 10 (x

2 − 2x3 + x4)dx=

x − 2x2 + 4x3

3

∣∣∣10

x3

3 −x4

2 + x5

5

∣∣∣10

=1− 2 + 4

313 −

12 + 1

5

=13

10−15+630

= 10

http://math.iit.edu

Page 282: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Proof. (of the minimization principle)According to the theorem we want to show

u satisfies BCs

RQ[u]

= minu ∈ C(a, b)

u satisfies BCs

− p(x)u(x)u′(x)|ba +∫ b

a

(p(x) [u′(x)]2 − q(x)u2(x)

)dx∫ b

a u2(x)σ(x)dx.

For the proof it is better to deal with an equivalent formulation of theRayleigh quotient (prior to the application of integration by parts):

RQ[u] =−∫ b

a

(u(x) d

dx [p(x)u′(x)] + q(x)u2(x))

dx∫ ba u2(x)σ(x)dx

=−∫ b

a u(x)(Lu)(x)dx∫ ba u2(x)σ(x)dx

(16)

http://math.iit.edu

Page 283: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

RQ[u]

= minu ∈ C(a, b)

u satisfies BCs

− p(x)u(x)u′(x)|ba +∫ b

a

(p(x) [u′(x)]2 − q(x)u2(x)

)dx∫ b

a u2(x)σ(x)dx.

RQ[u] =−∫ b

a

(u(x) d

dx [p(x)u′(x)] + q(x)u2(x))

=−∫ b

(16)

http://math.iit.edu

Page 284: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u satisfies BCs

RQ[u]

= minu ∈ C(a, b)

u satisfies BCs

− p(x)u(x)u′(x)|ba +∫ b

a

(p(x) [u′(x)]2 − q(x)u2(x)

)dx∫ b

a u2(x)σ(x)dx.

RQ[u] =−∫ b

a

(u(x) d

dx [p(x)u′(x)] + q(x)u2(x))

=−∫ b

(16)

http://math.iit.edu

Page 285: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The eigenfunction expansion for u is given by

u(x) =∞∑

n=1

anϕn(x). (17)

If u is continuous and u and ϕ satisfy the same BCs, then linearityallows us to write1

(Lu)(x) = L

( ∞∑n=1

anϕn

)(x) =

∞∑n=1

an(Lϕn)(x).

Now, since the ϕn are eigenfunctions we know from the SL DE

Lϕn = −λnσϕn

and so we get an eigenfunction expansion for Lu

(Lu)(x) = −∞∑

n=1

anλnσ(x)ϕn(x). (18)

1This isn’t actually proved until Chapter 7

http://math.iit.edu

Page 286: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x) =∞∑

n=1

anϕn(x). (17)

(Lu)(x) = L

( ∞∑n=1

anϕn

)(x)

=∞∑

n=1

an(Lϕn)(x).

Lϕn = −λnσϕn

(Lu)(x) = −∞∑

n=1

1This isn’t actually proved until Chapter [email protected] MATH 461 – Chapter 5 87

http://math.iit.edu

Page 287: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x) =∞∑

n=1

anϕn(x). (17)

(Lu)(x) = L

( ∞∑n=1

anϕn

)(x) =

∞∑n=1

an(Lϕn)(x).

Lϕn = −λnσϕn

(Lu)(x) = −∞∑

n=1

http://math.iit.edu

Page 288: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x) =∞∑

n=1

anϕn(x). (17)

(Lu)(x) = L

( ∞∑n=1

anϕn

)(x) =

∞∑n=1

an(Lϕn)(x).

Lϕn = −λnσϕn

(Lu)(x) = −∞∑

n=1

http://math.iit.edu

Page 289: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x) =∞∑

n=1

anϕn(x). (17)

(Lu)(x) = L

( ∞∑n=1

anϕn

)(x) =

∞∑n=1

an(Lϕn)(x).

Lϕn = −λnσϕn

(Lu)(x) = −∞∑

n=1

http://math.iit.edu

Page 290: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now use the eigenfunction expansions (17) for u and (18) for Lu inequation (16) for the Rayleigh quotient to get

RQ[u] =

−∫ b

au(x)(Lu)(x)dx∫ b

au2(x)σ(x)dx

=

∫ b

a

∞∑n=1

anϕn(x)∞∑

n=1

anλnσ(x)ϕn(x)dx

∫ b

aσ(x)

∞∑n=1

anϕn(x)∞∑

n=1

anϕn(x)dx

=

∫ b

a

∞∑m=1

∞∑n=1

amanϕm(x)ϕn(x)λnσ(x)dx

∫ b

a

∞∑m=1

∞∑n=1

amanϕm(x)ϕn(x)σ(x)dx

.

http://math.iit.edu

Page 291: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

RQ[u] =

−∫ b

au(x)(Lu)(x)dx∫ b

au2(x)σ(x)dx

=

∫ b

a

∞∑n=1

anϕn(x)∞∑

n=1

anλnσ(x)ϕn(x)dx

∫ b

aσ(x)

∞∑n=1

anϕn(x)∞∑

n=1

anϕn(x)dx

=

∫ b

a

∞∑m=1

∞∑n=1

∫ b

a

∞∑m=1

∞∑n=1

.

http://math.iit.edu

Page 292: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

RQ[u] =

−∫ b

au(x)(Lu)(x)dx∫ b

au2(x)σ(x)dx

=

∫ b

a

∞∑n=1

anϕn(x)∞∑

n=1

anλnσ(x)ϕn(x)dx

∫ b

aσ(x)

∞∑n=1

anϕn(x)∞∑

n=1

anϕn(x)dx

=

∫ b

a

∞∑m=1

∞∑n=1

∫ b

a

∞∑m=1

∞∑n=1

.

http://math.iit.edu

Page 293: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Interchange of integration and infinite summation gives

RQ[u] =

∞∑m=1

∞∑n=1

amanλn

∫ b

aϕm(x)ϕn(x)σ(x)dx

∞∑m=1

∞∑n=1

aman

∫ b

and orthogonality of the eigenfunctions, i.e.,∫ b

a ϕm(x)ϕn(x)σ(x)dx = 0whenever m 6= n, reduces this to

RQ[u] =

∞∑n=1

a2nλn

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

.

http://math.iit.edu

Page 294: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Interchange of integration and infinite summation gives

RQ[u] =

∞∑m=1

∞∑n=1

amanλn

∫ b

∞∑m=1

∞∑n=1

aman

∫ b

and orthogonality of the eigenfunctions, i.e.,∫ b

a ϕm(x)ϕn(x)σ(x)dx = 0whenever m 6= n, reduces this to

RQ[u] =

∞∑n=1

a2nλn

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

.

http://math.iit.edu

Page 295: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Since the eigenvalues are ordered, i.e., λ1 < λ2 < . . ., we can estimate

∞∑n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

≤

∞∑n=1

a2nλn

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= RQ[u]

with “=” possible only if an = 0 for all n > 1, i.e., if the eigenfunctionexpansion of u consisted only of a1ϕ1.

http://math.iit.edu

Page 296: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∞∑n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

≤

∞∑n=1

a2nλn

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= RQ[u]

http://math.iit.edu

Page 297: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∞∑n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

≤

∞∑n=1

a2nλn

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= RQ[u]

http://math.iit.edu

Page 298: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that∞∑

n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= λ1

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

and thereforeλ1 ≤ RQ[u]

with equality only if u = a1ϕ1.

Therefore, the Rayleigh quotient RQ[u] is minimized only if u is theeigenfunction corresponding to λ1. �

http://math.iit.edu

Page 299: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that∞∑

n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= λ1

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx︸︷︷︸=1

http://math.iit.edu

Page 300: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that∞∑

n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= λ1

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx︸︷︷︸=1

= λ1

http://math.iit.edu

Page 301: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that∞∑

n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= λ1

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx︸︷︷︸=1

= λ1

http://math.iit.edu

Page 302: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that∞∑

n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= λ1

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx︸︷︷︸=1

= λ1

http://math.iit.edu

Page 303: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that∞∑

n=1

a2nλ1

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

= λ1

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx︸︷︷︸=1

= λ1

http://math.iit.edu

Page 304: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

RemarkOne can show that

u satisfies BCsu orthogonal to ϕ1

RQ[u]

and iteratively obtained analogous statements for further eigenvalues.

http://math.iit.edu

Vibrations of a Nonuniform String

Outline

1 Introduction

2 Examples

http://math.iit.edu

For a nonuniform string we use the PDE

ρ(x)∂2u∂t2 (x , t) = T0

∂2u∂x2 (x , t)

with nonuniform density ρ, but constant tension T0 (and no externalforces).

Standard BCs and ICs are

u(0, t) = u(L, t) = 0u(x ,0) = f (x) and ∂u

∂t (x ,0) = g(x).

We will now see how far we can take the separation of variablesapproach for this problem.

http://math.iit.edu

Page 307: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρ(x)∂2u∂t2 (x , t) = T0

∂2u∂x2 (x , t)

with nonuniform density ρ, but constant tension T0 (and no externalforces).Standard BCs and ICs are

u(0, t) = u(L, t) = 0u(x ,0) = f (x) and ∂u

∂t (x ,0) = g(x).

http://math.iit.edu

Page 308: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρ(x)∂2u∂t2 (x , t) = T0

∂2u∂x2 (x , t)

with nonuniform density ρ, but constant tension T0 (and no externalforces).Standard BCs and ICs are

u(0, t) = u(L, t) = 0u(x ,0) = f (x) and ∂u

∂t (x ,0) = g(x).

http://math.iit.edu

Page 309: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The Ansatz u(x , t) = ϕ(x)T (t) gives us

ρ(x)ϕ(x)T ′′(t) = T0ϕ′′(x)T (t)

orT ′′(t)T (t)

=T0

ρ(x)ϕ′′(x)ϕ(x)

= −λ

resulting in the two ODEs

T ′′(t) = −λT (t) (19)T0ϕ

′′(x) + λρ(x)ϕ(x) = 0 (20)

http://math.iit.edu

Page 310: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρ(x)ϕ(x)T ′′(t) = T0ϕ′′(x)T (t)

orT ′′(t)T (t)

=T0

= −λ

T ′′(t) = −λT (t) (19)T0ϕ

′′(x) + λρ(x)ϕ(x) = 0 (20)

http://math.iit.edu

Page 311: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρ(x)ϕ(x)T ′′(t) = T0ϕ′′(x)T (t)

orT ′′(t)T (t)

=T0

= −λ

T ′′(t) = −λT (t) (19)T0ϕ

′′(x) + λρ(x)ϕ(x) = 0 (20)

http://math.iit.edu

Page 312: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Notice that the second ODE (20)

T0ϕ′′(x) + λρ(x)ϕ(x) = 0

is a Sturm–Liouville ODE with p(x) = T0, q(x) = 0 and σ(x) = ρ(x)and BCs

ϕ(0) = ϕ(L) = 0.

Due to the variable coefficient ρ(x) we don’t know how to solve thiseigenvalue problem.

Therefore, we try to get as much insight as possible into the solutionusing the general SL properties.

http://math.iit.edu

Page 313: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T0ϕ′′(x) + λρ(x)ϕ(x) = 0

ϕ(0) = ϕ(L) = 0.

http://math.iit.edu

Page 314: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T0ϕ′′(x) + λρ(x)ϕ(x) = 0

ϕ(0) = ϕ(L) = 0.

http://math.iit.edu

Page 315: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We use the Rayleigh quotient to study the eigenvalues:

λ =− T0ϕ(x)ϕ′(x)|L0 +

∫ L0 T0 [ϕ

′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx.

From the BCs ϕ(0) = ϕ(L) = 0 we know that the first term in thenumerator is zero. Therefore

λ =T0∫ L

0 [ϕ′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx≥ 0.

Moreover, we note that λ = 0 is not possible since ϕ′ 6≡ 0 (otherwise ϕwould have to be constant, and due to the BCs equal to zero).

Therefore, λ > 0 and we know that the time-equation (19) hasoscillating solutions

Tn(t) = c1 cos√λnt + c2 sin

√λnt , n = 1,2,3, . . .

http://math.iit.edu

Page 316: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− T0ϕ(x)ϕ′(x)|L0 +

∫ L0 T0 [ϕ

′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx.

λ =T0∫ L

0 [ϕ′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx

≥ 0.

√λnt , n = 1,2,3, . . .

http://math.iit.edu

Page 317: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− T0ϕ(x)ϕ′(x)|L0 +

∫ L0 T0 [ϕ

′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx.

λ =T0∫ L

0 [ϕ′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx≥ 0.

√λnt , n = 1,2,3, . . .

http://math.iit.edu

Page 318: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− T0ϕ(x)ϕ′(x)|L0 +

∫ L0 T0 [ϕ

′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx.

λ =T0∫ L

0 [ϕ′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx≥ 0.

√λnt , n = 1,2,3, . . .

http://math.iit.edu

Page 319: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ =− T0ϕ(x)ϕ′(x)|L0 +

∫ L0 T0 [ϕ

′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx.

λ =T0∫ L

0 [ϕ′(x)]2 dx∫ L0 ϕ

2(x)ρ(x)dx≥ 0.

√λnt , n = 1,2,3, . . .

http://math.iit.edu

Page 320: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

By the superposition principle we get

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x).

In order to apply the ICs we need

∂u∂t

(x , t) =∞∑

n=1

[−an

√λn sin

√λnt + bn

√λn cos

√λnt]ϕn(x)

and now we can enforce

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x)

∂u∂t

(x ,0) =∞∑

n=1

bn√λnϕn(x)

!= g(x)

http://math.iit.edu

Page 321: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x).

∂u∂t

(x , t) =∞∑

n=1

[−an

√λn sin

√λnt + bn

√λn cos

√λnt]ϕn(x)

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x)

∂u∂t

(x ,0) =∞∑

n=1

bn√λnϕn(x)

!= g(x)

http://math.iit.edu

Page 322: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x).

∂u∂t

(x , t) =∞∑

n=1

[−an

√λn sin

√λnt + bn

√λn cos

√λnt]ϕn(x)

u(x ,0) =∞∑

n=1

anϕn(x)!= f (x)

∂u∂t

(x ,0) =∞∑

n=1

bn√λnϕn(x)

!= g(x)

http://math.iit.edu

Page 323: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The generalized Fourier coefficients an and bn are obtained using theorthogonality of the eigenfunctions (with respect to the weight functionρ):

an =

∫ L0 f (x)ϕn(x)ρ(x)dx∫ L

0 ϕ2n(x)ρ(x)dx

bn =1√λn

∫ L0 g(x)ϕn(x)ρ(x)dx∫ L

0 ϕ2n(x)ρ(x)dx

However, since we don’t know the eigenfunctions ϕn we cannot makeany further use of this information.

http://math.iit.edu

Page 324: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The generalized Fourier coefficients an and bn are obtained using theorthogonality of the eigenfunctions (with respect to the weight functionρ):

an =

∫ L0 f (x)ϕn(x)ρ(x)dx∫ L

0 ϕ2n(x)ρ(x)dx

bn =1√λn

∫ L0 g(x)ϕn(x)ρ(x)dx∫ L

0 ϕ2n(x)ρ(x)dx

However, since we don’t know the eigenfunctions ϕn we cannot makeany further use of this information.

http://math.iit.edu

Page 325: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

What else can we say?

From the superposition solution

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x)

and the fact that the eigenvalues are ordered it is clear that√λ1 is the

lowest frequency of vibration (i.e., the basic mode).

What can we say about λ1?The minimization principle tells us

λ1 = min RQ[u] = minT0∫ L

0 [u′(x)]2 dx∫ L0 u2(x)ρ(x)dx

. (21)

RemarkFor a specific problem with given density ρ(x) we could findapproximate numerical upper bounds for λ1 as we did earlier.

http://math.iit.edu

Page 326: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

What else can we say?From the superposition solution

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x)

0 [u′(x)]2 dx∫ L0 u2(x)ρ(x)dx

. (21)

http://math.iit.edu

Page 327: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x)

What can we say about λ1?

The minimization principle tells us

0 [u′(x)]2 dx∫ L0 u2(x)ρ(x)dx

. (21)

http://math.iit.edu

Page 328: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x)

λ1 = min RQ[u]

= minT0∫ L

0 [u′(x)]2 dx∫ L0 u2(x)ρ(x)dx

. (21)

http://math.iit.edu

Page 329: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x)

0 [u′(x)]2 dx∫ L0 u2(x)ρ(x)dx

. (21)

http://math.iit.edu

Page 330: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

u(x , t) =∞∑

n=1

[an cos

√λnt + bn sin

√λnt]ϕn(x)

0 [u′(x)]2 dx∫ L0 u2(x)ρ(x)dx

. (21)

http://math.iit.edu

Page 331: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Alternatively, we can obtain upper and lower bounds for λ1 if weassume that the density is bounded, i.e.,

0 ≤ ρmin ≤ ρ(x) ≤ ρmax.

Then we can bound the denominator of (21)

ρmin

∫ L

0u2(x)dx ≤

∫ L

0u2(x)ρ(x)dx ≤ ρmax

∫ L

0u2(x)dx

and so (21) gives us

T0

ρmax

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx≤ λ1 ≤

T0

ρmin

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx. (22)

RemarkThe advantage of this formulation is that we now have the Rayleighquotient for a uniform string problem.

http://math.iit.edu

Page 332: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρmin

∫ L

0u2(x)dx ≤

∫ L

0u2(x)dx

T0

ρmax

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx≤ λ1 ≤

T0

ρmin

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx. (22)

http://math.iit.edu

Page 333: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρmin

∫ L

0u2(x)dx ≤

∫ L

0u2(x)dx

T0

ρmax

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx≤ λ1 ≤

T0

ρmin

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx. (22)

http://math.iit.edu

Page 334: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ρmin

∫ L

0u2(x)dx ≤

∫ L

0u2(x)dx

T0

ρmax

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx≤ λ1 ≤

T0

ρmin

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx. (22)

http://math.iit.edu

Page 335: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The Rayleigh quotient characterization of the smallest eigenvalue λ̃1 ofthe uniform string problem is

λ̃1 = min

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx,

while the corresponding SL problem is

ϕ̃′′(x) + λ̃ϕ̃(x) = 0ϕ̃(0) = ϕ̃(L) = 0

for which we know thatλ̃1 =

(πL

)2.

http://math.iit.edu

Page 336: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ̃1 = min

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx,

ϕ̃′′(x) + λ̃ϕ̃(x) = 0ϕ̃(0) = ϕ̃(L) = 0

(πL

)2.

http://math.iit.edu

Page 337: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

λ̃1 = min

∫ L0 [u′(x)]2 dx∫ L

0 u2(x)dx,

ϕ̃′′(x) + λ̃ϕ̃(x) = 0ϕ̃(0) = ϕ̃(L) = 0

(πL

)2.

http://math.iit.edu

Page 338: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Therefore, going back to (22), we have

T0

ρmax

π2

L2 ≤ λ1 ≤T0

ρmin

π2

L2

or √T0

ρmax

π

L≤√λ1 ≤

√T0

ρmin

π

L,

where the bounds for the frequency√λ1 are the lowest frequency for a

uniform string with constant density ρmax or ρmin, respectively.

http://math.iit.edu

Page 339: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T0

ρmax

π2

L2 ≤ λ1 ≤T0

ρmin

π2

L2

or √T0

ρmax

π

L≤√λ1 ≤

√T0

ρmin

π

L,

http://math.iit.edu

Page 340: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T0

ρmax

π2

L2 ≤ λ1 ≤T0

ρmin

π2

L2

or √T0

ρmax

π

L≤√λ1 ≤

√T0

ρmin

π

L,

http://math.iit.edu

Boundary Conditions of the Third Kind

Outline

1 Introduction

2 Examples

http://math.iit.edu

Since we now will mostly be interested in studying the spatialSturm–Liouville problem associated with third kind (or Robin)boundary conditions, we can think of starting with a PDE that could beeither a heat equation or a wave equation, i.e.,

∂u∂t

(x , t) = k∂2u∂x2 (x , t) or

∂2u∂t2 (x , t) = c2∂

2u∂x2 (x , t).

The initial conditions will be

u(x ,0) = f (x) oru(x ,0) = f (x)∂u∂t (x ,0) = g(x)

and as boundary conditions we take

u(0, t) = 0∂u∂x

(L, t) = −hu(L, t).

http://math.iit.edu

Page 343: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∂u∂t

(x , t) = k∂2u∂x2 (x , t) or

∂2u∂t2 (x , t) = c2∂

2u∂x2 (x , t).

u(0, t) = 0∂u∂x

(L, t) = −hu(L, t).

http://math.iit.edu

Page 344: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∂u∂t

(x , t) = k∂2u∂x2 (x , t) or

∂2u∂t2 (x , t) = c2∂

2u∂x2 (x , t).

u(0, t) = 0∂u∂x

(L, t) = −hu(L, t).

http://math.iit.edu

Page 345: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The right end BC∂u∂x

(L, t) = −hu(L, t)

corresponds toNewton’s law of cooling with h = H/K0 (with heat transfercoefficient H and thermal conductivity K0) for the heat equation, oran elastic BC (such as a spring-mass system) with restoring forceh = k/T0 (where k is the spring constant and T0 the tension) forthe wave equation.

RemarkNote that

h > 0 suggests that heat leaves the rod or motion is stabilized atx = L,h < 0 implies that heat enters the rod or the motion is destabilizedat x = L, andh = 0 corresponds to perfect insulation or free motion at x = L.

http://math.iit.edu

Page 346: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The right end BC∂u∂x

(L, t) = −hu(L, t)

corresponds toNewton’s law of cooling with h = H/K0 (with heat transfercoefficient H and thermal conductivity K0) for the heat equation, oran elastic BC (such as a spring-mass system) with restoring forceh = k/T0 (where k is the spring constant and T0 the tension) forthe wave equation.

RemarkNote that

h > 0 suggests that heat leaves the rod or motion is stabilized atx = L,h < 0 implies that heat enters the rod or the motion is destabilizedat x = L, andh = 0 corresponds to perfect insulation or free motion at x = L.

http://math.iit.edu

Page 347: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Separation of variables with u(x , t) = ϕ(x)T (t) results in the time ODEfor the heat equation

T ′(t) = −λkT (t) =⇒ T (t) = c0e−λkt

for the wave equation

T ′′(t) = −λc2T (t) =⇒ T (t) = c1 cos√λct + c2 sin

√λct

and the regular Sturm–Liouville problem

ϕ′′(x) + λϕ(x) = 0ϕ(0) = 0 and ϕ′(L) + hϕ(L) = 0.

We now need to carefully study solutions of the SL problem in all threepossible cases λ > 0, λ = 0 and λ < 0 – especially since we have toconsider the role of the additional parameter h.

http://math.iit.edu

Page 348: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T ′(t) = −λkT (t) =⇒ T (t) = c0e−λkt

√λct

ϕ′′(x) + λϕ(x) = 0ϕ(0) = 0 and ϕ′(L) + hϕ(L) = 0.

http://math.iit.edu

Page 349: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

T ′(t) = −λkT (t) =⇒ T (t) = c0e−λkt

√λct

ϕ′′(x) + λϕ(x) = 0ϕ(0) = 0 and ϕ′(L) + hϕ(L) = 0.

http://math.iit.edu

Page 350: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

In this case we get a general solution of the form

ϕ(x) = c1 cos√λx + c2 sin

√λx

and the BC ϕ(0) = 0 immediately gives us

ϕ(0) = c1 cos 0 + c2 sin 0 != 0

=⇒ c1 = 0.

Therefore we need to consider only ϕ(x) = c2 sin√λx .

For the second BC we require the derivative ϕ′(x) = c2√λ cos

√λx

and then

ϕ′(L) + hϕ(L) = c2√λ cos

√λL + hc2 sin

√λL !

= 0.

Assuming c2 6= 0 ( trivial solution) and h 6= 0 ( different BC) we get

sin√λL

cos√λL

= −√λ

h⇐⇒ tan

√λL = −

√λ

h.

http://math.iit.edu

Page 351: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

√λx

ϕ(0) = c1 cos 0 + c2 sin 0 != 0 =⇒ c1 = 0.

√λx

and then

√λL + hc2 sin

√λL !

= 0.

sin√λL

cos√λL

= −√λ

h⇐⇒ tan

√λL = −

√λ

h.

http://math.iit.edu

Page 352: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

√λx

ϕ(0) = c1 cos 0 + c2 sin 0 != 0 =⇒ c1 = 0.

√λx

and then

√λL + hc2 sin

√λL !

= 0.

sin√λL

cos√λL

= −√λ

h⇐⇒ tan

√λL = −

√λ

h.

http://math.iit.edu

Page 353: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

√λx

ϕ(0) = c1 cos 0 + c2 sin 0 != 0 =⇒ c1 = 0.

√λx

and then

√λL + hc2 sin

√λL !

= 0.

sin√λL

cos√λL

= −√λ

h⇐⇒ tan

√λL = −

√λ

h.

http://math.iit.edu

Page 354: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

√λx

ϕ(0) = c1 cos 0 + c2 sin 0 != 0 =⇒ c1 = 0.

√λx

and then

√λL + hc2 sin

√λL !

= 0.

sin√λL

cos√λL

= −√λ

h⇐⇒ tan

√λL = −

√λ

h.

http://math.iit.edu

Page 355: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

√λx

ϕ(0) = c1 cos 0 + c2 sin 0 != 0 =⇒ c1 = 0.

√λx

and then

√λL + hc2 sin

√λL !

= 0.

sin√λL

cos√λL

= −√λ

h

⇐⇒ tan√λL = −

√λ

h.

http://math.iit.edu

Page 356: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case I: λ > 0

√λx

ϕ(0) = c1 cos 0 + c2 sin 0 != 0 =⇒ c1 = 0.

√λx

and then

√λL + hc2 sin

√λL !

= 0.

sin√λL

cos√λL

= −√λ

h⇐⇒ tan

√λL = −

√λ

h.

http://math.iit.edu

Page 357: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The equation

tan√λL = −

√λ

hcharacterizing the eigenvalues cannot be solved analytically.

We can attempt to geta qualitative graphical solution for arbitrary h and L, ora quantitative numerical solution, however only for specific valuesof h and L.

Both approaches can be illustrated with the MATLAB scriptRobinBCs.m.

http://math.iit.edu

Page 358: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The equation

tan√λL = −

√λ

http://math.iit.edu

Page 359: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The equation

tan√λL = −

√λ

http://math.iit.edu

Page 360: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Let’s assume h > 0 and scale everything so that units on the x-axisare units of

√λL.

Then we plot the intersection of y = tan√λL and y = −

√λ

h = −√λL

hL .

Figure: Plot of y = tan√λL and y = −

√λL

hL .

http://math.iit.edu

Page 361: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Let’s assume h > 0 and scale everything so that units on the x-axisare units of

√λL.

Then we plot the intersection of y = tan√λL and y = −

√λ

h = −√λL

hL .

Figure: Plot of y = tan√λL and y = −

√λL

hL .

http://math.iit.edu

Page 362: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

From the plot we can see that the (scaled square root of the)eigenvalues satisfy

π2 <√λ1L < π

3π2 <

√λ2L < 2π...

(2n−1)π2 <

√λnL < nπ

In fact,√λnL approaches the left end (2n−1)π

2 as n→∞.Therefore, we actually have a third option for large values of n andh > 0:

λn ≈((2n − 1)π

2L

)2

.

This formula describes the asymptotic behavior of the eigenvalues.

http://math.iit.edu

Page 363: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

π2 <√λ1L < π

3π2 <

√λ2L < 2π...

(2n−1)π2 <

√λnL < nπ

2 as n→∞.

Therefore, we actually have a third option for large values of n andh > 0:

λn ≈((2n − 1)π

2L

)2

.

http://math.iit.edu

Page 364: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

π2 <√λ1L < π

3π2 <

√λ2L < 2π...

(2n−1)π2 <

√λnL < nπ

2 as n→∞.Therefore, we actually have a third option for large values of n andh > 0:

λn ≈((2n − 1)π

2L

)2

.

http://math.iit.edu

Page 365: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

If h < 0 (and still λ > 0) the line has a positive slope and the graphicalsolution actually depends on the product of hL:

Figure: Plot of intersection of y = tan√λL and y = −

√λL

hL for h < 0 andh < − 1

L (left), h = − 1L (middle), h > − 1

L (right).

Note that in the case h > −1L we have an eigenvalue in

(0, π2

)which

we didn’t have before (there are, of course, still infinitely manyeigenvalues), and the eigenfunctions are still

ϕn(x) = sin√λnx .

http://math.iit.edu

Page 366: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√λL

L (left), h = − 1L (middle), h > − 1

L (right).

(0, π2

)which

http://math.iit.edu

Page 367: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√λL

L (left), h = − 1L (middle), h > − 1

L (right).

(0, π2

)which

http://math.iit.edu

Page 368: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case II: λ = 0Now the general solution is of the form

ϕ(x) = c1 + c2x

ϕ(0) = c1!= 0.

Therefore we still need to consider ϕ(x) = c2x .The second BC, ϕ′(L) + hϕ(L) = 0 implies

ϕ′(L) + hϕ(L) = c2 + hc2L != 0.

Assuming c2 6= 0, this equation will be satisfied for h = −1L , and so

λ = 0 is an eigenvalue with associated eigenfunction ϕ(x) = xprovided h = −1

L .For other values of h, λ = 0 is not and eigenvalue.

http://math.iit.edu

Page 369: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ(x) = c1 + c2x

ϕ(0) = c1!= 0.

Therefore we still need to consider ϕ(x) = c2x .

The second BC, ϕ′(L) + hϕ(L) = 0 implies

ϕ′(L) + hϕ(L) = c2 + hc2L != 0.

http://math.iit.edu

Page 370: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ(x) = c1 + c2x

ϕ(0) = c1!= 0.

ϕ′(L) + hϕ(L) = c2 + hc2L != 0.

http://math.iit.edu

Page 371: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ(x) = c1 + c2x

ϕ(0) = c1!= 0.

ϕ′(L) + hϕ(L) = c2 + hc2L != 0.

L .

For other values of h, λ = 0 is not and eigenvalue.

http://math.iit.edu

Page 372: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ϕ(x) = c1 + c2x

ϕ(0) = c1!= 0.

ϕ′(L) + hϕ(L) = c2 + hc2L != 0.

http://math.iit.edu

Page 373: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Case III: λ < 0In this case we can write the general solution in the form

ϕ(x) = c1 cosh√−λx + c2 sinh

√−λx

Therefore we need to consider only ϕ(x) = c2 sinh√−λx .

For the second BC we use the derivative ϕ′(x) = c2√−λ cosh

√−λx

and then

ϕ′(L) + hϕ(L) = c2√−λ cosh

√−λL + hc2 sinh

√−λL !

= 0.

http://math.iit.edu

Page 374: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0 + c2 sinh 0 != 0

√−λx

and then

√−λL !

= 0.

http://math.iit.edu

Page 375: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0︸︷︷︸=1

+c2 sinh 0︸︷︷︸=0

!= 0

√−λx

and then

√−λL !

= 0.

http://math.iit.edu

Page 376: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0︸︷︷︸=1

+c2 sinh 0︸︷︷︸=0

!= 0 =⇒ c1 = 0.

√−λx

and then

√−λL !

= 0.

http://math.iit.edu

Page 377: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0︸︷︷︸=1

+c2 sinh 0︸︷︷︸=0

!= 0 =⇒ c1 = 0.

√−λx

and then

√−λL !

= 0.

http://math.iit.edu

Page 378: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0︸︷︷︸=1

+c2 sinh 0︸︷︷︸=0

!= 0 =⇒ c1 = 0.

√−λx

and then

√−λL !

= 0.

http://math.iit.edu

Page 379: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0︸︷︷︸=1

+c2 sinh 0︸︷︷︸=0

!= 0 =⇒ c1 = 0.

√−λx

and then

√−λL !

= 0.

Assuming c2 6= 0 and h 6= 0 we get

sinh√−λL

cosh√−λL

= −√−λh

http://math.iit.edu

Page 380: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

√−λx

ϕ(0) = c1 cosh 0︸︷︷︸=1

+c2 sinh 0︸︷︷︸=0

!= 0 =⇒ c1 = 0.

√−λx

and then

√−λL !

= 0.

Assuming c2 6= 0 and h 6= 0 we get

sinh√−λL

cosh√−λL

= −√−λh

⇐⇒ tanh√−λL = −

√−λh

.

http://math.iit.edu

Page 381: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Here we scale everything so that units on the x-axis are units of√−λL.

Figure: Plot of y = tanh√−λL together with lines y = −

√−λLhL for different h.

Since the hyperbolic tangent does not oscillate we can pick up at mostone negative eigenvalue λ0 (when h < −1

L ). Its eigenfunction is

ϕ0(x) = sinh√−λ0x

http://math.iit.edu

Page 382: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 383: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 384: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The special case h = 0:

This case corresponds to perfect insulation (or free vibration) at theend x = L and can easily be solved directly.

The eigenvalues in this case are

λn =

((2n − 1)π

2L

)2

, n = 1,2,3, . . . ,

and the corresponding eigenfunctions are

ϕn(x) = sin√λnx , n = 1,2,3, . . . .

http://math.iit.edu

Page 385: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The special case h = 0:

This case corresponds to perfect insulation (or free vibration) at theend x = L and can easily be solved directly.

The eigenvalues in this case are

λn =

((2n − 1)π

2L

)2

, n = 1,2,3, . . . ,

and the corresponding eigenfunctions are

ϕn(x) = sin√λnx , n = 1,2,3, . . . .

http://math.iit.edu

Page 386: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Altogether, we can summarize the eigenvalues and eigenfunctions forthis example in the following table:

λ > 0 λ = 0 λ < 0h > −1

L sin√λx

h = −1L sin

√λx x

h < −1L sin

√λx sinh

√−λ0x

Here λ0 is the one extra negative eigenvalue which will arise forh < −1

L .

RemarkYou can compare this with Table 5.8.1 in [Haberman], where anadditional split into “physical” (h ≥ 0) and “nonphysical” (h < 0)situations was made.

http://math.iit.edu

Approximation Properties

Outline

1 Introduction

2 Examples

http://math.iit.edu

In this section we want to study how to “best” represent an (infinite)generalized Fourier series by a finite linear combination of theeigenfunctions.

We let

sM(x) =M∑

n=1

αnϕn(x)

be an M-term approximation of the generalized Fourier series

f (x) ∼∞∑

n=1

anϕn(x)

with eigenfunctions ϕn and generalized Fourier coefficients

an =

a ϕ2n(x)σ(x)dx

.

How should we choose the unknown coefficients αn of sM?

http://math.iit.edu

Page 389: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

In this section we want to study how to “best” represent an (infinite)generalized Fourier series by a finite linear combination of theeigenfunctions.We let

sM(x) =M∑

n=1

αnϕn(x)

f (x) ∼∞∑

n=1

anϕn(x)

an =

a ϕ2n(x)σ(x)dx

.

How should we choose the unknown coefficients αn of sM?

http://math.iit.edu

Page 390: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

In this section we want to study how to “best” represent an (infinite)generalized Fourier series by a finite linear combination of theeigenfunctions.We let

sM(x) =M∑

n=1

αnϕn(x)

f (x) ∼∞∑

n=1

anϕn(x)

an =

a ϕ2n(x)σ(x)dx

.

How should we choose the unknown coefficients αn of [email protected] MATH 461 – Chapter 5 119

http://math.iit.edu

Page 391: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We decide to choose αn such that (for fixed M)

‖f − sM‖ = ‖f −M∑

n=1

αnϕn‖ is minimized.

Here the norm ‖ · ‖ is some measure of “goodness” to be definedbelow.

RemarkSince we will obtain that sM with minimal norm ‖f − sM‖ among allpossible M-term eigenfunction approximations sM we will have foundthe “best” one.

http://math.iit.edu

Page 392: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

‖f − sM‖ = ‖f −M∑

n=1

http://math.iit.edu

Page 393: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

‖f − sM‖ = ‖f −M∑

n=1

http://math.iit.edu

Page 394: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

What kind of norm should we use?

Possible (standard) choices arethe one-norm

‖f − sM‖1 =

∫ b

a|f (x)− sM(x)|dx ,

the weighted two-norm (or weighted least squares norm)

‖f − sM‖2 =

(∫ b

a[f (x)− sM(x)]2 σ(x)dx

)1/2

,

the maximum norm (or infinity-norm)

‖f − sM‖∞ = maxx∈[a,b]

|f (x)− sM(x)|,

The one- and infinity-norms are not as practical as the two-norm.Therefore, we use the weighted least squares norm.

http://math.iit.edu

Page 395: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

What kind of norm should we use?Possible (standard) choices are

the one-norm

‖f − sM‖1 =

∫ b

‖f − sM‖2 =

(∫ b

)1/2

,

|f (x)− sM(x)|,

http://math.iit.edu

Page 396: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

the one-norm

‖f − sM‖1 =

∫ b

‖f − sM‖2 =

(∫ b

)1/2

,

|f (x)− sM(x)|,

http://math.iit.edu

Page 397: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

the one-norm

‖f − sM‖1 =

∫ b

‖f − sM‖2 =

(∫ b

)1/2

,

|f (x)− sM(x)|,

http://math.iit.edu

Page 398: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

the one-norm

‖f − sM‖1 =

∫ b

‖f − sM‖2 =

(∫ b

)1/2

,

|f (x)− sM(x)|,

http://math.iit.edu

Page 399: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We will choose the coefficients αn to minimize the (square of the)weighted least squares norm, i.e., we want to solve

minαn

E = minαn

∫ b

= minαn

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx .

This problem is a multivariate optimization problem and can be solvedwith standard methods from Calculus III.A necessary condition for obtaining a minimum is

∂E∂αi

= 0 i = 1,2, . . . ,M.

http://math.iit.edu

Page 400: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

minαn

E = minαn

∫ b

= minαn

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx .

∂E∂αi

= 0 i = 1,2, . . . ,M.

http://math.iit.edu

Page 401: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

minαn

E = minαn

∫ b

= minαn

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx .

This problem is a multivariate optimization problem and can be solvedwith standard methods from Calculus III.

A necessary condition for obtaining a minimum is

∂E∂αi

= 0 i = 1,2, . . . ,M.

http://math.iit.edu

Page 402: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

minαn

E = minαn

∫ b

= minαn

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx .

∂E∂αi

= 0 i = 1,2, . . . ,M.

http://math.iit.edu

Page 403: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

The first thing we need are the partial derivatives

∂E∂αi

=∂

∂αi

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx

, i = 1,2, . . . ,M.

By the chain rule we have

∂E∂αi

= −2∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]ϕi(x)σ(x)dx , i = 1,2, . . . ,M.

(23)We now need to set these equal to zero and solve for αi .

http://math.iit.edu

Page 404: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∂E∂αi

=∂

∂αi

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx

, i = 1,2, . . . ,M.

∂E∂αi

= −2∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]ϕi(x)σ(x)dx , i = 1,2, . . . ,M.

(23)

We now need to set these equal to zero and solve for αi .

http://math.iit.edu

Page 405: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

∂E∂αi

=∂

∂αi

∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]2

σ(x)dx

, i = 1,2, . . . ,M.

∂E∂αi

= −2∫ b

a

[f (x)−

M∑n=1

αnϕn(x)

]ϕi(x)σ(x)dx , i = 1,2, . . . ,M.

(23)We now need to set these equal to zero and solve for αi .

http://math.iit.edu

Page 406: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

af (x)ϕi(x)σ(x)dx =

∫ b

a

M∑n=1

αnϕn(x)ϕi(x)σ(x)dx

i.e., truncating the generalized Fourier series might be the optimalchoice (this is only a necessary condition).

http://math.iit.edu

Page 407: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

a

M∑n=1

=M∑

n=1

αn

∫ b

aϕn(x)ϕi(x)σ(x)dx

http://math.iit.edu

Page 408: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

a

M∑n=1

=M∑

n=1

αn

∫ b

aϕn(x)ϕi(x)σ(x)dx︸︷︷︸

=0 if n 6=i

http://math.iit.edu

Page 409: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

a

M∑n=1

=M∑

n=1

αn

∫ b

=0 if n 6=i

= αi

∫ b

aϕ2

i (x)σ(x)dx

http://math.iit.edu

Page 410: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

a

M∑n=1

=M∑

n=1

αn

∫ b

=0 if n 6=i

= αi

∫ b

aϕ2

i (x)σ(x)dx

and so

αi =

∫ ba f (x)ϕi(x)σ(x)dx∫ b

a ϕ2i (x)σ(x)dx

http://math.iit.edu

Page 411: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

a

M∑n=1

=M∑

n=1

αn

∫ b

=0 if n 6=i

= αi

∫ b

aϕ2

i (x)σ(x)dx

and so

αi =

a ϕ2i (x)σ(x)dx

= ai ,

http://math.iit.edu

Page 412: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Setting ∂E∂αi

= 0 in (23) we get

∫ b

a

M∑n=1

=M∑

n=1

αn

∫ b

=0 if n 6=i

= αi

∫ b

aϕ2

i (x)σ(x)dx

and so

αi =

a ϕ2i (x)σ(x)dx

= ai ,

http://math.iit.edu

Page 413: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now show that αn = an indeed does minimize E .

Consider

E =

∫ b

a[f (x)− sM(x)]2 σ(x)dx =

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

Interchanging integration and (finite) summation (no problem at all!) andusing orthogonality of the eigenfunctions we know that∫ b

a

M∑n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)σ(x)dx =M∑

n=1

M∑`=1

αnα`

∫ b

aϕn(x)ϕ`(x)σ(x)dx

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 414: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We now show that αn = an indeed does minimize E . Consider

E =

∫ b

=

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

a

M∑n=1

M∑`=1

n=1

M∑`=1

αnα`

∫ b

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 415: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

a

M∑n=1

M∑`=1

n=1

M∑`=1

αnα`

∫ b

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 416: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

a

M∑n=1

M∑`=1

n=1

M∑`=1

αnα`

∫ b

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 417: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

a

M∑n=1

M∑`=1

n=1

M∑`=1

αnα`

∫ b

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 418: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

a

M∑n=1

M∑`=1

n=1

M∑`=1

αnα`

∫ b

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 419: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

a

[f 2(x)− 2f (x)sM(x) + s2

M(x)]σ(x)dx

=

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

M∑`=1

αnα`ϕn(x)ϕ`(x)

]σ(x)dx

a

M∑n=1

M∑`=1

n=1

M∑`=1

αnα`

∫ b

=M∑

n=1

α2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx .

http://math.iit.edu

Page 420: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We can rearrange

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx

as

E =M∑

n=1

[α2

n

∫ b

aϕ2

n(x)σ(x)dx − 2αn

∫ b

af (x)ϕn(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

and then further modify

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

∫ ba ϕ

2n(x)σ(x)dx∫ b

a ϕ2n(x)σ(x)dx︸︷︷︸

=1

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[α2

n

∫ b

aϕ2

=an

∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx]+

∫ b

af 2(x)σ(x)dx

http://math.iit.edu

Page 421: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We can rearrange

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx

as

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

∫ ba ϕ

2n(x)σ(x)dx∫ b

=1

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[α2

n

∫ b

aϕ2

=an

∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx]+

∫ b

af 2(x)σ(x)dx

http://math.iit.edu

Page 422: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We can rearrange

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx

as

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

∫ ba ϕ

2n(x)σ(x)dx∫ b

=1

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[α2

n

∫ b

aϕ2

=an

∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx]+

∫ b

af 2(x)σ(x)dx

http://math.iit.edu

Page 423: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

We can rearrange

E =

∫ b

a

[f 2(x)− 2f (x)

M∑n=1

αnϕn(x) +M∑

n=1

α2nϕ

2n(x)

]σ(x)dx

as

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

E =M∑

n=1

[α2

n

∫ b

aϕ2

∫ b

af (x)ϕn(x)σ(x)dx

∫ ba ϕ

2n(x)σ(x)dx∫ b

=1

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[α2

n

∫ b

aϕ2

=an

∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

=M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx]+

∫ b

af 2(x)σ(x)dx

http://math.iit.edu

Page 424: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Now we take

E =M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

and complete the square to get

E =M∑

n=1

[((αn − an)

2 − a2n

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

The only terms we can manipulate to reduce the value of E are thenonnegative integrals

(αn − an)2∫ b

aϕ2

n(x)σ(x)dx .

The best we can do, i.e., the smallest we can make E , is to removethese terms from the summation. This happens if αn = an.Therefore, truncation of the generalized Fourier series is indeedoptimal.

http://math.iit.edu

Page 425: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Now we take

E =M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

E =M∑

n=1

[((αn − an)

2 − a2n

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

(αn − an)2∫ b

aϕ2

n(x)σ(x)dx .

http://math.iit.edu

Page 426: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Now we take

E =M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

E =M∑

n=1

[((αn − an)

2 − a2n

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

(αn − an)2∫ b

aϕ2

n(x)σ(x)dx .

The best we can do, i.e., the smallest we can make E , is to removethese terms from the summation. This happens if αn = an.

Therefore, truncation of the generalized Fourier series is indeedoptimal.

http://math.iit.edu

Page 427: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Now we take

E =M∑

n=1

[(α2

n − 2αnan

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

E =M∑

n=1

[((αn − an)

2 − a2n

)∫ b

aϕ2

n(x)σ(x)dx

]+

∫ b

af 2(x)σ(x)dx

(αn − an)2∫ b

aϕ2

n(x)σ(x)dx .

http://math.iit.edu

Page 428: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

RemarkNote that the choice of the optimal coefficients αn = an wasindependent of the particular value of M.

This means that if sM for a particular value M turns out not to be goodenough, then we can obtain the more accurate sM+1 by computingonly one additional coefficient αM+1 = aM+1.

This is not at all obvious. In many cases, allowing for one more term inthe expansion may require recomputation of all coefficients.

http://math.iit.edu

Page 429: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 430: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

http://math.iit.edu

Page 431: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

If we let αn = an above, then we see that the actual minimum error is

E =

∫ b

af 2(x)σ(x)dx −

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx (24)

Example

Assume that the eigenfunctions are orthonormal with weight σ(x) = 1,i.e., ∫ b

aϕn(x)ϕm(x)dx =

{0 if m 6= n,1 if m = n.

Then the least squares error when approximating f by its truncatedgeneralized Fourier series

∑Mn=1 anϕn on [a,b] is

E =

∫ b

af 2(x)dx −

M∑n=1

a2n.

Note that the error involves only the Fourier coefficients, but not theeigenfunctions.

http://math.iit.edu

Page 432: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

af 2(x)σ(x)dx −

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx (24)

Example

aϕn(x)ϕm(x)dx =

{0 if m 6= n,1 if m = n.

E =

∫ b

af 2(x)dx −

M∑n=1

a2n.

http://math.iit.edu

Page 433: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

E =

∫ b

af 2(x)σ(x)dx −

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx (24)

Example

aϕn(x)ϕm(x)dx =

{0 if m 6= n,1 if m = n.

E =

∫ b

af 2(x)dx −

M∑n=1

a2n.

http://math.iit.edu

Page 434: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Bessel’s Inequality

From formula (24) and the definition of E we have

0 ≤ E =

∫ b

af 2(x)σ(x)dx −

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore ∫ b

af 2(x)σ(x)dx ≥

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx .

This is known as Bessel’s inequality.

http://math.iit.edu

Page 435: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Bessel’s Inequality

From formula (24) and the definition of E we have

0 ≤ E =

∫ b

af 2(x)σ(x)dx −

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx

and therefore ∫ b

af 2(x)σ(x)dx ≥

M∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx .

This is known as Bessel’s inequality.

http://math.iit.edu

Page 436: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Parseval’s Identity

From the definition of the weighted least squares error

EM =

∫ b

a

[f (x)−

M∑n=1

anϕn(x)

]2

σ(x)dx

and the convergence properties of generalized Fourier series(convergence of the series to a value different from f (x) at finitelymany points x does not affect the values of the integral!) we get that

limM→∞

EM = 0.

This shows that the generalized Fourier series of f converges to f inthe least squares sense on the entire interval [a,b].

http://math.iit.edu

Page 437: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Parseval’s Identity

From the definition of the weighted least squares error

EM =

∫ b

a

[f (x)−

M∑n=1

anϕn(x)

]2

σ(x)dx

and the convergence properties of generalized Fourier series(convergence of the series to a value different from f (x) at finitelymany points x does not affect the values of the integral!) we get that

limM→∞

EM = 0.

This shows that the generalized Fourier series of f converges to f inthe least squares sense on the entire interval [a,b].

http://math.iit.edu

Page 438: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Moreover, formula (24) for M →∞ gives us∫ b

af 2(x)σ(x)dx =

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx .

This is known as Parseval’s identity, and can be viewed as ageneralization of the Pythagorean theorem to inner product spaces offunctions.

RemarkInner product spaces – and in particular Hilbert spaces – are studied inmuch more detail in functional analysis. They play a very importantrole in many applications.

http://math.iit.edu

Page 439: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Moreover, formula (24) for M →∞ gives us∫ b

af 2(x)σ(x)dx =

∞∑n=1

a2n

∫ b

aϕ2

n(x)σ(x)dx .

This is known as Parseval’s identity, and can be viewed as ageneralization of the Pythagorean theorem to inner product spaces offunctions.

RemarkInner product spaces – and in particular Hilbert spaces – are studied inmuch more detail in functional analysis. They play a very importantrole in many applications.

http://math.iit.edu

Page 440: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ExampleFor orthonormal eigenfunctions with weight σ ≡ 1, Parseval’s identitysays ∫ b

af 2(x)dx =

∞∑n=1

a2n.

The analogy with the Pythagorean theorem perhaps becomes moreapparent if we use inner product notation and norms. Then we have

‖f‖22 = 〈f , f 〉 =∞∑

n=1

a2n =

∞∑n=1

〈f , ϕn〉2.

http://math.iit.edu

Page 441: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

ExampleFor orthonormal eigenfunctions with weight σ ≡ 1, Parseval’s identitysays ∫ b

af 2(x)dx =

∞∑n=1

a2n.

The analogy with the Pythagorean theorem perhaps becomes moreapparent if we use inner product notation and norms. Then we have

‖f‖22 = 〈f , f 〉 =∞∑

n=1

a2n =

∞∑n=1

〈f , ϕn〉2.

http://math.iit.edu

Page 442: MATH 461: Fourier Series and Boundary Value Problems ...fass/Notes461_Ch5.pdf · Introduction Outline 1 Introduction 2 Examples 3 Sturm–Liouville Eigenvalue Problems 4 Heat Flow

Appendix References

References I

R. Haberman.Applied Partial Differential Equations.Pearson (5th ed.), Upper Saddle River, NJ, 2012.

http://math.iit.edu

math 461: fourier series and boundary value problems ...fass/notes461_ch5.pdf · introduction...

Documents