Sturm-Liouville operators have form (given p(x) > 0, q(x)) + q(x), (notation means Lf = (pf ) + qf ) dx

Similar documents
Linearity, linear operators, and self adjoint eigenvalue problems

Midterm Solution

Math 201 Assignment #11

Elements of linear algebra

Periodic functions: simple harmonic oscillator

MATH 590: Meshfree Methods

v(x, 0) = g(x) where g(x) = f(x) U(x). The solution is where b n = 2 g(x) sin(nπx) dx. (c) As t, we have v(x, t) 0 and u(x, t) U(x).

Method of Separation of Variables

Ma 221 Eigenvalues and Fourier Series

Physics 250 Green s functions for ordinary differential equations

Sturm-Liouville Theory

Power Series Solutions to the Legendre Equation

AMS 212A Applied Mathematical Methods I Appendices of Lecture 06 Copyright by Hongyun Wang, UCSC. ( ) cos2

Ordinary Differential Equations II

More on Fourier Series

March 13, Paper: R.R. Coifman, S. Lafon, Diffusion maps ([Coifman06]) Seminar: Learning with Graphs, Prof. Hein, Saarland University

Lecture IX. Definition 1 A non-singular Sturm 1 -Liouville 2 problem consists of a second order linear differential equation of the form.

Separation of Variables in Linear PDE: One-Dimensional Problems

Math 46, Applied Math (Spring 2009): Final

MATH34032 Mid-term Test 10.00am 10.50am, 26th March 2010 Answer all six question [20% of the total mark for this course]

Solving the Heat Equation (Sect. 10.5).

Final Examination Linear Partial Differential Equations. Matthew J. Hancock. Feb. 3, 2006

Mathematical Methods

Review and problem list for Applied Math I

10.2-3: Fourier Series.

MATH 412 Fourier Series and PDE- Spring 2010 SOLUTIONS to HOMEWORK 5

Introduction to Sturm-Liouville Theory

3 Green s functions in 2 and 3D

PDE and Boundary-Value Problems Winter Term 2014/2015

Solutions to the Sample Problems for the Final Exam UCLA Math 135, Winter 2015, Professor David Levermore

In this worksheet we will use the eigenfunction expansion to solve nonhomogeneous equation.

Physics 6303 Lecture 15 October 10, Reminder of general solution in 3-dimensional cylindrical coordinates. sinh. sin

LECTURE 19: SEPARATION OF VARIABLES, HEAT CONDUCTION IN A ROD

14 Fourier analysis. Read: Boas Ch. 7.

Practice Exercises on Differential Equations

(L, t) = 0, t > 0. (iii)

17 Source Problems for Heat and Wave IB- VPs

Partial Differential Equations Summary

LECTURE 33: NONHOMOGENEOUS HEAT CONDUCTION PROBLEM

Mathematical Modeling using Partial Differential Equations (PDE s)

Overview of Fourier Series (Sect. 6.2). Origins of the Fourier Series.

Math 3150 HW 3 Solutions

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,

Math 5440 Problem Set 7 Solutions

Review For the Final: Problem 1 Find the general solutions of the following DEs. a) x 2 y xy y 2 = 0 solution: = 0 : homogeneous equation.

Partial Differential Equations for Engineering Math 312, Fall 2012

Differential Equations

Separation of variables in two dimensions. Overview of method: Consider linear, homogeneous equation for u(v 1, v 2 )

PART IV Spectral Methods

Lecture 24. Scott Pauls 5/21/07

Consequences of Orthogonality

The lecture of 1/23/2013: WHY STURM-LIOUVILLE?

swapneel/207

PARTIAL DIFFERENTIAL EQUATIONS (MATH417) SOLUTIONS FOR THE FINAL EXAM

MATH FALL 2014 HOMEWORK 10 SOLUTIONS

Sturm-Liouville Theory

2.4 Eigenvalue problems

Problem set 3: Solutions Math 207B, Winter Suppose that u(x) is a non-zero solution of the eigenvalue problem. (u ) 2 dx, u 2 dx.

Linear Operators, Eigenvalues, and Green s Operator

General Inner Product and The Fourier Series

MATH 251 Final Examination December 19, 2012 FORM A. Name: Student Number: Section:

Short introduction to eigenvalue problems (based on the notes of R.D. Costin

Review Sol. of More Long Answer Questions

Math 2930 Worksheet Final Exam Review

2.4 Hilbert Spaces. Outline

Introduction to Sturm-Liouville Theory and the Theory of Generalized Fourier Series

LEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.

Supplementary information I Hilbert Space, Dirac Notation, and Matrix Mechanics. EE270 Fall 2017

Strauss PDEs 2e: Section Exercise 4 Page 1 of 6

On an Eigenvalue Problem Involving Legendre Functions by Nicholas J. Rose North Carolina State University

Waves on 2 and 3 dimensional domains

Definition and basic properties of heat kernels I, An introduction

Degree Master of Science in Mathematical Modelling and Scientific Computing Mathematical Methods I Thursday, 12th January 2012, 9:30 a.m.- 11:30 a.m.

Kernels A Machine Learning Overview

Welcome to Math 257/316 - Partial Differential Equations

MA22S2 Lecture Notes on Fourier Series and Partial Differential Equations.

Lecture Notes on PDEs

UNIVERSITY of LIMERICK OLLSCOIL LUIMNIGH

X b n sin nπx L. n=1 Fourier Sine Series Expansion. a n cos nπx L 2 + X. n=1 Fourier Cosine Series Expansion ³ L. n=1 Fourier Series Expansion

Separation of Variables. A. Three Famous PDE s

MA 201: Method of Separation of Variables Finite Vibrating String Problem Lecture - 11 MA201(2016): PDE

SAMPLE FINAL EXAM SOLUTIONS

Linear Algebra. Week 7

Sufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems

Functional Analysis Review

Last Update: April 4, 2011

MATH 353: ODE AND PDE NOTES PART II. (learning begins with what words mean)

Name: Math Homework Set # 5. March 12, 2010

Math Theory of Partial Differential Equations Lecture 3-2: Spectral properties of the Laplacian. Bessel functions.

Fourier Series. Department of Mathematical and Statistical Sciences University of Alberta

Math Computer Lab 4 : Fourier Series

Lecture 4.6: Some special orthogonal functions

6 Non-homogeneous Heat Problems

University of Connecticut Lecture Notes for ME5507 Fall 2014 Engineering Analysis I Part III: Fourier Analysis

0 3 x < x < 5. By continuing in this fashion, and drawing a graph, it can be seen that T = 2.

SPECTRAL METHODS: ORTHOGONAL POLYNOMIALS

The One Dimensional Heat Equation

Lucio Demeio Dipartimento di Ingegneria Industriale e delle Scienze Matematiche

Eigenvalue Problem. 1 The First (Dirichlet) Eigenvalue Problem

Math 2930 Worksheet Wave Equation

Transcription:

Sturm-Liouville operators Sturm-Liouville operators have form (given p(x) > 0, q(x)) L = d dx ( p(x) d ) + q(x), (notation means Lf = (pf ) + qf ) dx

Sturm-Liouville operators Sturm-Liouville operators have form (given p(x) > 0, q(x)) L = d dx ( p(x) d ) + q(x), (notation means Lf = (pf ) + qf ) dx For example, L = d 2 dx 2 4, Lf (x) = f (x) 4f (x). Therefore L sin(kx) = ( k 2 4) sin(kx)

Sturm-Liouville operators Sturm-Liouville operators have form (given p(x) > 0, q(x)) L = d dx ( p(x) d ) + q(x), (notation means Lf = (pf ) + qf ) dx For example, L = d 2 dx 2 4, Lf (x) = f (x) 4f (x). Therefore L sin(kx) = ( k 2 4) sin(kx) Typical vector space of functions L acts on: C0 f (a) = f (b) = 0. [a, b] so that

Inner products and self adjointness One possible inner product for C 0 [a, b] is f, g = b a f (x)g(x)dx, L 2 inner product

Inner products and self adjointness One possible inner product for C 0 [a, b] is f, g = b a f (x)g(x)dx, L 2 inner product Adjoint of Sturm-Liouville operator: compute by moving operator around using integration by parts. For any two functions f, g in [a, b], C 0 Lf, g = = = b a b a b a d ( p(x) df ) g(x) + q(x)f (x)g(x)dx dx dx p(x) df dg + q(x)f (x)g(x)dx dx dx d ( p(x) dg ) f (x) + q(x)f (x)g(x)dx dx dx = f, Lg. Thus S-L operators are self-adjoint on C 0 [a, b].

More examples of operator adjoints Example 2: Use inner product on C 0 f, g = R 0 [0, R] rf (r)g(r)dr,

More examples of operator adjoints Example 2: Use inner product on C 0 f, g = 0 R R 0 [0, R] rf (r)g(r)dr, For linear operator Lf = r 1 (rf ) integration by parts gives R [ Lf, g = r r 1 d ( r df ) ] g(r)dr dr dr = = = 0 R 0 R 0 = f, Lg. r df dg dr dr dr, d ( r dg dr dr [ r r 1 d ( r dg dr dr ) f (r) dr, (IBP) ) ] f (r) dr (IBP again) Thus L is self adjoint with respect to the weighted inner product (but not with respect to the L 2 one!)

More examples of operator adjoints Example 3: L = d/dx acting on C 0 [a, b]. Lf, g = b Therefore L = L. a df b dx g(x) = a dg f (x)dx = f, Lg. dx

Eigenvalue problems for differential operators Problem: find eigenfunction v(x) and eigenvalue λ solving Lv(x) = λv(x),

Eigenvalue problems for differential operators Problem: find eigenfunction v(x) and eigenvalue λ solving Lv(x) = λv(x), Remarks: Sometimes written Lv(x) + λv(x) = 0 Constant times v(x) is also eigenfunction. Infinite dimensions implies infinite number of eigenvalues and eigenfunctions (usually). If eigenfunctions span required vector space, called complete.

Sturm-Liouville eigenvalue problems Self-adjoint operators (like S-L) have nice properties: 1 The eigenvalues are real. 2 The eigenfunctions are orthogonal to one another (with respect to the same inner product used to define the adjoint).

Sturm-Liouville eigenvalue problems Self-adjoint operators (like S-L) have nice properties: 1 The eigenvalues are real. 2 The eigenfunctions are orthogonal to one another (with respect to the same inner product used to define the adjoint). Sturm-Liouville eigenvalue problem: find v(x) C0 [a, b] so that d ( p(x) dv ) + q(x)v(x) + λv(x) = 0, dx dx

Sturm-Liouville eigenvalue problems Self-adjoint operators (like S-L) have nice properties: 1 The eigenvalues are real. 2 The eigenfunctions are orthogonal to one another (with respect to the same inner product used to define the adjoint). Sturm-Liouville eigenvalue problem: find v(x) C0 [a, b] so that d ( p(x) dv ) + q(x)v(x) + λv(x) = 0, dx dx Facts about this problem: 1 The real eigenvalues can be ordered λ 1 < λ 2 < λ 3... so that there is a smallest (but not largest) eigenvalue. 2 The eigenfunctions v n (x) corresponding to each eigenvalue λ n (x) form a complete set, i.e. any f C0 [a, b], we can write f as a (infinite) linear combination f = c n v n (x). n=1

Example: A Sturm-Liouville eigenvalue problem Consider operator L = d 2 /dx 2 on the vector space C0 eigenvalue problem reads [0, π]. The d 2 v + λv = 0, v(0) = 0, v(π) = 0, dx 2

Example: A Sturm-Liouville eigenvalue problem Consider operator L = d 2 /dx 2 on the vector space C0 eigenvalue problem reads [0, π]. The d 2 v + λv = 0, v(0) = 0, v(π) = 0, dx 2 If λ > 0, ODE has general solution v(x) = A cos( λx) + B sin( λx). Left boundary condition implies A cos(0) + B sin(0) = 0, so that A = 0.

Example: A Sturm-Liouville eigenvalue problem Consider operator L = d 2 /dx 2 on the vector space C0 eigenvalue problem reads [0, π]. The d 2 v + λv = 0, v(0) = 0, v(π) = 0, dx 2 If λ > 0, ODE has general solution v(x) = A cos( λx) + B sin( λx). Left boundary condition implies A cos(0) + B sin(0) = 0, so that A = 0. Then other b.c. implies B sin(π λ) = 0 so π λ is a multiple of π or λ n = n 2, n = 1, 2, 3,.... The corresponding eigenfunctions are v n (x) = sin( λx) = sin(nx), n = 1, 2, 3,...

Example: A Sturm-Liouville eigenvalue problem, cont. Case λ = 0 leads to v(x) = Ax + B, which needs A = B = 0 to satisfy the boundary conditions.

Example: A Sturm-Liouville eigenvalue problem, cont. Case λ = 0 leads to v(x) = Ax + B, which needs A = B = 0 to satisfy the boundary conditions. Case λ < 0 gives v(x) = A exp( λ x) + B exp( λ x). Boundary conditions imply A + B = 0 and A exp( λ π) + B exp( λ π) = 0 or ( 1 1 exp( λ π) exp( λ π) ) ( A B ) = ( 0 0 ).

Example: A Sturm-Liouville eigenvalue problem, cont. Case λ = 0 leads to v(x) = Ax + B, which needs A = B = 0 to satisfy the boundary conditions. Case λ < 0 gives v(x) = A exp( λ x) + B exp( λ x). Boundary conditions imply A + B = 0 and A exp( λ π) + B exp( λ π) = 0 or ( 1 1 exp( λ π) exp( λ π) ) ( A B ) = ( 0 0 Determinant is exp( λ π) exp( λ π) 0 so that the only solution is A = B = 0. ).

Fourier series Big payoff: completeness of eigenfunctions means that any smooth function with f (0) = 0 = f (π) can be written f (x) = B n sin(nx), n=1 Fourier sine series

Fourier series Big payoff: completeness of eigenfunctions means that any smooth function with f (0) = 0 = f (π) can be written f (x) = B n sin(nx), n=1 Fourier sine series Computing coefficients in an orthogonal expansion is just a matter of taking inner products: B n = f (x), sin(nx) sin(nx), sin(nx) = π 0 f (x) sin(nx)dx π. 0 sin2 (nx)dx

Other Fourier series Series type Space of functions Orthogonal expansion for f (x) Coefficients Fourier f (x) : [ L, L] R f ( L) = f (L) f ( L) = f (L) A 0 2 + n=1 A n cos( nπx L ) + A n = 1 L L L f (x) cos( nπx n=1 B n sin( nπx L ) L )dx B n = L 1 L L f (x) sin( nπx L )dx Sine f (x) : [0, L] R f (0) = 0 = f (L) n=1 B n sin( nπx L ) Bn = 2 L L L f (x) sin( nπx L )dx Cosine f (x) : [0, L] R f (0) = 0 = f (L) A 0 2 + n=1 A n cos( nπx L ) An = 2 L L L f (x) cos( nπx L )dx Complex f (x) : [ L, L] C f ( L) = f (L) f ( L) = f (L) n= c n exp( inπx ) c L n = 2L 1 L L f (x) exp( inπx L )dx

Linear Integral operators Hilbert-Schmidt integral operators Lu(x) = k(x, y)u(x)dx. obey linearity L(c 1 u 1 + c 2 u 2 ) = c 1 k(x, y)u 1 (x)dx + c 2 Ω Ω = c 1 Lu 1 + c 2 Lu 2. Ω k(x, y)u 2 (x)dx

Linear Integral operators Hilbert-Schmidt integral operators Lu(x) = k(x, y)u(x)dx. obey linearity L(c 1 u 1 + c 2 u 2 ) = c 1 Ω Ω k(x, y)u 1 (x)dx + c 2 = c 1 Lu 1 + c 2 Lu 2. Ω k(x, y)u 2 (x)dx Often inverses of differential operators: Lu = g has solution u = L 1 g where L 1 is HS type

Linear Integral operators Hilbert-Schmidt integral operators Lu(x) = k(x, y)u(x)dx. obey linearity L(c 1 u 1 + c 2 u 2 ) = c 1 Ω Ω k(x, y)u 1 (x)dx + c 2 = c 1 Lu 1 + c 2 Lu 2. Ω k(x, y)u 2 (x)dx Often inverses of differential operators: Lu = g has solution u = L 1 g where L 1 is HS type Adjoints are similar. Example: using the L 2 inner product Lu, v = v(y) k(x, y)u(x) dxdy Ω Ω = u(x) k(x, y)v(y) dydx = u, L v Ω Ω where L is an integral operator with kernel k(y, x).