Sturm-Liouville Theory
|
|
- Margery Chambers
- 5 years ago
- Views:
Transcription
1 LECTURE 5 Sturm-Liouville Theory In the three preceing lectures I emonstrate the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series are just the tip of the iceberg of the theory an utility of special functions. Before preceing with the general theory, let me state clearly the basic properties of Fourier series we inten to generalize: i The Fourier sine functions { sin nπ L x n =, 2, 3,... } an cosine functions { cos } nπ L x n =,, 2,... are solutions of a secon orer linear homogeneous ifferential equation y = λy 2a satisfying certain linear homogenous bounary conitions: viz, the Fourier-sine functions satisfy an the Fourier-cosine functions satisfy y = = y L 2b y = = y L. ii The Fourier sine an cosine functions obey certain orthogonality relations 2 L nπ mπ { if n = m sin L L x sin L x = if n m 2 L nπ mπ { if n = m cos L L x cos L x = if n m iii Any continuous, ifferentiable function on, L] can be expresse in terms of a Fourier-sine or Fourier-cosine expansion f x = a 2 + nπ a n cos L x = n= nπ b n sin L x n= Moreover, the orthogonality relations ii allow us to etermine the coeffi cients a n an b n a n = 2 L nπ f x cos L L x b n = 2 L nπ f x sin L L x. Sturm-Liouville Problems D 5.. A Sturm-Liouville problem is a secon orer homogeneous linear ifferential equation of the form 3 p x y ] q x y + λr x y =, x, ]
2 . STURM-LIOUVILLE PROBLEMS 2 together with bounary conitions of the form 4a 4b a y + a 2 y = b y + b 2 y = In what follow, λ is to be regare as a constant parameter an we shall always assume that p x an r x are positive functions on the interval, ] 5 p x > x, ] r x > x, ] E 5.2. Taking p x = r x =, q x =, a = b =, a 2 = b 2 =, we see that the corresponing Sturm-Liouville problem has as its solutions y + λy = y = y = λ = nπ 2 n =, 2, 3,... an y x = sin nπx Note, in particular, that the solution of the Sturm-Liouville problem only exists for certan values of λ; these values are eigenvalues of the Sturm-Liouville problem N 5.3 Linear ifferential operator notation. In what follows we shall enote by L the linear ifferential operator 6 L = p x ] q x which acts on a function y x by L y] = p x y ] q x y In terms of L, the ifferential equation of a Sturm-Liouville problem can be expresse L y] = λr x y T 5.4 Lagrange s ientity. Suppose u an v are two functions satisfying bounary conitions of the form 7a 7b a y + a 2 y = b y + b 2 y = then L u] v ul v] =
3 . STURM-LIOUVILLE PROBLEMS 3 Proof. We have * L u] v = = = p u v = p u v = p u v p u p u ] v quv ] v p u u up v p v v + = p u v uv + ul v] v where we have twice utilize the integration by parts formula b Now consier the first term in the last line a f g = fg b a b p u v uv a quv u quv quv p v f g Since u an v satisfy 7a an 7b we have assuming a, a 2, b, b 2 quv an Hence u = a 2 a u, v = a 2 a v u = b 2 b u, v = b 2 b v u v u v = a 2 u v u a 2 a u v u v = b 2 b u v u v a b 2 b v p u v uv = p u v u v p u v u v = p p = We can hence conclue from * that an the theorem follows. L u] v = ul v] = = Recall that, for example, the Fourier-sine functions sin λx not only satisfy certain a secon orer linear ifferential equation f = λ 2 f but they also satisfy certain linear homogeneous bounary conitions f = = f L
4 . STURM-LIOUVILLE PROBLEMS 4 exactly when the parameter λ is tune to the bounary conitions { = f = λ 2 f f = f L = λ = nπ L f x = sin nπ L x What may seem a little surprising at first is that the fact that the Fourier-sine functions are solutions to a Sturm-Liouville problem is also responsible for their orthogonality properties 2 L nπ mπ { if n = m sin L L x sin L x = if n m T 5.5. If φ an ψ are two solutions of a Sturm-Liouville problem corresponing to ifferent values of the parameter λ then Proof. Suppose φ x ψ x r x =. L φ] = λ r x φ L ψ] = λ 2 r x ψ with λ λ 2. Then since φ, ψ satisfy the Strum-Liouville bounary conitions, we have by Theorem. L φ] ψ = φ L ψ] an because they satisfy Sturm-Liouville-type ifferential equations or λ r x φ x ψ x = λ λ 2 By hypothesis, λ λ 2 an so we must conclue φ x λ 2 r x ψ x φ x ψ x r x = φ x ψ x r x = As remarke above, it is common to write in shorthan the ifferential equation of a Sturm-Liouville problem as 8 L y] = λr x y an refer to the parameter λ corresponing to a particular solution y x as an eigenvalue of the ifferential operator L. This language, of course, is erive from the nomenclature of linear algebra where if A is an n n matrix, v is an n column vector an λ is a number such that Av = λv then v is calle an eigenvector of A an λ is the corresponing eigenvalue of A. In fact, it is common to use such linear-algebraic-like nomenclature throughout Sturm-Liouville theory; an henceforth we shall refer to the functions y x that satisfy 8 as eigenfunctions of L an the numbers λ as the corresponing eigenvalues of L. T 5.6. All the eigenvalues of a Sturm-Liouville problem are real.
5 . STURM-LIOUVILLE PROBLEMS 5 Proof. Consier the following inner prouct on the space of complex-value solutions of a Sturm-Liouville problem 8 for various λ u, v = u x v x Suppose u x = v x = R x + ii x that is, suppose we set u equal to v an split it up into its real an imaginary parts. Then u, u = = R x + ii x R x ii x R x 2 + I x 2] Note now that the integran is always non-negative. By a well-known result from Calculus, the integral of a continuous non-negative function over a finite interval is always non-negative, an zero only if the function is ientically equal to zero. We conclue that for any continuous, non-zero, complex-value function u x u x u x > Now consier Lagrange s ientity Theorem.4 when we set v x = u x, ] 9 u x L u x = u xl u x] an suppose u x is a Sturm-Liouville eigenfunction: L u] = λru for some λ C Taking the complex conjugate of this equation, we have, because p x, q x, an r x are all assume to be real-value functions, or L u] = λrv = = L u] = λru = L u] = λru p x u ] q x u = λru p x u ] q x u = λru In other wors, if u x is a solution of an S-L problem corresponing to eigenvalue λ, its complex conjugate function will be a solution of the same S-L problem, but with eigenvalues λ. Now plugging the right han sies of an into 9, we can conclue that or 2 λ ru u = λu ru λ λ ruu = We have argue above that u x u x is a non-negative function, an by assumption r x is a positive function on, ]. Thus, the integran is a non-negative function an < ruu so long as u x is not ientically zero. We can therefore conclue from 2 that λ λ = = λ R.
6 . STURM-LIOUVILLE PROBLEMS 6 In Linear Algebra, we say that an eigenvalue λ of a matrix A has multiplicity m if the imension of the corresponing eigenspace is m; that is to say, m = im NullSp A λi In Sturm-Liouville theory, we say that the multiplicity of an eigenvalue λ of a Sturm-Liouville problem a φ + a 2 φ = b φ + b 2 φ = L φ] = λr x φ x if there are exactly m linearly inepenent solutions for that value of λ. T 5.7. The eigenvalues of a Sturm-Liouville problem are all of multiplicity one. Moreover, the eigenvalues form an infinite sequence an can be orere accoring to increasing magnitue: {eigenvalues} = {λ, λ 2, λ 3,...}, λ < λ 2 < λ 3 < Proof. By "all eigenvalues have multiplicity one", we mean that for each Sturm-Liouville eigenvalue λ, there is only one linearly inepenent solution φ x of the Sturm-Liouville problem. Suppose there were two, φ an φ 2, linearly inepenent solutions of p x φ q x φ = λr x φ x a φ + a 2 φ = b φ + b 2 φ = Then, as solutions of a secon orer, homogeneous, linear ODE, linear inepenence implies W φ, φ 2 ] for all t, ] To see this explicitly, nee some properties of the Wronskian. L 5.8. If W y, y 2 ] x y x y 2 x y x y 2 x =, then y 2 x = Cy x, wtih C a constant. Proof. We can regar the hypothesis of the lemma as a ifferential equation for y 2. stanar form of a first orer linear ODE, it becomes y y 2 y 2 = which has as its general solution ] y y 2 x = C exp x y x y Putting it in the = C exp ln y x = C exp ln y x = Cy x We also have the following lemma which is in fact known as Abel s Theorem L 5.9. If y an y 2 are two solutions of y + p x y + qy = then 3 W y, y 2 ] x = c exp p x. Proof. Since y an y 2 are solutions y + p x y + qy = y 2 + p x y 2 + qy 2 =
7 . STURM-LIOUVILLE PROBLEMS 7 If we multiply the first equation by y 2 x, the secon equation by y x an a the resulting equations, we have y y 2 y 2 y p x y y 2 y y 2 = or y y 2 y y 2 + p x y y 2 y 2 y = which says the Wronskian W x = y x y 2 x y x y 2 x of y an y 2 satisfies W x + p x W x =. This is a first orer, homogeneous, linear ifferential equation whose solution is well-known to be ] W x = C exp p x C 5.. If y x an y 2 x are two solutions of a secon orer, homogeneous, linear ODE, an W y, y 2 ] x = at any point x in their omain, then y x an y 2 x are linearly epenent i.e. y 2 x = cy x with c a constant. Proof. Note that the exponential factor in this formula 3 for W x is never equal to so long as its argument is efine. Therefore, if W x = at some point x, the constant C must equal zero, an hence W x must vanish at all points x. But if W x = for all x, we have the hypothesis of Lemma 5.8 an so y 2 x = Cy x. Let s now return to the setting of the theorem we re trying to prove, where φ an φ 2 are two solutions of a S-L problem with the same eigenvalue λ. In view of Corollary 5., if I can show that W φ, φ 2 ] =, I can conclue that W φ, φ 2 ] x = for all x, an hence φ an φ 2 are linearly epenent. Now since φ an φ 2 also satisfy the S-L bounary conitions a φ + a 2 φ = a φ 2 + a 2 φ 2 = or ] ] ] φ φ a φ 2 φ = 2 a 2 This a homogeneous 2 2 system. As such it either has a unique solution which is a = a 2 =, which will not occur if we have a legitimate S-L bounary conition at x = or φ φ = et φ 2 φ = φ 2 φ 2 φ φ 2 = W φ, φ 2 ] We can now argue W φ, φ 2 ] = W φ, φ 2 ] x = for all x φ 2 x = λφ x φ, φ 2 are linearly epenent The theorem also inclues the statement that the eigenvalues of a S-L can be liste in a natural orer: λ < λ < λ 2 < Since we alreay know the eigenvalues are real an istinct, the only thing we really have to show that there is a lowest eigenvalue λ. This is actually not too har to o, but the argument takes us well astray of the rest of the course. It involves the use of a sort of "secon erivative test" from variational calculus to show that a minimal solution exists. The orering of the eigenvalues λ, an the fact that they multiplicity free, establishes a certain canonical orering of the corresponing Sturm-Liouville eigenfunctions. We enote by φ n the solution of the Sturm- Liouville problem with λ = λ n. Actually, this only etermines φ n x up to a constant multiple because if
8 . STURM-LIOUVILLE PROBLEMS 8 φ x satisfies 3, 4a, 4b then so oes any constant multiple of φ x. It is common practise to remove this ambiguity by emaning in aition which fixes φ x up to a scalar factor of the form e iα. φ n x φ n xr x = Moreover, the facts that the eigenvalues are all real an multiplicity free, also implies that we can choose the φ n x to be real-value functions of x because the complex span of the functions φ n x must coincie with that of φ n x. Thus, we can choose the eigenfunctions of a Sturm-Liouville problem to be real-value functions φ n x φ n xr x = T 5.. Let φ, φ 2, φ 3,... be the normalize eigenfunctions of a Sturm-Liouville problem an suppose f is a piecewise continuous function on, ]. Then if the series converges to at each point on,. c n := f x φ n x r x c n φ n x n= f x + + f x 2 Here f x ± := lim f x ± ε ε + Note that at any point x where f is continuous f x + + f x 2 = f x. In summary, any time you have a ifferential equation of the form p x y ] q x y = λr x y with homogeneous bounary conitions of the form Then: a y + a 2 y = = b y + b 2 y Solutions will exist for only a iscrete but otherwise infinite set of values for the parameter λ, all of which are real numbers. There is a unique lowest eigenvalue λ an the other eigenvalues can be totally orere λ < λ < λ 2 < λ 3 < For each λ n, there is a solution φ n of p x y ] q x y = λ n r x y that is unique up to a scalar factor.
9 . STURM-LIOUVILLE PROBLEMS 9 The solutions φ n, n =,, 2,... can be normalize such that { if n = m φ n x φ m x r x = otherwise Any continuous function f x on the interval, ] can be expane in terms of the Sturm-Liouville eigenfunctions φ n, n =,, 2,,... f x = a n φ n x n= with the coeffi cients a n being etermine by a n = f x φ n x r x If f x is merely piece-wise continuous on, ], one has instea f x + + f x = a n φ n x 2 n= with the coeffi cients a n etermine by the same formula.
Sturm-Liouville Theory
LECTURE 1 Sturm-Liouville Theory In the two preceing lectures I emonstrte the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series re just the tip of the iceerg of the theory
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationMany problems in physics, engineering, and chemistry fall in a general class of equations of the form. d dx. d dx
Math 53 Notes on turm-liouville equations Many problems in physics, engineering, an chemistry fall in a general class of equations of the form w(x)p(x) u ] + (q(x) λ) u = w(x) on an interval a, b], plus
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationMath 300 Winter 2011 Advanced Boundary Value Problems I. Bessel s Equation and Bessel Functions
Math 3 Winter 2 Avance Bounary Value Problems I Bessel s Equation an Bessel Functions Department of Mathematical an Statistical Sciences University of Alberta Bessel s Equation an Bessel Functions We use
More informationTable of Common Derivatives By David Abraham
Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec
More informationProblem Sheet 2: Eigenvalues and eigenvectors and their use in solving linear ODEs
Problem Sheet 2: Eigenvalues an eigenvectors an their use in solving linear ODEs If you fin any typos/errors in this problem sheet please email jk28@icacuk The material in this problem sheet is not examinable
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationDiagonalization of Matrices Dr. E. Jacobs
Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is
More information19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control
19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior
More informationFirst Order Linear Differential Equations
LECTURE 6 First Orer Linear Differential Equations A linear first orer orinary ifferential equation is a ifferential equation of the form ( a(xy + b(xy = c(x. Here y represents the unknown function, y
More informationSYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. where L is some constant, usually called the Lipschitz constant. An example is
SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. Uniqueness for solutions of ifferential equations. We consier the system of ifferential equations given by x = v( x), () t with a given initial conition
More information1 Parametric Bessel Equation and Bessel-Fourier Series
1 Parametric Bessel Equation an Bessel-Fourier Series Recall the parametric Bessel equation of orer n: x 2 y + xy + (a 2 x 2 n 2 )y = (1.1) The general solution is given by y = J n (ax) +Y n (ax). If we
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationSection 7.1: Integration by Parts
Section 7.1: Integration by Parts 1. Introuction to Integration Techniques Unlike ifferentiation where there are a large number of rules which allow you (in principle) to ifferentiate any function, the
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationIntegration by Parts
Integration by Parts 6-3-207 If u an v are functions of, the Prouct Rule says that (uv) = uv +vu Integrate both sies: (uv) = uv = uv + u v + uv = uv vu, vu v u, I ve written u an v as shorthan for u an
More informationA. Incorrect! The letter t does not appear in the expression of the given integral
AP Physics C - Problem Drill 1: The Funamental Theorem of Calculus Question No. 1 of 1 Instruction: (1) Rea the problem statement an answer choices carefully () Work the problems on paper as neee (3) Question
More informationQuantum Mechanics in Three Dimensions
Physics 342 Lecture 20 Quantum Mechanics in Three Dimensions Lecture 20 Physics 342 Quantum Mechanics I Monay, March 24th, 2008 We begin our spherical solutions with the simplest possible case zero potential.
More informationDesigning Information Devices and Systems II Fall 2017 Note Theorem: Existence and Uniqueness of Solutions to Differential Equations
EECS 6B Designing Information Devices an Systems II Fall 07 Note 3 Secon Orer Differential Equations Secon orer ifferential equations appear everywhere in the real worl. In this note, we will walk through
More informationMath 1B, lecture 8: Integration by parts
Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores
More informationLINEAR DIFFERENTIAL EQUATIONS OF ORDER 1. where a(x) and b(x) are functions. Observe that this class of equations includes equations of the form
LINEAR DIFFERENTIAL EQUATIONS OF ORDER 1 We consier ifferential equations of the form y + a()y = b(), (1) y( 0 ) = y 0, where a() an b() are functions. Observe that this class of equations inclues equations
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationConsequences of Orthogonality
Consequences of Orthogonality Philippe B. Laval KSU Today Philippe B. Laval (KSU) Consequences of Orthogonality Today 1 / 23 Introduction The three kind of examples we did above involved Dirichlet, Neumann
More information1 dx. where is a large constant, i.e., 1, (7.6) and Px is of the order of unity. Indeed, if px is given by (7.5), the inequality (7.
Lectures Nine an Ten The WKB Approximation The WKB metho is a powerful tool to obtain solutions for many physical problems It is generally applicable to problems of wave propagation in which the frequency
More informationStrauss PDEs 2e: Section Exercise 6 Page 1 of 5
Strauss PDEs 2e: Section 4.3 - Exercise 6 Page 1 of 5 Exercise 6 If a 0 = a l = a in the Robin problem, show that: (a) There are no negative eigenvalues if a 0, there is one if 2/l < a < 0, an there are
More informationDesigning Information Devices and Systems II Spring 2018 J. Roychowdhury and M. Maharbiz Discussion 2A
EECS 6B Designing Information Devices an Systems II Spring 208 J. Roychowhury an M. Maharbiz Discussion 2A Secon-Orer Differential Equations Secon-orer ifferential equations are ifferential equations of
More informationRules of Differentiation
LECTURE 2 Rules of Differentiation At te en of Capter 2, we finally arrive at te following efinition of te erivative of a function f f x + f x x := x 0 oing so only after an extene iscussion as wat te
More informationLecture XII. where Φ is called the potential function. Let us introduce spherical coordinates defined through the relations
Lecture XII Abstract We introuce the Laplace equation in spherical coorinates an apply the metho of separation of variables to solve it. This will generate three linear orinary secon orer ifferential equations:
More informationThe Natural Logarithm
The Natural Logarithm -28-208 In earlier courses, you may have seen logarithms efine in terms of raising bases to powers. For eample, log 2 8 = 3 because 2 3 = 8. In those terms, the natural logarithm
More informationIntroduction to the Vlasov-Poisson system
Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its
More information4. Important theorems in quantum mechanics
TFY4215 Kjemisk fysikk og kvantemekanikk - Tillegg 4 1 TILLEGG 4 4. Important theorems in quantum mechanics Before attacking three-imensional potentials in the next chapter, we shall in chapter 4 of this
More informationcosh x sinh x So writing t = tan(x/2) we have 6.4 Integration using tan(x/2) 2t 1 + t 2 cos x = 1 t2 sin x =
6.4 Integration using tan/ We will revisit the ouble angle ientities: sin = sin/ cos/ = tan/ sec / = tan/ + tan / cos = cos / sin / tan = = tan / sec / tan/ tan /. = tan / + tan / So writing t = tan/ we
More informationSYDE 112, LECTURE 1: Review & Antidifferentiation
SYDE 112, LECTURE 1: Review & Antiifferentiation 1 Course Information For a etaile breakown of the course content an available resources, see the Course Outline. Other relevant information for this section
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationQF101: Quantitative Finance September 5, Week 3: Derivatives. Facilitator: Christopher Ting AY 2017/2018. f ( x + ) f(x) f(x) = lim
QF101: Quantitative Finance September 5, 2017 Week 3: Derivatives Facilitator: Christopher Ting AY 2017/2018 I recoil with ismay an horror at this lamentable plague of functions which o not have erivatives.
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More informationDifferentiation Rules Derivatives of Polynomials and Exponential Functions
Derivatives of Polynomials an Exponential Functions Differentiation Rules Derivatives of Polynomials an Exponential Functions Let s start with the simplest of all functions, the constant function f(x)
More information(a 1 m. a n m = < a 1/N n
Notes on a an log a Mat 9 Fall 2004 Here is an approac to te eponential an logaritmic functions wic avois any use of integral calculus We use witout proof te eistence of certain limits an assume tat certain
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationPhysics 5153 Classical Mechanics. The Virial Theorem and The Poisson Bracket-1
Physics 5153 Classical Mechanics The Virial Theorem an The Poisson Bracket 1 Introuction In this lecture we will consier two applications of the Hamiltonian. The first, the Virial Theorem, applies to systems
More informationApplications of the Wronskian to ordinary linear differential equations
Physics 116C Fall 2011 Applications of the Wronskian to orinary linear ifferential equations Consier a of n continuous functions y i (x) [i = 1,2,3,...,n], each of which is ifferentiable at least n times.
More informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationDifferentiation ( , 9.5)
Chapter 2 Differentiation (8.1 8.3, 9.5) 2.1 Rate of Change (8.2.1 5) Recall that the equation of a straight line can be written as y = mx + c, where m is the slope or graient of the line, an c is the
More informationELEC3114 Control Systems 1
ELEC34 Control Systems Linear Systems - Moelling - Some Issues Session 2, 2007 Introuction Linear systems may be represente in a number of ifferent ways. Figure shows the relationship between various representations.
More informationcosh x sinh x So writing t = tan(x/2) we have 6.4 Integration using tan(x/2) = 2 2t 1 + t 2 cos x = 1 t2 We will revisit the double angle identities:
6.4 Integration using tanx/) We will revisit the ouble angle ientities: sin x = sinx/) cosx/) = tanx/) sec x/) = tanx/) + tan x/) cos x = cos x/) sin x/) tan x = = tan x/) sec x/) tanx/) tan x/). = tan
More informationLaplace s Equation in Cylindrical Coordinates and Bessel s Equation (II)
Laplace s Equation in Cylinrical Coorinates an Bessel s Equation (II Qualitative properties of Bessel functions of first an secon kin In the last lecture we foun the expression for the general solution
More informationLecture 1b. Differential operators and orthogonal coordinates. Partial derivatives. Divergence and divergence theorem. Gradient. A y. + A y y dy. 1b.
b. Partial erivatives Lecture b Differential operators an orthogonal coorinates Recall from our calculus courses that the erivative of a function can be efine as f ()=lim 0 or using the central ifference
More informationThe Ehrenfest Theorems
The Ehrenfest Theorems Robert Gilmore Classical Preliminaries A classical system with n egrees of freeom is escribe by n secon orer orinary ifferential equations on the configuration space (n inepenent
More informationAnalysis IV, Assignment 4
Analysis IV, Assignment 4 Prof. John Toth Winter 23 Exercise Let f C () an perioic with f(x+2) f(x). Let a n f(t)e int t an (S N f)(x) N n N then f(x ) lim (S Nf)(x ). N a n e inx. If f is continuously
More informationThe Principle of Least Action
Chapter 7. The Principle of Least Action 7.1 Force Methos vs. Energy Methos We have so far stuie two istinct ways of analyzing physics problems: force methos, basically consisting of the application of
More informationProblem set 2: Solutions Math 207B, Winter 2016
Problem set : Solutions Math 07B, Winter 016 1. A particle of mass m with position x(t) at time t has potential energy V ( x) an kinetic energy T = 1 m x t. The action of the particle over times t t 1
More informationPhysics 505 Electricity and Magnetism Fall 2003 Prof. G. Raithel. Problem Set 3. 2 (x x ) 2 + (y y ) 2 + (z + z ) 2
Physics 505 Electricity an Magnetism Fall 003 Prof. G. Raithel Problem Set 3 Problem.7 5 Points a): Green s function: Using cartesian coorinates x = (x, y, z), it is G(x, x ) = 1 (x x ) + (y y ) + (z z
More informationMarkov Chains in Continuous Time
Chapter 23 Markov Chains in Continuous Time Previously we looke at Markov chains, where the transitions betweenstatesoccurreatspecifietime- steps. That it, we mae time (a continuous variable) avance in
More informationAssignment 1. g i (x 1,..., x n ) dx i = 0. i=1
Assignment 1 Golstein 1.4 The equations of motion for the rolling isk are special cases of general linear ifferential equations of constraint of the form g i (x 1,..., x n x i = 0. i=1 A constraint conition
More informationExam 2 Review Solutions
Exam Review Solutions 1. True or False, an explain: (a) There exists a function f with continuous secon partial erivatives such that f x (x, y) = x + y f y = x y False. If the function has continuous secon
More informationMath 2163, Practice Exam II, Solution
Math 63, Practice Exam II, Solution. (a) f =< f s, f t >=< s e t, s e t >, an v v = , so D v f(, ) =< ()e, e > =< 4, 4 > = 4. (b) f =< xy 3, 3x y 4y 3 > an v =< cos π, sin π >=, so
More informationUnit #6 - Families of Functions, Taylor Polynomials, l Hopital s Rule
Unit # - Families of Functions, Taylor Polynomials, l Hopital s Rule Some problems an solutions selecte or aapte from Hughes-Hallett Calculus. Critical Points. Consier the function f) = 54 +. b) a) Fin
More informationCalculus in the AP Physics C Course The Derivative
Limits an Derivatives Calculus in the AP Physics C Course The Derivative In physics, the ieas of the rate change of a quantity (along with the slope of a tangent line) an the area uner a curve are essential.
More informationθ x = f ( x,t) could be written as
9. Higher orer PDEs as systems of first-orer PDEs. Hyperbolic systems. For PDEs, as for ODEs, we may reuce the orer by efining new epenent variables. For example, in the case of the wave equation, (1)
More informationLATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION
The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische
More informationJointly continuous distributions and the multivariate Normal
Jointly continuous istributions an the multivariate Normal Márton alázs an álint Tóth October 3, 04 This little write-up is part of important founations of probability that were left out of the unit Probability
More informationFunction Spaces. 1 Hilbert Spaces
Function Spaces A function space is a set of functions F that has some structure. Often a nonparametric regression function or classifier is chosen to lie in some function space, where the assume structure
More informationDIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10
DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 5. Levi-Civita connection From now on we are intereste in connections on the tangent bunle T X of a Riemanninam manifol (X, g). Out main result will be a construction
More informationu t v t v t c a u t b a v t u t v t b a
Nonlinear Dynamical Systems In orer to iscuss nonlinear ynamical systems, we must first consier linear ynamical systems. Linear ynamical systems are just systems of linear equations like we have been stuying
More informationSome vector algebra and the generalized chain rule Ross Bannister Data Assimilation Research Centre, University of Reading, UK Last updated 10/06/10
Some vector algebra an the generalize chain rule Ross Bannister Data Assimilation Research Centre University of Reaing UK Last upate 10/06/10 1. Introuction an notation As we shall see in these notes the
More informationStudents need encouragement. So if a student gets an answer right, tell them it was a lucky guess. That way, they develop a good, lucky feeling.
Chapter 8 Analytic Functions Stuents nee encouragement. So if a stuent gets an answer right, tell them it was a lucky guess. That way, they evelop a goo, lucky feeling. 1 8.1 Complex Derivatives -Jack
More information1 Lecture 20: Implicit differentiation
Lecture 20: Implicit ifferentiation. Outline The technique of implicit ifferentiation Tangent lines to a circle Derivatives of inverse functions by implicit ifferentiation Examples.2 Implicit ifferentiation
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More information12.11 Laplace s Equation in Cylindrical and
SEC. 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential 593 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential One of the most important PDEs in physics an engineering
More informationPhysics 250 Green s functions for ordinary differential equations
Physics 25 Green s functions for ordinary differential equations Peter Young November 25, 27 Homogeneous Equations We have already discussed second order linear homogeneous differential equations, which
More informationConvergence of Random Walks
Chapter 16 Convergence of Ranom Walks This lecture examines the convergence of ranom walks to the Wiener process. This is very important both physically an statistically, an illustrates the utility of
More informationDerivatives of Trigonometric Functions
Derivatives of Trigonometric Functions 9-8-28 In this section, I ll iscuss its an erivatives of trig functions. I ll look at an important it rule first, because I ll use it in computing the erivative of
More informationImplicit Differentiation
Implicit Differentiation Implicit Differentiation Using the Chain Rule In the previous section we focuse on the erivatives of composites an saw that THEOREM 20 (Chain Rule) Suppose that u = g(x) is ifferentiable
More informationSINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
Communications on Stochastic Analysis Vol. 2, No. 2 (28) 289-36 Serials Publications www.serialspublications.com SINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
More informationSurvival Facts from Quantum Mechanics
Survival Facts from Quantum Mechanics Operators, Eigenvalues an Eigenfunctions An operator O may be thought as something that operates on a function to prouce another function. We enote operators with
More informationA Note on Exact Solutions to Linear Differential Equations by the Matrix Exponential
Avances in Applie Mathematics an Mechanics Av. Appl. Math. Mech. Vol. 1 No. 4 pp. 573-580 DOI: 10.4208/aamm.09-m0946 August 2009 A Note on Exact Solutions to Linear Differential Equations by the Matrix
More informationMATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY
MATH 22: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY When discussing separation of variables, we noted that at the last step we need to express the inhomogeneous initial or boundary data as
More information1. At time t = 0, the wave function of a free particle moving in a one-dimension is given by, ψ(x,0) = N
Physics 15 Solution Set Winter 018 1. At time t = 0, the wave function of a free particle moving in a one-imension is given by, ψ(x,0) = N where N an k 0 are real positive constants. + e k /k 0 e ikx k,
More informationLecture 6: Calculus. In Song Kim. September 7, 2011
Lecture 6: Calculus In Song Kim September 7, 20 Introuction to Differential Calculus In our previous lecture we came up with several ways to analyze functions. We saw previously that the slope of a linear
More informationRank, Trace, Determinant, Transpose an Inverse of a Matrix Let A be an n n square matrix: A = a11 a1 a1n a1 a an a n1 a n a nn nn where is the jth col
Review of Linear Algebra { E18 Hanout Vectors an Their Inner Proucts Let X an Y be two vectors: an Their inner prouct is ene as X =[x1; ;x n ] T Y =[y1; ;y n ] T (X; Y ) = X T Y = x k y k k=1 where T an
More information(L, t) = 0, t > 0. (iii)
. Sturm Liouville Boundary Value Problems 69 where E is Young s modulus and ρ is the mass per unit volume. If the end x = isfixed, then the boundary condition there is u(, t) =, t >. (ii) Suppose that
More information1 Heisenberg Representation
1 Heisenberg Representation What we have been ealing with so far is calle the Schröinger representation. In this representation, operators are constants an all the time epenence is carrie by the states.
More informationLecture IX. Definition 1 A non-singular Sturm 1 -Liouville 2 problem consists of a second order linear differential equation of the form.
Lecture IX Abstract When solving PDEs it is often necessary to represent the solution in terms of a series of orthogonal functions. One way to obtain an orthogonal family of functions is by solving a particular
More informationNOTES ON EULER-BOOLE SUMMATION (1) f (l 1) (n) f (l 1) (m) + ( 1)k 1 k! B k (y) f (k) (y) dy,
NOTES ON EULER-BOOLE SUMMATION JONATHAN M BORWEIN, NEIL J CALKIN, AND DANTE MANNA Abstract We stuy a connection between Euler-MacLaurin Summation an Boole Summation suggeste in an AMM note from 196, which
More information1 Applications of the Chain Rule
November 7, 08 MAT86 Week 6 Justin Ko Applications of the Chain Rule We go over several eamples of applications of the chain rule to compute erivatives of more complicate functions. Chain Rule: If z =
More informationComputing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions
Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5
More informationx = c of N if the limit of f (x) = L and the right-handed limit lim f ( x)
Limit We say the limit of f () as approaches c equals L an write, lim L. One-Sie Limits (Left an Right-Hane Limits) Suppose a function f is efine near but not necessarily at We say that f has a left-hane
More informationLecture 2 Lagrangian formulation of classical mechanics Mechanics
Lecture Lagrangian formulation of classical mechanics 70.00 Mechanics Principle of stationary action MATH-GA To specify a motion uniquely in classical mechanics, it suffices to give, at some time t 0,
More informationHyperbolic Functions. Notice: this material must not be used as a substitute for attending. the lectures
Hyperbolic Functions Notice: this material must not be use as a substitute for attening the lectures 0. Hyperbolic functions sinh an cosh The hyperbolic functions sinh (pronounce shine ) an cosh are efine
More informationFirst Order Linear Differential Equations
LECTURE 8 First Orer Linear Differential Equations We now turn our attention to the problem of constructing analytic solutions of ifferential equations; that is to say,solutions that can be epresse in
More informationFebruary 21 Math 1190 sec. 63 Spring 2017
February 21 Math 1190 sec. 63 Spring 2017 Chapter 2: Derivatives Let s recall the efinitions an erivative rules we have so far: Let s assume that y = f (x) is a function with c in it s omain. The erivative
More informationDERIVATIVES: LAWS OF DIFFERENTIATION MR. VELAZQUEZ AP CALCULUS
DERIVATIVES: LAWS OF DIFFERENTIATION MR. VELAZQUEZ AP CALCULUS THE DERIVATIVE AS A FUNCTION f x = lim h 0 f x + h f(x) h Last class we examine the limit of the ifference quotient at a specific x as h 0,
More information5-4 Electrostatic Boundary Value Problems
11/8/4 Section 54 Electrostatic Bounary Value Problems blank 1/ 5-4 Electrostatic Bounary Value Problems Reaing Assignment: pp. 149-157 Q: A: We must solve ifferential equations, an apply bounary conitions
More informationd dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1
Lecture 5 Some ifferentiation rules Trigonometric functions (Relevant section from Stewart, Seventh Eition: Section 3.3) You all know that sin = cos cos = sin. () But have you ever seen a erivation of
More informationVectors in two dimensions
Vectors in two imensions Until now, we have been working in one imension only The main reason for this is to become familiar with the main physical ieas like Newton s secon law, without the aitional complication
More informationIntegration Review. May 11, 2013
Integration Review May 11, 2013 Goals: Review the funamental theorem of calculus. Review u-substitution. Review integration by parts. Do lots of integration eamples. 1 Funamental Theorem of Calculus In
More informationThe Three-dimensional Schödinger Equation
The Three-imensional Schöinger Equation R. L. Herman November 7, 016 Schröinger Equation in Spherical Coorinates We seek to solve the Schröinger equation with spherical symmetry using the metho of separation
More informationChapter 2 Derivatives
Chapter Derivatives Section. An Intuitive Introuction to Derivatives Consier a function: Slope function: Derivative, f ' For each, the slope of f is the height of f ' Where f has a horizontal tangent line,
More information