Fourier Series and Sturm-Liouville Eigenvalue Problems

44 downloads 206 Views 825KB Size Report
For example, f(x) = sin(x) is a 2π-periodic funtion with period 2π, since sin(x + 2π) = sin(x). Y. K. Goh. Fourier Series and Sturm-Liouville Eigenvalue Problems ...
Fourier Series and Sturm-Liouville Eigenvalue Problems Y. K. Goh

2009

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Outline I I I I I I I I I I

Functions Fourier Series Representation Half-range Expansion Convergence of Fourier Series Parseval’s Theorem and Mean Square Error Complex Form of Fourier Series Inner Products Orthogonal Functions Self-adjoint Operators Sturm-Liouville Eigenvalue Probelms

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Periodic Functions Definition (Periodic Function) A 2L-periodic function f : R → R ∪ {±∞} is a function such that there exists a constant L > 0 such that f (x) = f (x + 2L),

∀x ∈ R.

Here 2L is called the fundamental period or just period. For example, f (x) = sin(x) is a 2π-periodic funtion with period 2π, since sin(x + 2π) = sin(x).

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

(1)

Even and Odd Functions Definition (Even and Odd Functions) I I

A function f is even if and only if f (−x) = f (x), ∀x. A function f is odd if and only if f (−x) = −f (x), ∀x.

For example I sin x is an odd function since sin(−x) = − sin x. I cos x is an even function since cos(−x) = cos x. Note that even function is symmetric about the y-axis. On the other hand, odd function is symmetric about the origin. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Examples of Even and Odd Functions

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Piecewise Continuous Functions

Definition (Piecewise Continuous Functions) A function f is said to be piecewise continuous on the interval [a, b] if 1. f (a+) and f (b−) exist, and 2. f is defined and continous on (a, b) except at a finite number of points in (a, b) where the left and right limits exits

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Piecewise Smooth Functions Definition (Piecewise Smooth Functions) A function f , defined on the interval [a, b], is said to be piecewise smooth if f and f 0 are piecewise continous on [a, b]. Thus f is piecewise smooth if 1. f is piecewise continous on [a, b], 2. f 0 exists and is continous in (a, b) except possibly at finitely many points c where the one-sided limits limx→c− f 0 (x) and limx→c+ f 0 (x) exist. Furthermore, limx→a+ f 0 (x) and limx→b− f 0 (x) exist.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Examples of Piecewise Functions

Figure: A piecewise smooth function.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Figure: Another piecewise smooth function.

Some useful integrations I

If f is even. Then, for any a ∈ R Z a Z a f (x) dx = 2 f (x) dx. −a

I

0

If f is odd. Then, for any a ∈ R Z a f (x) dx = 0. −a

I

If f is piecewise continuous and 2L-periodic. Then, for any a ∈ R Z 2L Z a+2L f (x) dx = f (x) dx. 0

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

a

Orthogonal Functions

Definition (Orthogonal Functions) Two functions f and g are said to be orthogonal in the interval [a, b] if Z b f (x)g(x) dx = 0. a

We will come back to orthogonal functions again later.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

(2)

Orthogonal Properties of Trigonometric Functions The orthogonal properties of sine and cosine functions are summarised as follow: Z π cos mx sin nx dx = 0, (3) −π Z π cos mx cos nx dx = πδmn , (4) −π Z π sin mx sin nx dx = πδmn (5) −π

where δmn is the Kronecker’s delta. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Kronecker’s Delta

Definition (Kronecker’s Delta)  δmn =

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

1, 0,

m=n m 6= n.

(6)

Fourier Series Theorem (Fourier Series Representation) Suppose f is a 2L-periodic piecewise smooth function, then Fourier series of f is given by ∞

a0 X f (x) = + (an cos nωx + bn sin nωx) 2 n=1

(7)

and the Fourier series converges to f (x) if f is continuous at x and to 21 [f (x+) + f (x−)] otherwise. 2π Here ω = 2L is called the fundamental frequency, while the amplitudes a0 , an , and bn are called Fourier coefficients of f and they are given by the Euler formula. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Euler Formula Definition (Euler Formula) The Fourier coefficients for a 2L-periodic function f are given by Z 1 L f (x) dx, a0 = L −L Z Z 1 L 1 L nπx an = f (x) cos nωx dx = f (x) cos dx, L −L L −L L Z Z 1 L 1 L nπx dx. bn = f (x) sin nωx dx = f (x) sin L −L L −L L for n = 1, 2, . . . . Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Collorary I

If f is even and 2L-periodic, then the Fourier series representation is ∞

a0 X f (x) = + an cos nωx. 2 n=1 I

If f is odd and 2L-periodic, then the Fourier series representation is f (x) =

∞ X

bn sin nωx.

n=1

Here, a0 , an , and bn are given by the Euler formula. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Examples of Fourier Series I

(Odd function, digital impulses) Find the Fourier representation of the periodic function f (x) with period 2π, where  −1, −π < x < 0, f (x) = 1, 0 < x < π. [Answer:] f (x) =

∞ ∞ X 4 sin nx X 4 sin(2k − 1)x = . nπ (2k − 1)π n odd k=1

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Graphs for Digital Pulse Train and its Fourier Series

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Examples of Fourier Series

I

(Even function) Find the Fourier series for f (x) = |x| if −1 < x < 1 and f (x + 2) = f (x). [Answer:] f (x) =

1 2



∞ X 4 cos(2n − 1)x n=1

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

(2n − 1)2 π 2

.

Graphs for f (x) = |x|, f (x + 2) = f (x)

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Examples of Fourier Series

I

Find the Fourier series of the 2-periodic function f (x) = x3 + π if −1 < x < 1. [Answer:] ∞ 2 2 X n 12 − 2n π f (x) = π + (−1) sin nπx. n3 π 3 n=1

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Graphs for f (x) = x3 + π, f (x + 2) = f (x)

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Full-range Extensions Consider a function f that is only defined in the interval [0, p). We could always extension the function outside the range to produce a new function. Of course, we have infinite many ways to extend the function, but here we will focus only on three specific extensions.

Definition (Full-range Periodic Extension) The full-range periodic extension g of a function f defined in [0, p) is a p-periodic function given by g(x) = f (x) if 0 ≤ x < p, g(x) = g(x + p) if x < 0, g(x) = g(x − p) if x ≥ p. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Half-range Periodic Extensions

Definition (Half-range Even Periodic Extension) The half-range even periodic extension fe of a function f defined in [0, p) is a 2p-periodic even function given by ( f (x) 0 ≤ x < p, fe (x) = f (−x) −p ≤ x < 0.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Half-range Periodic Extensions

Definition (Half-range Odd Periodic Extension) The half-range odd periodic extension fo of a function f defined in [0, p) is a 2p-periodic odd function given by ( f (x) 0 ≤ x < p, fe (x) = −f (−x) −p ≤ x < 0.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Examples Periodic Extensions

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Full-range Fourier Series for f defined on [0, p) Theorem If f (x) is a piecewise smooth function defined on an interval [0, p), then f has a full-range Fourier series expansion ∞

a0 X f (x) = + (an cos nωx + bn sin nωx) , 0 ≤ x < p, (8) 2 n=1 where ω = 2π and the Fourier coefficients Z pp Z p 1 1 a0 = f (x) dx, an = f (x) cos nωx dx, and p/2 Z0 p/2 0 p 1 bn = f (x) sin nωx dx. p/2 0 Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Fourier Cosine Series for f defined on [0, p) Theorem If f (x) is a piecewise smooth function defined on an interval [0, p), then f has a half-range Fourier cosine series expansion ∞

a0 X f (x) = + an cos nωx, 0 ≤ x < p, 2 n=1 2 where ω = and the Fourier coefficients a0 = p Z 2 p and an = f (x) cos nωx dx. p 0 π p

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Z

(9) p

f (x) dx, 0

Fourier Since Series for f defined on [0, p) Theorem If f (x) is a piecewise smooth function defined on an interval [0, p), then f has a half-range Fourier sine series expansion f (x) =

∞ X

bn sin nωx, 0 ≤ x < p,

n=1

where ω = πp and the Fourier coefficients Z 2 p bn = f (x) sin nωx dx. p 0 Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

(10)

Examples Consider a signal f (t) = t measured from an experiment over the duration given by 0 0, we can find a positive integer N such that for all n ≥ N |sn (x) − f (x)| < , ∀x ∈ E.

Definition (Uniform Convergence Series) P A series s(x) = ∞ k=0 uk (x) is said to converge uniformly to f (x) on aPset E if the sequence of partial sums sn (x) = nk=0 uk (x) converges uniformly to f (x). Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Note that if a sequence of partial sums sn converges uniformly to f, then sn is also pointwise convergence. However, the converse is not always true. In order to determine is a sn is uniformly convergence, we use the WeierstraßM -test.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

WeierstraßM -Test Theorem (WeierstraßM -Test) Let {uk }∞ k=0 be a sequence of real- or complex-valued functions on E. If there exists a sequence {Mk }∞ k=0 of nonnegative real numbers such that the following two conditions hold: I |uk (x)| ≤ Mk , ∀x ∈ E, and P∞ I k=0 Mk < ∞. ∞ X Then uk (x) converges uniformly on E. k=0

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Gibbs’ Phenomena Here is an example of non-uniform convergence. The peaks remain same height but the width of the peaks changes. N=10

N=30

1.5

N=50

1.5

1.5

sqr(x) S10(x)

sqr(x) S30(x)

sqr(x) S50(x)

1

1

1

0.5

0.5

0.5

0

0

0

-0.5

-0.5

-0.5

-1

-1

-1.5

-1

-1.5 -1

-0.5

0

0.5

1

-1.5 -1

-0.5

N=10

0

0.5

1

-1

N=30

0.8

err(x)

0.4

0.4

0.4

0.2

0.2

0

0

0

-0.2

-0.2

-0.2

-0.4

-0.4

-0.4

-0.6

-0.6

-0.8

0.2

-0.6

-0.8 0.5

1

1

0.8

0.6

0

0.5

err(x) 0.6

-0.5

0

N=50

0.8 err(x)

0.6

-1

-0.5

-0.8 -1

-0.5

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

0

0.5

1

-1

-0.5

0

0.5

1

Mean Square Error Since sN converges to f only when N → ∞, for most practical purposes, we need N to be large but finite. Thus, we are approximating f with sN , and it is important for us to keep track of the error of the approximation.

Definition (Mean Square Error) The mean square error of the partial sum sN relative to f is Z L 1 EN = [f (x) − sN (x)]2 dx 2L −L Z L N  1 1 1X 2 = [f (x)]2 dx − a20 − an + b2n . 2L −L 4 2 n=1 Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Mean Square Approximation Theorem (Mean Square Approximation) RL Suppose that f is square integrable, i.e. −L |f (x)|2 dx on [−L, L]. Then sN , the N th partial sum of the Fourier series of f , approximates f in the mean square sense with an error EN that decreases to zero as N → ∞. 1 lim EN = N →∞ 2L

Z

N

L

 1 1X 2 [f (x)] dx − a20 − an + b2n = 0. 4 2 n=1 −L 2

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Bessel’s Inequality and Parseval’s Identity Since EN > 0, from the definition of EN , we get

Definition (Bessel’s Inequality) N

1 1 2 1X 2 a0 + (an + b2n ) ≤ 4 2 n=1 2L

Z

L

[f (x)]2 dx.

−L

A stronger result is when taking the limit N → ∞

Definition (Parseval’s Identity) ∞

1 2 1X 2 1 a0 + (an + b2n ) = 4 2 n=1 2L Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Z

L

−L

[f (x)]2 dx.

Multiplication Theorem A generalisation of the Parseval’s identity is the multiplication theorem.

Theorem (Multiplication (Inner Product) Theorem) If f and g are two 2L-periodic piecewise smooth functions 1 2L

Z

L

f (x)g(x) dx = −L

∞ X

cn d∗n

n=−∞

where cn and dn are the Fourier coefficients for the complex Fourier series of f and g respectively.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Complex Form of Fourier Series Theorem (Complex Form of Fourier Series) Let f be a 2L-periodic piecewise smooth function. The complex form of the Fourier series of f is ∞ X

cn einωx ,

n=−∞

where the frequency ω = 2π/2L and the Fourier coefficients RL 1 cn = 2L f (x)e−inωx dx, n = 0, ±1, ±2, . . . . −L For all x, the complex Fourier series converges to f (x) if f is 1 continuous at x, and to [f (x+) + f (x−)] otherwise. 2 Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Relations of Complex and Real Fourier Coefficients

c−n = c∗n ; 1 c0 = a0 2 1 (an − ibn ); cn = 2 1 c−n = (an + ibn ). 2

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

a0 = 2c0 ; an = cn + c−n ; bn = i(cn − c−n ).

Complex Form of Parseval’s Identity Theorem (Complex Form of Parseval’s Identity) Suppose f is a square integrable 2L-periodic piecewise smooth function on [−L, L]. Then 1 2L

Z

L 2

[f (x)] dx = −L

∞ X n=−∞

cn c∗n

=

∞ X n=−∞

where cn is the complex Fourier coefficients of f .

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

|cn |2

Example

Find the complex Fourier series for the 2π-periodic function f (x) = ex defined in (−π, π).

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Frequency Spectra

The distribution of the magnitude of complex Fourier coefficients |cn | in frequency domain is called the amplitude spectrum of f . The distribution of p0 = |c0 |2 and pn = |cn |2 in frequency domain is called the power spectrum of f .

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Inner Products Definition (Inner Products) Let ψ and φ be (possibly complex) functions of x on the interval (a, b). Then the inner product of ψ and φ is b

Z

ψ ∗ (x)φ(x) dx.

hψ|φi = a

Note that the notation of inner product in some books is Z b (φ, ψ) = ψ ∗ (x)φ(x) dx. a

Please take note on the order of φ and ψ in the brackets. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Norm

Definition (Norm) Let f be (possibly complex) function of x on the interval (a, b). Then the norm of f is p ||ψ|| = hf |f i =

Z

Fourier Series and Sturm-Liouville Eigenvalue Problems

2

|f (x)| dx a

Y. K. Goh

b

1/2 .

Orthogonal Functions Definition (Orthogonal Functions) The functions f and g are called orthogonal on the interval (a, b) if their inner product is zero, Z hf |gi =

b

f ∗ (x)g(x) dx = 0.

a

Definition (Orthogonal Set of Functions) A set of functions {F1 , F2 , F3 , . . . } defined on the interval (a, b) is called an orthogonal set if I ||Fn || = 6 0 for all n; and I hFm |Fn i = 0, for m 6= n. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Normalisation and Orthonormal Set Definition (Normalisation) A normalised function fn for a function Fn , with ||Fn || = 6 0, is defined as Fn (x) fn (x) = . ||Fn ||

Definition (Orthonormal Set of Functions) A set of functions {f1 , f2 , f3 , . . . } defined on the interval (a, b) is called an orthonormal set if I ||fn || = 1 for all n; and I hfm |fn i = 0, for m 6= n; or simply, hfm |fn i = δmn , where δmn is the Kronecker’s delta. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Generalized Fourier Series Theorem (Generalized Fourier Series) If {f1 , f2 , f3 , . . . } is a complete set of orthogonal functions on (a, b) and if f can be represented as a linear combination of fn , then the generalised Fourier series of f is given by f (x) =

∞ X

an fn (x) =

n=1

where an =

hfn |f i ||fn ||2

∞ X hfn |f i n=1

||fn ||2

fn (x),

is the generalised Fourier coefficient.

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Parseval’s Identity

Theorem (Generalized Parseval’s Identity) If {f1 , f2 , f3 , . . . } is a complete set of orthogonal functions on (a, b) and let f be such that ||f || is finite. Then Z

b 2

|f (x)| dx = a

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

∞ X |hfn |f i|2 n=1

||fn ||2

.

Orthogonality with respect to a Weight, w(x) I

(Inner product) Z b hf |gi = f ∗ (x)g(x)w(x) dx

I

(Orthogonality) Z b ∗ hfm |fn i = fm (x)fn (x)w(x) dx = ||fm ||2 δmn

I

(Generalised Fourier Series) ∞ X hfn |f i f (x) = f (x) 2 n ||f || n n=1 (Generalised Parseval’s Identity) Z b ∞ X |hfn |f i|2 |f (x)|2 w(x) dx = ||fn ||2 a n=1

a

a

I

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Adjoint and Self-adjoint Operators Definition (Adjoints of Differential Operators) Suppose u and v are (possible complex) functions of x in (a, b) and let L be a linear differential operator. Then, the formal adjoint M of L is another operator such that for all u and v hf |L[g]i = hM [f ]|gi.

Definition (Self-adjoint Operators) Suppose M is the formal adjoint operator for a linear operator L in space S. If M = L, then the operator L is said to be formally self-adjoint or formally Hermitian. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Example: Adjoint for L[φ] ≡ p(x)dφ/dx Suppose L[φ] ≡ p(x)dφ/dx, then  ∗ Z b  Z b  d ∗ d b ∗ ∗ v dx = [u pv]a − v hu|L[v]i = u p (p u) dx dx dx a a = hM [u]|vi In the last step, we set the boundary term to zero. The the adjoint for the operator L consists of I Formal adjoint M [φ] ≡ − d (p∗ φ); and dx Boundary conditions [u∗ pv]ba = 0. Furhermore, if p(x) is a pure imaginary constant, then M = L. i.e. L is self-adjoint. I

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Adjoint for 2nd Order Linear Differential Operators Suppose L[φ] ≡ a0 (x)φ00 + a1 (x)φ0 + a2 (x)φ. Then, b hu|L[v]i = [u∗ a0 v 0 + u∗ a1 v − v(a0 u∗ )0 ]a + Z b v [(a0 u∗ )00 − (a1 u∗ )0 + a2 u∗ ] dx = hM [u]|vi with a

appropriate choice of boundary conditions. Note that I M [φ] ≡ a0 φ00 + (2a0 − a1 )φ0 + (a2 − a0 + a00 )φ. 0 1 0 I M can be made self-adjoint if a1 = a0 . 0 I The self-adjoint operator S is   d dφ S[φ] = a0 (x) + a2 (x)φ. dx dx I The neccessary boundary condition is b [a0 u∗ v 0 − a0 v(u∗ )0 ]a = 0. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Eigenvalue Problems & Sturm-Liouville Equation Definition (Eigenvalue Problem) The eigenvalue problem associated to a differential operator L is the equation Ly + λy = 0, where λ is called the eigenvalue, and y is called the eigenfunction. It is possible to find a weight factor w(x) > 0 for L such that S[y] ≡ w(x)L[y] is self-adjoint. The resulting eigenvalue equation is called the Sturm-Liouville Equation

Definition (Sturm-Liouville  Equation) [S + λw(x)] y =

d dx

a0 (x)

a < x < b. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

dy dx

+ a2 (x)y + λw(x)y = 0 for

Regular Sturm-Liouville Problems Definition (Regular Sturm-Liouville Problem) A regular SL problem is a boundary value problem on a closed finite interval [a, b] of the form   d dy a0 (x) + a2 (x)y + λw(x)y = 0, a < x < b, dx dx satisfying regularity conditions and boundary conditions c1 y(a) + c2 y 0 (a) = 0,

d1 y(b) + d2 y 0 (b) = 0,

where at least one of c1 and c2 and at least one of d1 and d2 are non-zero. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Singular Sturm-Liouville Problems Definition (Regularity Conditions) The regularity conditions of a regular SL problem are I a0 (x), a0 (x), a2 (x) and w(x) are continuous in [a, b]; 0 I a0 (x) > 0 and w(x) > 0.

Definition (Singular Sturm-Liouville Problem) A singular SL problem is a boundary value problem consists of Sturm-Liouville equation, but either I fails the regularity conditions; or I infinite boundary conditions; or I one or more of the coefficients become singular. Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Solutions of SL Problems I I

I

I

A trivial (not useful) solution to the SL problem is y = 0. Other non-trivial solutions would be the eigenfunctions ym , and for each of these eigenfunctions there is a corresponding eigenvalue λm . There are infinite many of these eigenfunctions, and the set of eigenfunctions {y1 , y2 , . . . , ym , . . . } forms a complete orthogonal set of functions that span the infinite dimensional Hilbert space. Any function f in the Hilbert space can be expressed as a linear combination of the eigenfunctions, ∞ X f (x) = an yn (x). n=1

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Eigenvalues of Sturm-Liouville Problems Theorem (Sturm-Liouville Problem) The eigenvalues and eigenfunctions of a SL problem has the properties of I All eigenvalues are real and compose a countably infinite collections satisfying λ1 < λ2 < λ3 < . . . where λj → ∞ as j → ∞. I To each eigenvalue λj there corresponds only to one independent eigenfunction yj (x). I The eigenfunctions yj (x), j = 1, 2, . . . , compose a complete orthogonal set with appropriate to the weight functions w(x) in doubly-integrable functions space L2 (a, b). Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Eigenfunction Expansions Theorem (Eigenfunction Expansions) If f ∈ L2 (a, b) then eigenfunction expansion of f on {y1 , y2 , . . . } is f (x) =

∞ X

An yn ,

a < x < b,

n=1

where hyn |f i An = = ||yn ||2

Z

b

yn∗ (x)f (x)w(x) dx/

a

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Z a

b

|yn (x)|2 w(x) dx.

Example SL Problem: Harmonic Equation An example of SL equation is the Harmonic Equation with boundary condition. I I I I

I

ODE : y 00 + λy = 0, 0 < x < L. Dirichlet Boundary condition: y(0) = y(L) = 0. n2 π 2 Eigenvalues: λn = kn2 = 2 , n = 1, 2, . . . ; L nπ  Eigenfunctions: yn (x) = sin x for n = 1, 2, . . . ; L ∞ X nπ Eigenfunction expansion: f (x) = bn sin x. L n=1

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Example SL Problem: Harmonic Equation Again, the Harmonic Equation with another boundary condition. I ODE : y 00 + λy = 0, 0 < x < L. I Neumann Boundary condition: y 0 (0) = y 0 (L) = 0. n2 π 2 I Eigenvalues: λn = k 2 = ; n L2  nπ  I Eigenfunctions: yn (x) = cos x for n = 0, 1, 2, . . . ; L ∞ a0 X nπ I Eigenfunction expansion: f (x) = + an cos x. 2 L n=1 Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Example SL Problem: Harmonic Equation The Harmonic Equation with periodic boundary condition. I ODE: y 00 + λy = 0, 0 < x < 2π. I Periodic boundary condition: y(0) = y(2π). I Eigenvalues: λn = k 2 = n2 ; n I Eigenfunctions: yn (x) = einx for n = 0, ±1, ±2, . . . ; ∞ X I Eigenfunction expansion: f (x) = cn einx . n=−∞

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Example SL Problem: (Parametric) Bessel Equation Bessel Equation. x2 y 00 + xy 0 + (λ2 x2 − µ2 )y = 0 or µ2 [x2 y 0 ]0 + (λ2 x − )y = 0 in the interval 0 < x < L. x I Since a0 (x) = x2 is zero at x = 0, =⇒ singular SL problem. I ODE: x2 y 00 + xy 0 + (λ2 x2 − µ2 )y = 0; I Boundary conditions: y(x) is bounded, and y(L) = 0; I Eigenvalues: λ2 = λ2 = αn , n = 1, 2, . . . , where αn is n L the nth-root of Jµ , i.e. Jµ (αn ) = 0; I Eigenfunctions: yn (x) = Jµ (λn x), n = 1, 2, . . . ; I Weight: w(x) = x; P∞ I Eigenfunction expansion: f (x) = n=1 an Jµ (λn x). Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Example SL Problem: Spherical Bessel Equation Bessel Equation. x2 y 00 + xy 0 + (λ2 x2 − n(n + 1))y = 0 in the interval 0 < x < ∞. I Since a0 (x) = x2 is zero at x = 0, =⇒ singular SL problem. I ODE: x2 y 00 + xy 0 + (λ2 x2 − µ(µ + 1))y = 0; I Boundary conditions: y(x) is bounded, and y(L) = 0; I Eigenvalues: λ2 = λ2 = αn , n = 1, 2, . . . , where αn is n L the nth-root of jµ , i.e. jµ (αn ) = 0; I Eigenfunctions: yn (x) = jµ (λn x), n = 1, 2, . . . ; I Weight: w(x) = x; P∞ I Eigenfunction expansion: f (x) = n=1 an jµ (λn x). Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems

Example SL Problem: Legendre Equation Legendre Equation. (1 − x2 )y 00 − 2xy 0 + n(n + 1)y = 0 or [(1 − x2 )y 0 ]0 + n(n + 1)y = 0, in the interval −1 < x < 1. I a0 (x) = (1 − x2 ) and a0 (±1) = 0 =⇒ singular SL problem. I ODE: (1 − x2 )y 00 − 2xy 0 + λy = 0; I Boundary conditions: y(x) is bounded at x = ±1; I Eigenvalues: λ = λn = n(n + 1), n = 0, 1, 2, . . . ; I Eigenfunctions: yn (x) = Pn (x), n = 0, 1, 2, . . . ; P∞ I Eigenfunction expansion: f (x) = n=0 an Pn (x).

Y. K. Goh Fourier Series and Sturm-Liouville Eigenvalue Problems