18 Sturm-Liouville Eigenvalue Problems
|
|
- Leslie Wilson
- 5 years ago
- Views:
Transcription
1 18 Sturm-Liouville Eigenvlue Problems Up until now ll our eigenvlue problems hve been of the form d 2 φ + λφ = 0, 0 < x < l (1) dx2 plus mix of boundry conditions, generlly being Dirichlet or Neumnn type. This is too nrrow of viewpoint, which I wish to point out through few exmples. Exmple 1: Simple sptil vrition in diffusivity: D = D 0 (1 + x) 2. Consider the problem u t = D 0 [(1 + x) 2 u x ] x 0 < x < 1, t > 0 u(x, 0) = f(x) 0 < x < 1 u(0, t) = 0 = u(1, t) t > 0 (2) From the seprtion of vribles method, u(x, t) = T (t)φ(x), we obtin dt dt = λd 0T nd d dφ [(1 + x)2 dx dx ] + λφ = 0, with φ(0) = φ(1) = 0. Note tht by crrying through the differentition, the φ eqution (1 + x) 2 d2 φ + 2(1 + x)dφ + λφ = 0 (3) dx2 dx is Cuchy-Euler eqution (recll the Review of ODEs ppendix for discussion of the equtions). If we write φ(x) = (1 + x) r, the chrcteristic eqution for r becomes r(r 1) + 2r + λ = 0 r = { 1 ± 1 4λ}/2. Becuse we hve to strt t φ = 0 t x = 0, nd end t φ = 0 t x = 1, ssume we need oscilltory solutions like we got out of (1), since λ 0. Hence, ssume λ > 1/4, nd define (for nottionl convenience) ω := λ 1/4. Then the roots cn be written s r = 1/2 ± iω, nd since (1 + x) 1/2±iω = (1 + x) 1/2 (1 + x) ±iω = (1 + x) 1/2 e ±iωln(1+x), 1
2 suitble fundmentl set of solutions to (3) is (1 + x) 1/2 cos(ωln(1 + x)), (1 + x) 1/2 sin(ωln(1 + x)). Now φ(x) cn be written s liner combintion of these functions, nd since φ(0) = 0, we hve φ(x) = B(1 + x) 1/2 sin(ωln(1 + x)) stisfying (3) nd this boundry condition. Now 0 = φ(1) = 2 1/2 B sin(ωln(2)) sin(ωln(2)) = 0 ωln(2) = nπ, n 1. Thus, ω 2 = λ 1/4 = (nπ/ln(2)) 2. Therefore, the eigenvlues nd ssocited eigenfunctions for this problem re { λn = 1/4 + ( nπ ln(2) )2 n = 1, 2, 3,... φ n (x) = (1 + x) 1/2 sin( nπ ln(1 + x)) (4) ln(2) This gives us the solution form for problem (2): u(x, t) = (1 + x) 1/2 e D 0t/4 n=1 ( ) B n e D 0n 2 π 2 t/(ln(x)) nπ 2 sin ln(1 + x). ln(2) (5) Remrk: If we would not hve mde the bove positivity ssumption on λ in Exmple 1, then ssume λ < 1/4 nd define α := λ > 0. Then solution of the chrcteristic eqution would be r = 1/2 ± α, nd so φ(x) = (1 + x) 1/2 {A(1 + x) α + B(1 + x) α }. Now φ(0) = 0 = A + B, so φ(x) = A(1+x) 1/2 {(1+x) α (1+x) α }, while φ(1) = 0 = A2 1/2 [2 α 2 α ], which implies A = 0 since α > 0; so φ 0. Therefore, there is no eigenvlue λ < 1/4. We ll leve it s n exercise to drw the sme conclusion bout λ = 1/4. Exercise: A vrible density vibrting string problem Determine the eigenvlue problem for the following problem, nd derive the eigenvlues nd ssocited eigenfunctions: (1 + x) 2 u tt = c 2 u xx 0 < x < l, t > 0, c > 0 is constnt u(x, 0) = f(x), u t (x, 0) = 0 0 < x < l u(0, t) = 0 = u(l, t) 2
3 Exercise: In considering coustic mesurements in thin tube scled to be of unit length, let p(x, t) be coustic pressure, nd v(x, t) be volume velocity. Given certin ssumptions, one model to consider is p x = ρ v A(x) t, v x = A(x) p ρc 2 t, where A(x) is the vrible cross-sectionl re of the tube t loction x, ρ is the ir density in the tube, nd c is the speed of sound. Suppose we hve scled the problem so tht c = 1 nd ρ = 1. Assume lso tht A(x) is continuously differentible function, nd A(x) > 0 on [0, 1]. First eliminte v in the bove system to obtin single eqution for p(x, t). Let p(0, t) = 0 nd p x (1, t) = 0 for ll t > 0. Then seprte vribles, p(x, t) = T (t)φ(x), to obtin the EVP for this p-problem. (The eigenvlue eqution is sometimes clled Webster s horn eqution.) For generl A(x) stisfying the bove conditions, if we ssume rel eigenvlues, then 1. Show tht ny eigenvlue λ must stisfy λ Show tht λ = 0 is not n eigenvlue of the problem. 3. In the specil cse A(x) = e x, where 0, write out wht the EVP is in this cse. Then show tht the eigenvlues λ n must stisfy the trnscendentl eqution 2 λ 2 /4/ = tn( λ 2 /4), nd hence, there is n infinite ordered set of them, with λ n s t. Exmple 2: Symmetric diffusion in disk For multidimensionl diffusion equtions, specil cses rise in the cse of domins with nice geometry, for exmple disk nd wedge shped sptil domins in R 2, nd sphericl domins in R 3. In the 2D sitution, the Lplcin in polr coordintes is 2 = 1 r or in cylindricl coordintes, we hve 2 = 1 r r (r r ) + 1 r 2 2 θ 2 (6) r (r r ) + 1 r 2 2 θ z 2 (7) 3
4 Figure 1: Coordinte ngle definitions tht will be used for sphericl coordintes in these Notes. nd in sphericl coordintes (see Figure 1), 2 = 1 ρ 2 ρ (ρ2 ρ ) + 1 ρ 2 sin 2 φ 2 θ ρ 2 φ + cotφ 2 ρ 2 φ. (8) In fct, the rdil prt of the Lplcin, in rbitrry n dimensions (n 1),with r nottionlly denoting the rdil distnce from the origin, is given by 2 r = 2 r + n 1 2 r r. We will briefly look t some specil problems in higher dimensions lter in these Notes, but for now let us consider the diffusion eqution on the disk sptil domin Ω := {(r, θ) : 0 r <, 0 θ < 2π}, nd consider the symmetric cse (u is independent of ngle θ) u t = D(ru r r) r r <, t > 0, D > 0 is constnt u(r, 0) = f(r) r < (9) u(, t) = 0 u remins bounded on Ω Let u(r, t) = T (t)φ(r), then (1/DT ) dt λdt, s usul, nd = 1 d dt rφ dr dφ (r ) = λ, so dt/dt = dr d dφ (r dr dr ) + λrφ = 0 = r d2 φ dr + dφ + λrφ (10) 2 dr 4
5 with φ() = 0 nd φ is bounded t r = 0. Note tht (10) is not Cuchy- Euler eqution, becuse of the r dependence ssocited with the λ term. But it is well-studied eqution becuse it rises so much in prctice; (10) is Bessel s eqution of order 0, nd we ll study this vrible coefficient EVP lter. However, n introduction to Bessel s eqution nd Bessel functions is given in Appendix F. The point here in introducing these exmples is to motivte us to briefly study more generl clss of EVPs clled regulr Sturm-Liouville Eigenvlue problems. They hve the form d dx dφ (p(x) ) q(x)φ + λσ(x)φ = 0 dx αφ() + β dφ dx () = 0 γφ(b) + δ dφ dx (b) = 0 < x < b The functions nd prmeters in (11) must meet the following conditions: (11) p(x) is continuous on [, b], continuously differentible on (, b), p(x) > 0 on [, b]. q(x), σ(x) re continuous on [, b], σ(x) > 0, q(x) 0 on [, b]. α, β, γ, δ re rel constnts. Remrk: The sign convention on the q term in the eqution is not universl. We use the negtive sign in the eqution so ll the inequlities in the bove conditions re either > or. Exmple 3: In our usul exmple φ + λφ = 0, 0 < x < l, φ(0) = 0 = φ(l), p(x) 1, q(x) 0, σ(x) 1, nd β = δ = 0. Then we obtin λ = λ n = n 2 π 2 /l 2, φ = φ n (x) = sin(nπx/l), n = 1, 2, 3,.... Given tht we hve explicit representtions for the eigenvlues nd eigenfunctions we cn mke some strightforwrd observtions: 1. The eigenvlues re rel nd ordered; tht is, λ 1 < λ 2 < λ 3 <..., with λ n s n. 2. Corresponding to ech λ n is n eigenfunction, φ n = sin(nπx/l), tht hs n 1 zeros in the intervl (0, l) (see Figure 2). 5
6 Figure 2: Note the splicing of zeroes of successive eigenfunctions for Exmple The eigenfunctions {sin(nπx/l)} n 1 form n orthogonl set of functions on (0, l); tht is, l 0 l < φ n, φ m >:= φ n (x)φ m (x)dx = 0 { 0 if n m sin(nπx/l) sin(mπx/l)dx = l/2 if n = m. 4. The eigenfunctions re complete with respect to the set of piecewise smooth functions f on (0, l); tht is, we cn, for such function f, write f(x) n=1 nφ n (x), where the infinite sum converges for ll x (0, l), to [f(x+) + f(x )]/2, if the coefficients re chosen to be the Fourier coefficients of f. Tht is, n =< f, φ n > / < φ n, φ n >. The gol here is to present the cse tht problems of the form (11) with coefficients stisfying the bulleted items hve the sme properties s our prototypicl EVP we hve been working with. (So our prototypicl EVP is regulr Sturm-Liouville Eigenvlue problem.) 6
7 Figure 3: This shows the first 5 eigenfunctions ssocited with the eigenvlue problem (1 + x) 2 φ + λφ = 0, φ(0) = φ(1) = 0. Exmple 1, gin: Returning to exmple 1, p(x) = (1 + x) 2, q(x) 0, nd β = δ = 0, so this exmple leds to regulr Sturm-Liouville EVP. Exmple 2, gin: From (10), p(r) = r, q(r) 0, nd σ(r) = r, nd on the intervl [0, ], α = 0, δ = 0. Now the smoothness conditions in the bulleted conditions is stisfied by this problem, but p(r) nd σ(r) re not strictly positive on the closed intervl [0, ]. However, p, σ re zero only t the boundry point r = 0, otherwise the conditions re met. So exmple 2 is n exmple of singulr Sturm-Liouville EVP, but it is close enough to the regulr cse tht wht properties re brought up below for the regulr Sturm-Liouville EVP will lso hold the singulr Sturm-Liouville EVP too. Exercise: For the exercise on pge 2, wht is the p, q, σ for the derived EVP? Sturm-Liouville Theorem: The regulr Sturm-Liouville EVP defined by (11) nd the bulleted points below (11) stisfies 7
8 1. There exists n infinite number of discrete eigenvlues, λ n, n = 1, 2,..., tht re rel, positive, ordered, nd λ n s n. 2. The eigenfunctions corresponding to different eigenvlues re orthogonl on [, b] with respect to σ; tht is, for the eigenvlue-eigenfunction pirs {λ i, φ i }, {λ j, φ j }, λ i λ j, < φ i, φ j >= φ i(x)φ j (x)σ(x)dx = Eigenfunctions of the sme eigenvlue re unique up to multiplictive constnt. 4. The nth eigenfunction φ n (x) ssocited with the nth eigenvlue λ n hs exctly n 1 zeros in (, b). (For n exmple, see Figure 3.) 5. {φ n } n 1 re complete with respect to piecewise smooth functions f on [, b]. Thus, {f(x) N 1 nφ n (x)} 2 σ(x)dx 0 s N. Our intention is not go through full proof of this theorem here, but to go through some prts of it to illustrte the rguments. Consult more dvnced tretment of Sturm-Liouville EVPs to get the full story. For purposes here let the boundry conditions for (11) be the specil Dirichlet conditions: φ() = 0 = φ(b). Clim 1: Any eigenvlue of (11) is rel Let λ be ny eigenvlue of (11), with ssocite eigenfunction φ(x). If λ is complex, then λ = λ r + iλ i nd its complex conjugte is λ = λ r iλ i, with ssocited eigenfunction ψ(x) = φ(x). Since {λ, φ} stisfies d dx (pdφ ) qφ + λσφ = 0 on < x < b (12) dx φ() = 0 = φ(b) then, by tking the complex conjugtion of the eqution (12), nd noting tht p, q nd σ re rel functions, { λ, ψ} stisfies d dx (pdψ dx ) qψ + λσψ = 0 on < x < b (13) ψ() = 0 = ψ(b) 8
9 So, multiply eqution (12) by ψ nd multiply (13) by φ, then subtrct the two resulting equtions. This gives us Now integrte: By integrtion-by-prts, then ψ(pφ ) φ(pψ ) + (λ λ)σψφ = 0. [ψ(pφ ) φ(pψ ) ]dx + (λ λ) [ψ(pφ ) φ(pψ ) ]dx = ψpφ b (λ λ) σφψdx = (λ λ) σφψdx = 0. pψ φ dx {φpψ b φ 2 σdx = 0. Since φ 2 = φψ = φ φ > 0, then λ = λ, which implies λ is rel. pφ ψ dx} = 0 Clim 2: λ > 0 Let {λ, φ} be ny eigenvlue-eigenfunction pir, then by (12), φ(pφ ) qφ 2 + λσφ 2 = 0 on intervl (, b). So, 0 = φ(pφ ) dx qφ 2 dx + λ σφ 2 dx. By integrtion-by-prts, the first integrl, fter pplying the boundry conditions, is p(φ ) 2 dx. Thus, λ = {p(φ ) 2 + qφ 2 }dx 0. (14) φ2 σdx Becuse of the positivity conditions we imposed on p, q, σ, nd the fct the φ is non-zero function, the nomintor in (14) is positive, so λ > 0. Remrk: The right side quotient of (14) cn be considered functionl of φ, so write λ = R[φ]. 9
10 R[ ] is clled the Ryleigh quotient, nd plys big prt in chrcterizing the eigenvlues in Sturm-Liouville EVPs. An outline of the use of the Ryleigh quotient in chrcterizing eigenvlues through minimiztion principle is presented in Appendix E. Clim 3: Eigenfunctions corresponding to different eigenvlues re orthogonl with respect to σ(x). Let {λ, φ}, {µ, ψ} be two rbitrry eigenvlue-eigenfunction pirs s solutions to (12), with λ µ. Thus, (pφ ) qφ + λσφ = 0, φ() = φ(b) = 0 (pψ ) qψ + µσψ = 0, ψ() = ψ(b) = 0 Multiply the first eqution by ψ, the second eqution by φ, subtrct nd integrte: [ψ(pφ ) φ(pψ ) ]dx + (λ µ) σφψdx = 0. The first integrl is 0 vi integrtion-by-prts nd boundry conditions. Since λ µ, then σφψdx = 0, which ws to be proved. Clim 4: Eigenfunctions of the sme eigenvlue re unique up to multiplictive constnt. Let φ, ψ be two eigenfunctions ssocited with the sme eigenvlue λ. Then 0 = φ[(pψ ) qψ + λσψ] ψ[(pφ ) qφ + λσφ] = φ(pψ ) ψ(pφ ) = [p(φψ ψφ )] which implies p(φψ ψφ ) = constnt = C. Applying the boundry conditions leds to C = 0, so φψ ψφ = 0. (15) This sttement should be recognizble s the Wronskin of ψ nd φ. Assume neither φ or ψ vnish in the intervl, then we cn write this expression s ψ /ψ = φ /φ, or (ln ψ) = (ln φ), or ln ψ ln φ = constnt ln(ψ/φ) = 10
11 constnt ψ/φ = constnt; tht is, ψ = kφ for some constnt k. Now if there is n x 0 where φ(x 0 ) = 0, for exmple, then from (15), ψ(x 0 )φ (x 0 ) = 0. But if φ (x 0 ) = 0, then φ(x) 0 becuse φ(x) is the solution to homogeneous second-order liner ode with zero initil conditions. Since φ is n eigenfunction, this cn not be the cse, so ψ(x 0 ) = 0, which mens ψ = kφ holds utomticlly t tht point. We will not pursue proving further conclusions of the Sturm-Liouville theorem, but you cn see the pttern of resoning behind it. A point here is tht in most cses involving vrible coefficient EVPs, we do not hve much hope of obtining n explicit formuls for the eigenvlues nd eigenfunctions, but the generl Sturm-Liouville problems behve qulittively exctly like our simpler, constnt coefficient EVP. Remrk: About n infinite number of eigenvlues going off to infinity: consider the Sturm-Liouville problem (11) gin, nd write (p(x)φ ) q(x)φ = F (x) < x < b φ() = 0 = φ(b) (16) where now we forget for moment tht F (x) = λσ(x)φ(x). It turns out, s we discuss lter, tht there exists function G(x, ξ), clled the Green s function for the problem (16), such tht the solution to the problem cn be written s φ(x) = G(x, ξ)f (ξ)dξ. For our eigenvlue problem, F is in terms of the solution (nd its eigenvlue), so this sttement gives the integrl eqution φ(x) = λ G(x, ξ)σ(ξ)φ(ξ)dξ. (17) Tht is, given λ, its ssocited eigenfunction φ stisfies (17), Fredholm integrl eqution of the first kind. The study of integrl equtions ws very intense in the erly prt of the twentieth century, nd hs been vluble wy to obtin properties of solutions to ordinry (nd prtil) differentil equtions. One of the consequences, when λ = λ n nd φ = φ n (x) is 11
12 Bessel s inequlity which gives n=1 λ 2 n φ 2 n σφ2 ndx G(x, ξ) 2 σ(ξ)dξ, 1 λ 2 n=1 n = σ(x) n=1 λ 2 n φ 2 n(x) σφ2 ndξ dx G(x, ξ) 2 σ(ξ)σ(x)dξdx <, so 1 n=1 is convergent series. This implies 1/λ 2 λ 2 n 0 s n ; tht is, n λ n s n. Summry: Mke sure you know the definition of regulr Sturm-Liouville EVP, nd in our limited discussion wht distinguishes it from singulr Sturm-Liouville EVP. You should know the sttement of the Sturm-Liouville Theorem, tht is, the properties of the solutions {λ n, φ n }. Finlly, be ble to recll the Ryleigh quotient for given problem. Exercises: Consider the eigenvlue problem d 2 φ ν dφ + λφ = 0 0 < x < π dx 2 dx dφ dφ (0) = (π) = 0 dx dx ν > 0 is constnt 1. Put the eqution into Sturm-Liouville form. Wht functions correspond to p(x), q(x), σ(x)? From this wht do you know bout the eigenvlues nd eigenfunctions without trying to compute them? 2. Derive the set of eigenvlues nd ssocited eigenfunctions for this EVP. 3. In the next section we will mention PDE eigenvlue problems, but non-stndrd one is the Stekloff problem 2 u = 0 u = λu ν in Ω on Ω 12
13 where the eigenvlue ppers in the boundry condition 1. Consider 1D problem with Ω = (0, 1), so the eqution becomes u = 0 in (0, 1). Determine the set of eigenvlues for this problem. 1 ν is the unit vector defined on the boundry of Ω, so u/ ν is the flux of u out of the domin. 13
1 2-D Second Order Equations: Separation of Variables
Chpter 12 PDEs in Rectngles 1 2-D Second Order Equtions: Seprtion of Vribles 1. A second order liner prtil differentil eqution in two vribles x nd y is A 2 u x + B 2 u 2 x y + C 2 u y + D u 2 x + E u +
More information1 E3102: a study guide and review, Version 1.0
1 E3102: study guide nd review, Version 1.0 Here is list of subjects tht I think we ve covered in clss (your milege my vry). If you understnd nd cn do the bsic problems in this guide you should be in very
More informationReview SOLUTIONS: Exam 2
Review SOUTIONS: Exm. True or Flse? (And give short nswer ( If f(x is piecewise smooth on [, ], we cn find series representtion using either sine or cosine series. SOUTION: TRUE. If we use sine series,
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More informationMath Theory of Partial Differential Equations Lecture 2-9: Sturm-Liouville eigenvalue problems (continued).
Mth 412-501 Theory of Prtil Differentil Equtions Lecture 2-9: Sturm-Liouville eigenvlue problems (continued). Regulr Sturm-Liouville eigenvlue problem: d ( p dφ ) + qφ + λσφ = 0 ( < x < b), dx dx β 1 φ()
More informationMath Fall 2006 Sample problems for the final exam: Solutions
Mth 42-5 Fll 26 Smple problems for the finl exm: Solutions Any problem my be ltered or replced by different one! Some possibly useful informtion Prsevl s equlity for the complex form of the Fourier series
More informationVariational Techniques for Sturm-Liouville Eigenvalue Problems
Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More information4 Sturm-Liouville Boundary Value Problems
4 Sturm-Liouville Boundry Vlue Problems We hve seen tht trigonometric functions nd specil functions re the solutions of differentil equtions. These solutions give orthogonl sets of functions which cn be
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationApplied Partial Differential Equations with Fourier Series and Boundary Value Problems 5th Edition Richard Haberman
Applied Prtil Differentil Equtions with Fourier Series nd Boundry Vlue Problems 5th Edition Richrd Hbermn Person Eduction Limited Edinburgh Gte Hrlow Essex CM20 2JE Englnd nd Associted Compnies throughout
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationSTURM-LIOUVILLE BOUNDARY VALUE PROBLEMS
STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationSturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1
Ch.4. INTEGRAL EQUATIONS AND GREEN S FUNCTIONS Ronld B Guenther nd John W Lee, Prtil Differentil Equtions of Mthemticl Physics nd Integrl Equtions. Hildebrnd, Methods of Applied Mthemtics, second edition
More informationSTURM-LIOUVILLE PROBLEMS: GENERALIZED FOURIER SERIES
STURM-LIOUVILLE PROBLEMS: GENERALIZED FOURIER SERIES 1. Regulr Sturm-Liouville Problem The method of seprtion of vribles to solve boundry vlue problems leds to ordinry differentil equtions on intervls
More informationThe Wave Equation I. MA 436 Kurt Bryan
1 Introduction The Wve Eqution I MA 436 Kurt Bryn Consider string stretching long the x xis, of indeterminte (or even infinite!) length. We wnt to derive n eqution which models the motion of the string
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More information1 E3102: A study guide and review, Version 1.2
1 E3102: A study guide nd review, Version 1.2 Here is list of subjects tht I think we ve covered in clss (your milege my vry). If you understnd nd cn do the bsic problems in this guide you should be in
More information1.3 The Lemma of DuBois-Reymond
28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBois-Reymond We needed extr regulrity to integrte by prts nd obtin the Euler- Lgrnge eqution. The following result shows tht, t lest sometimes, the extr
More informationc n φ n (x), 0 < x < L, (1) n=1
SECTION : Fourier Series. MATH4. In section 4, we will study method clled Seprtion of Vribles for finding exct solutions to certin clss of prtil differentil equtions (PDEs. To do this, it will be necessry
More informationPressure Wave Analysis of a Cylindrical Drum
Pressure Wve Anlysis of Cylindricl Drum Chris Clrk, Brin Anderson, Brin Thoms, nd Josh Symonds Deprtment of Mthemtics The University of Rochester, Rochester, NY 4627 (Dted: December, 24 In this pper, hypotheticl
More information3 Mathematics of the Poisson Equation
3 Mthemtics of the Poisson Eqution 3. Green functions nd the Poisson eqution () The Dirichlet Green function stisfies the Poisson eqution with delt-function chrge 2 G D (r, r o ) = δ 3 (r r o ) (3.) nd
More informationLinearity, linear operators, and self adjoint eigenvalue problems
Linerity, liner opertors, nd self djoint eigenvlue problems 1 Elements of liner lgebr The study of liner prtil differentil equtions utilizes, unsurprisingly, mny concepts from liner lgebr nd liner ordinry
More informationConservation Law. Chapter Goal. 5.2 Theory
Chpter 5 Conservtion Lw 5.1 Gol Our long term gol is to understnd how mny mthemticl models re derived. We study how certin quntity chnges with time in given region (sptil domin). We first derive the very
More informationPartial Differential Equations
Prtil Differentil Equtions Notes by Robert Piché, Tmpere University of Technology reen s Functions. reen s Function for One-Dimensionl Eqution The reen s function provides complete solution to boundry
More informationu t = k 2 u x 2 (1) a n sin nπx sin 2 L e k(nπ/l) t f(x) = sin nπx f(x) sin nπx dx (6) 2 L f(x 0 ) sin nπx 0 2 L sin nπx 0 nπx
Chpter 9: Green s functions for time-independent problems Introductory emples One-dimensionl het eqution Consider the one-dimensionl het eqution with boundry conditions nd initil condition We lredy know
More informationElliptic Equations. Laplace equation on bounded domains Circular Domains
Elliptic Equtions Lplce eqution on bounded domins Sections 7.7.2, 7.7.3, An Introduction to Prtil Differentil Equtions, Pinchover nd Rubinstein 1.2 Circulr Domins We study the two-dimensionl Lplce eqution
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationPHYSICS 116C Homework 4 Solutions
PHYSICS 116C Homework 4 Solutions 1. ( Simple hrmonic oscilltor. Clerly the eqution is of the Sturm-Liouville (SL form with λ = n 2, A(x = 1, B(x =, w(x = 1. Legendre s eqution. Clerly the eqution is of
More informationMath Advanced Calculus II
Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationThe Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5
The Dirichlet Prolem in Two Dimensionl Rectngle Section 13.5 1 Dirichlet Prolem in Rectngle In these notes we will pply the method of seprtion of vriles to otin solutions to elliptic prolems in rectngle
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationGreen function and Eigenfunctions
Green function nd Eigenfunctions Let L e regulr Sturm-Liouville opertor on n intervl (, ) together with regulr oundry conditions. We denote y, φ ( n, x ) the eigenvlues nd corresponding normlized eigenfunctions
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More information(9) P (x)u + Q(x)u + R(x)u =0
STURM-LIOUVILLE THEORY 7 2. Second order liner ordinry differentil equtions 2.1. Recll some sic results. A second order liner ordinry differentil eqution (ODE) hs the form (9) P (x)u + Q(x)u + R(x)u =0
More informationSummary: Method of Separation of Variables
Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 1 Summry: Method of Seprtion of Vribles 1. Seprtion of Vribles in Crtesin Coordintes 2. Fourier Series Suggested Reding: Griffiths: Chpter 3, Section
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationCalculus of Variations: The Direct Approach
Clculus of Vritions: The Direct Approch Lecture by Andrejs Treibergs, Notes by Bryn Wilson June 7, 2010 The originl lecture slides re vilble online t: http://www.mth.uth.edu/~treiberg/directmethodslides.pdf
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationIntroduction to Group Theory
Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More information1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.
1 12 Liner Vrible Coefficient Equtions Section Objective(s): Review: Constnt Coefficient Equtions Solving Vrible Coefficient Equtions The Integrting Fctor Method The Bernoulli Eqution 121 Review: Constnt
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationMath 5440 Problem Set 3 Solutions
Mth 544 Mth 544 Problem Set 3 Solutions Aron Fogelson Fll, 213 1: (Logn, 1.5 # 2) Repet the derivtion for the eqution of motion of vibrting string when, in ddition, the verticl motion is retrded by dmping
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationMath 100 Review Sheet
Mth 100 Review Sheet Joseph H. Silvermn December 2010 This outline of Mth 100 is summry of the mteril covered in the course. It is designed to be study id, but it is only n outline nd should be used s
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More information4. Calculus of Variations
4. Clculus of Vritions Introduction - Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More information21.6 Green Functions for First Order Equations
21.6 Green Functions for First Order Equtions Consider the first order inhomogeneous eqution subject to homogeneous initil condition, B[y] y() = 0. The Green function G( ξ) is defined s the solution to
More informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct
More informationDifferential Equations 2 Homework 5 Solutions to the Assigned Exercises
Differentil Equtions Homework Solutions to the Assigned Exercises, # 3 Consider the dmped string prolem u tt + 3u t = u xx, < x , u, t = u, t =, t >, ux, = fx, u t x, = gx. In the exm you were supposed
More informationMath 5440 Problem Set 3 Solutions
Mth 544 Mth 544 Problem Set 3 Solutions Aron Fogelson Fll, 25 1: Logn, 1.5 # 2) Repet the derivtion for the eqution of motion of vibrting string when, in ddition, the verticl motion is retrded by dmping
More informationChapter 0. What is the Lebesgue integral about?
Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous
More informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationIntegration Techniques
Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u
More informationAMS 212A Applied Mathematical Methods I Lecture 06 Copyright by Hongyun Wang, UCSC. ( ), v (that is, 1 ( ) L i
AMS A Applied Mthemticl Methods I Lecture 6 Copyright y Hongyun Wng, UCSC Recp of Lecture 5 Clssifiction of oundry conditions Dirichlet eumnn Mixed Adjoint opertor, self-djoint opertor Sturm-Liouville
More informationIntroduction to the Calculus of Variations
Introduction to the Clculus of Vritions Jim Fischer Mrch 20, 1999 Abstrct This is self-contined pper which introduces fundmentl problem in the clculus of vritions, the problem of finding extreme vlues
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationMath 113 Exam 1-Review
Mth 113 Exm 1-Review September 26, 2016 Exm 1 covers 6.1-7.3 in the textbook. It is dvisble to lso review the mteril from 5.3 nd 5.5 s this will be helpful in solving some of the problems. 6.1 Are Between
More informationSTURM-LIOUVILLE PROBLEMS
STURM-LIOUVILLE PROBLEMS Mrch 8, 24 We hve seen tht in the process of solving certin liner evolution equtions such s the het or wve equtions we re led in very nturl wy to n eigenvlue problem for second
More informationSturm-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 informationChapter 5. , r = r 1 r 2 (1) µ = m 1 m 2. r, r 2 = R µ m 2. R(m 1 + m 2 ) + m 2 r = r 1. m 2. r = r 1. R + µ m 1
Tor Kjellsson Stockholm University Chpter 5 5. Strting with the following informtion: R = m r + m r m + m, r = r r we wnt to derive: µ = m m m + m r = R + µ m r, r = R µ m r 3 = µ m R + r, = µ m R r. 4
More informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationConsequently, the temperature must be the same at each point in the cross section at x. Let:
HW 2 Comments: L1-3. Derive the het eqution for n inhomogeneous rod where the therml coefficients used in the derivtion of the het eqution for homogeneous rod now become functions of position x in the
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More information1. On the line, i.e., on R, i.e., 0 x L, in general, a x b. Here, Laplace s equation assumes the simple form. dx2 u(x) = C 1 x + C 2.
Lecture 16 Lplce s eqution - finl comments To summrize, we hve investigted Lplce s eqution, 2 = 0, for few simple cses, nmely, 1. On the line, i.e., on R, i.e., 0 x L, in generl, x b. Here, Lplce s eqution
More informationThe Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.
Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F
More informationLecture 14: Quadrature
Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl
More informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationGreen s functions. f(t) =
Consider the 2nd order liner inhomogeneous ODE Green s functions d 2 u 2 + k(t)du + p(t)u(t) = f(t). Of course, in prctice we ll only del with the two prticulr types of 2nd order ODEs we discussed lst
More informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More informationHow can we approximate the area of a region in the plane? What is an interpretation of the area under the graph of a velocity function?
Mth 125 Summry Here re some thoughts I ws hving while considering wht to put on the first midterm. The core of your studying should be the ssigned homework problems: mke sure you relly understnd those
More informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
More information(PDE) u t k(u xx + u yy ) = 0 (x, y) in Ω, t > 0, (BC) u(x, y, t) = 0 (x, y) on Γ, t > 0, (IC) u(x, y, 0) = f(x, y) (x, y) in Ω.
Seprtion of Vriles for Higher Dimensionl Het Eqution 1. Het Eqution nd Eigenfunctions of the Lplcin: An 2-D Exmple Ojective: Let Ω e plnr region with oundry curve Γ. Consider het conduction in Ω with fixed
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More information1 Techniques of Integration
November 8, 8 MAT86 Week Justin Ko Techniques of Integrtion. Integrtion By Substitution (Chnge of Vribles) We cn think of integrtion by substitution s the counterprt of the chin rule for differentition.
More informationThe usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1
Mth50 Introduction to Differentil Equtions Brief Review of Complex Numbers Complex Numbers No rel number stisfies the eqution x =, since the squre of ny rel number hs to be non-negtive. By introducing
More informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationChapter Five - Eigenvalues, Eigenfunctions, and All That
Chpter Five - Eigenvlues, Eigenfunctions, n All Tht The prtil ifferentil eqution methos escrie in the previous chpter is specil cse of more generl setting in which we hve n eqution of the form L 1 xux,tl
More informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationLECTURE 3. Orthogonal Functions. n X. It should be noted, however, that the vectors f i need not be orthogonal nor need they have unit length for
ECTURE 3 Orthogonl Functions 1. Orthogonl Bses The pproprite setting for our iscussion of orthogonl functions is tht of liner lgebr. So let me recll some relevnt fcts bout nite imensionl vector spces.
More informationSturm Liouville Problems
Sturm Liouville Problems More generl eigenvlue problems So fr ll of our exmple PDEs hve led to seprted equtions of the form X + ω 2 X =, with stndrd Dirichlet or Neumnn boundry conditions Not surprisingly,
More information. Double-angle formulas. Your answer should involve trig functions of θ, and not of 2θ. sin 2 (θ) =
Review of some needed Trig. Identities for Integrtion. Your nswers should be n ngle in RADIANS. rccos( 1 ) = π rccos( - 1 ) = 2π 2 3 2 3 rcsin( 1 ) = π rcsin( - 1 ) = -π 2 6 2 6 Cn you do similr problems?
More information