Variational Techniques for Sturm-Liouville Eigenvalue Problems

Size: px
Start display at page:

Download "Variational Techniques for Sturm-Liouville Eigenvalue Problems"

Transcription

1 Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE Emil: Rolf Ryhm Deprtment of Mthemtics Pennsylvni Stte University University Prk, PA 1680 Emil: Abstrct As prt of 00 VIGRE mini-course t University of Uth, we present properties of eigenvlues nd eigenfunctions for the second-order Sturm- Liouville boundry vlue problem. Most of our proofs re dpted from [1] nd re given using vritionl methods. Exmples re lso discussed. Introduction We define the Sturm-Liouville opertor L on bounded intervl [, b] vi Lu := (pu ) + qu, where p C 1 ([, b]), q C([, b]), p ν > 0, ν R, nd q 0. We re interested in the Sturm-Liouville Eigenvlue Problem (SLEP) with Dirichlet boundry conditions: Lu = λu, λ R (1) u() = u(b) = 0 () Definition 1. Vlues of λ for which (1),() hs nontrivil solution re clled eigenvlues nd nontrivil solution u corresponding to λ is clled n eigenfunction. The pir (λ, u) is clled n eigenpir for the SLEP (1), (). First, we present n exmple of how PDE cn led to SLEP. This exmple cn be found in []. 1

2 Exmple 1. In this exmple we use seprtion of vribles to show how we cn get solutions of the two dimensionl Lplce s eqution We look for solutions of the form From Lplce s eqution we get u xx + u yy = 0. u(x, y) = X(x)Y (y). X Y + XY = 0. Seprting vribles nd ssuming X(x) 0, Y (y) 0 we get X X = Y Y. Since the left hnd side of this eqution depends only on x nd the right hnd side depends only on y we get tht X (x) X(x) = Y (y) Y (y) = λ, where λ is constnt. This leds to the Sturm-Liouville differentil equtions X = λx, Y = λy. (3) It follows tht if X is solution of the first differentil eqution in (3) nd Y is solution of the second eqution in (3), then u(x, y) = X(x)Y (y) is solution of Lplce s prtil differentil eqution. Existence of minimizers Using stndrd vritionl methods of Lgrnge multiplier type, we look for minimizers of the functionl F [u] = b p(u ) + qu dx, whose corresponding Euler-Lgrnge eqution is given by the Sturm-Liouville eqution, over A = {u H 1 0 ([, b]) : so tht minimizer will yield the eqution b F [u] = λu, u dx = 1}

3 b pu φ + quφ dx = λ for ll φ in H0 1 ([, b]). The minimiztion will yield some suprising nd useful results bout the eigenvectors of the opertor. For our purposes we consider the minimiztion problem in closed subspce V of H0 1 ([, b]). First, to gurntee minimum, we need F [u] to be bounded below nd thus require the ssumption tht p(x) θ > 0 nd q(x) > 0. Then F [u] hs n infimum over A, which we cll α, nd minimizing sequence u k. To use our compctness results we would like the u k to be bounded in H0 1 ([, b]), but this follows from the Poincire inequlity nd coercivity of the functionl F, which we see in the chin of inequlities M F [u k ] = b b uφ p(u k) + qu k dx θ u k L + 0 C u k H 1 0 ([,b]). As H 1 0 ([, b]) is Hilbert spce (i.e. reflexive Bnch spce) u k H 1 0 ([,b]) u wekly for some u H 1 0 ([, b]). This u is our cndidte for the minimizer of F [u]. All is left to show is tht F [u] lim inf F [u k ] nd u A, i.e. u L = 1. These two conditions gurntee tht u is indeed minimizer in V. WLSC To develope this inequlity, we introduce the (nottion sving) symmetric, H 1 0 ([, b]) coervive, continuous, biliner form ssocited to F. And so, in the limit, (u, v) = b pu v + quv dx F [u k ] (u, u k ) (u, u). u is contined in V nd A α (u, u) (u, u) = F [u]. Since the u k re bounded in H 1 0 ([, b]), which is compctly embedded in L, we know of the existence of v L to which the u k converge strongly in L. We don t yet, however, know tht u nd v re the sme element. But for rbitrry w L, we hve (u v, w) (L ) (u, w) (u k, w) + (v u k, w), 3

4 where the left term cn be mde rbitrrily smll since wek convergence in H 1 0 ([, b]) implies wek convergnce in L nd the second term cn be mde rbitrrily by the Cuchy inequlity nd strong convergence in L. Since L is Hilbert spce, nd now (v u, w) = 0 for ny w L, we must conclude tht u = v. But this proves tht u A, becuse u k L v implies tht v = u L = 1. V is closed subspce for which we my pply Mzur s theorem which sserts tht closed, convex sets re wekly closed. It follows tht u V s well. Conclusion Combining the bove two results we find tht by WLSC F [u] lim F [u k ] = α nd becuse u is contined in A nd V, α = inf F [v] F [u]. v A,V We conclude tht F [u] = α nd tht u the minimizes F over A nd V. subsection*eigenpirs As discussed, the inductive minimizing of the functionl F over the subspces V i produces chin of functions nd their corresponding vlues under F, u 1, u,..., u i,... λ 1 λ... λ i = F [u i ]... We will show tht these u i nd λ i re ctully eigenpirs for the Sturm-Liouville opertor. To void lter confusion, we note tht the homogeneity of the functionl F llows us consider the following two problems s equivlent; min F [v] = λ i min v A,V i v V i F [v] v L = λ i. Thus, we will frequently see the inequlity F [u i ] λ i v dx, v V i, without hving to ssume tht v L = 1. Obtining Eigenpirs To obtin our eigenpirs, we inductively define sequence of closed subspces of H 1 0 ([, b]). Define A := {u H 1 0 ([, b]) : u L = 1}. Let V 1 := H 1 0 ([, b]) nd W 1 := V 1 A. 4

5 Minimizing F on W 1, we get u 1 W 1 nd Next, let λ 1 = inf {F (u) : u W 1 } = F (u 1 ). V :=< u 1 > nd W := V A. Minimizing F on W, we get u W nd Continue this process with λ = inf {F (u) : u W } = F (u ). V n :=< u 1 > < u >... < u n 1 > nd W n := V n A. Minimize F on W n to get the pir (λ n, u n ). Notice tht nd hence, Also, by construction, we get b Proof of eigenpirhood W 1 W W 3... W n W n+1..., λ 1 λ... λ n λ n+1... u n u k dx = δ n,k where δ n,k := { 1 if n = k 0 if n k If φ V i nd ɛ 0, then u i + ɛφ V i nd by definition of minimizer, (u i + ɛφ, u i + ɛφ) λ i (u i + ɛφ) dx. ɛ[(u i, φ) λ i u i φ dx] + ɛ [(φ, φ) λ i φ dx] 0. The second term is positive by definition of the minimum, nd by tking ɛ negtive nd smll enough, so tht the first term domintes the second, we must conclude (u i, φ) λ i u i φ dx = 0. Now, more generlly, for rbitrry ψ H0 1 ([, b]), ψ differs from φ in V i by liner combintion of u k for k = 1,..., i 1. But since (u i, u k ) = u i u k dx = δi k, the before lst equlity holds for ψ in plce of φ. This is exctly the wek formultion tht (u i, λ i ) form n eigenpir for the Sturm-Liouville opertor. 5

6 Properties of the eigenpirs Most obvious is tht the eigenvlues re ordered s result of the minimiztion process. More though is tht they pproch infinity. If this were not true, they would be bounded nd thusly the u i would be bounded. As result, the u i would L -converge strongly to n u with u dx = 1. (u u i ) dx 0. But (u u i ) dx = lim k (u k u i ) dx = when i k. This is contrdiction. Also, these eigenpirs re complete, in tht if (u, λ) is n eigen pir, then u = u i, λ = λ i for some i nd if λ i = λ j then i = j. These fcts follow from the following rgument. Suppose tht (u, λ) is n eigenpir. Then λ uu i dx = (u, u i ) = λ i uu i dx, (λ λ i ) uu i dx = 0 for ll i, so tht either u = 0 (the trivil cse) or λ = λ i for some i nd u u j for j i. Now suppose u / V i for the previously given i. Then u V j for some j < i nd thus we must conclude tht u minimizes F [u] over V j since we hve tht λ j λ i. But this mens tht there re two nontrivil minimizers of the function F over the sme spce, which, by the following clcultion, is contrdiction. Suppose u 1, u re L unit vectors both stisfing F [u 1 ] = F [u ] F [v] for ny v V. Then u1+u nd u1 u V, nd so F [u 1 ] F [ u 1 + u ] F [u ] F [ u 1 u ], p p(u 1) + qu 1 dx 4 (u 1 + u ) + q 4 (u 1 + u ) dx, p p(u ) + qu dx 4 (u 1 u ) + q 4 (u 1 u ) dx. Adding the two inequlities together, we find tht p p((u 1) + (u ) ) + q(u 1 + u ) dx ((u 1) + (u ) ) + q (u 1 + u ) dx, p ((u 1) + (u ) ) + q (u 1 + u ) dx 0. This is contrdiction since we ssume tht eigenvlues re nontrivil. 6

7 Eigenvectors Spn H 1 0([, b]) Not only does the Sturm-Liouville opertor hve n infinite spectrum of eigenvlues but the eigenvectors ctully form bsis for H0 1 ([, b]). For v H0 1 ([, b]), define n v n = (v, u i ) L u i. i=1 We first show tht v n form Cuchy sequence in H 1 0 ([, b]). Notice tht 0 (v v n, v v n ) = (v, v) n λ i c i (v, v) i=1 n λ i c i for ll n. Thus the sum converges, mking the til sum pproch zero. It follows from n C v n v m H 1 0 ([,b]) (v n v m, v n v m ) = λ i c i tht the v n re Cuchy sequence in H0 1 ([, b]). Now, it is not certin whether v n ctully converge to v or not, infct, ll we know is tht v n converge to some w in H0 1 ([, b]), but we will show tht the v n converge to v in L, which gives the desired result. Notice, we used the coercivity of the form, nd know we use the fct (u i, λ i ) re minimizing pir in V i. Notice tht (v v n )u i dx = 0 for i = 1,..., n so tht v v n V n+1. Thus, if we pick n lrge enough so tht λ n > 0 we hve (v v n ) dx 1 (v v n, v v n ) 1 (v, v). λ n λ n i=1 Since, λ n, the inequlity shows tht v n v in L. Eigenvlues re simple Suppose we hve two linerly independent eigenvectors u 1 nd u corresponding to some eigenvlue λ. Then, find rel numbers c 1 nd c not both zero so tht c 1 u 1() + c u () = 0. Define u(t) = c 1 u 1 (t) + c u (t). Then, u(t) is nontrivil solution to SLEP nd (λ, u) is n eigenpir due to linerity. From our boundry conditions, we see nd by choice of c 1, c, we hve u() = c 1 u 1 () + c u () = 0 u () = c 1 u 1() + c u () = 0. i=m 7

8 Since nd order liner initil vlue problems hve unique solutions, u 0. This contrdicts the liner independence of u 1 nd u. Hence, the eigenvlues re simple. Obtining simple eigenvlues depends on the Dirichlet Boundry conditions. This next exmple illustrtes how periodic boundry conditions cn yield eigenvlues tht re not simple. The following exmple cn be found in []. Exmple. Consider the following SLEP u = λu, (4) u( π) = u(π), u ( π) = u (π). (5) We let λ = µ where µ > 0. A generl solution of (4) in this cse is u(θ) = c 1 cos(µθ) + c sin(µθ), The first boundry condition gives us θ [ π, π]. c 1 cos(µπ) c sin(µπ) = c 1 cos(µπ) + c sin(µπ), which is equivlent to the eqution c sin(µπ) = 0. Hence the first boundry condition is stisfied if we tke µ = µ n := n, n = 1,, 3,. It is then esy to check tht the second boundry condition is lso stisfied. Hence λ n = n n = 1,, 3, re eigenvlues nd corresponding to ech of these eigenvlues re two linerly independent eigenfunctions given by u n (θ) = cos(nθ), v n (θ) = sin(nθ), θ [ π, π]. Finl comment The min reson we re interested in eigenpirs for the Sturm-Liouville opertor is we cn use them to solve equtions of the form We first solve the SLEP Lu = f, where f H 1 0 ([, b]). Lu = λu nd then write f = c i u i, which we cn do since the eigenvectors spn H 1 0 ([, b]). Then, define Then, u is solution to u := c i λ i u i for λ i 0. Lu = f. 8

9 References [1] G. Buttzzo, M. Giquint, nd S. Hildebrndt, One-dimensionl vritionl problems. An introduction. Oxford Lecture Series in Mthemtics nd its Applictions, 15. The Clrendon Press, Oxford University Press, New York, [] W. Kelley, A. Peterson, Topics in Ordinry Differentil Equtions. Prentice Hll, To be published. 9

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

STURM-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 information

1 2-D Second Order Equations: Separation of Variables

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 information

STURM-LIOUVILLE THEORY, VARIATIONAL APPROACH

STURM-LIOUVILLE THEORY, VARIATIONAL APPROACH STURM-LIOUVILLE THEORY, VARIATIONAL APPROACH XIAO-BIAO LIN. Qudrtic functionl nd the Euler-Jcobi Eqution The purpose of this note is to study the Sturm-Liouville problem. We use the vritionl problem s

More information

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: 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 information

Calculus of Variations: The Direct Approach

Calculus 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 information

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 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 information

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE 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 information

M597K: Solution to Homework Assignment 7

M597K: Solution to Homework Assignment 7 M597K: Solution to Homework Assignment 7 The following problems re on the specified pges of the text book by Keener (2nd Edition, i.e., revised nd updted version) Problems 3 nd 4 of Section 2.1 on p.94;

More information

The Regulated and Riemann Integrals

The 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 information

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) = WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:

More information

Sturm-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

Sturm-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 information

Summary: Method of Separation of Variables

Summary: 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 information

1.3 The Lemma of DuBois-Reymond

1.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 information

Linearity, linear operators, and self adjoint eigenvalue problems

Linearity, 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 information

Math Solutions to homework 1

Math Solutions to homework 1 Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht

More information

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

g 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 information

21.6 Green Functions for First Order Equations

21.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 information

International Jour. of Diff. Eq. and Appl., 3, N1, (2001),

International Jour. of Diff. Eq. and Appl., 3, N1, (2001), Interntionl Jour. of Diff. Eq. nd Appl., 3, N1, (2001), 31-37. 1 New proof of Weyl s theorem A.G. Rmm Mthemtics Deprtment, Knss Stte University, Mnhttn, KS 66506-2602, USA rmm@mth.ksu.edu http://www.mth.ksu.edu/

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 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

Chapter 4. Additional Variational Concepts

Chapter 4. Additional Variational Concepts Chpter 4 Additionl Vritionl Concepts 137 In the previous chpter we considered clculus o vrition problems which hd ixed boundry conditions. Tht is, in one dimension the end point conditions were speciied.

More information

(9) P (x)u + Q(x)u + R(x)u =0

(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 information

Sturm-Liouville Theory

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 information

The Wave Equation I. MA 436 Kurt Bryan

The 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 information

MATH 174A: PROBLEM SET 5. Suggested Solution

MATH 174A: PROBLEM SET 5. Suggested Solution MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such

More information

Math Theory of Partial Differential Equations Lecture 2-9: Sturm-Liouville eigenvalue problems (continued).

Math 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 information

Properties of the Riemann Integral

Properties of the Riemann Integral Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2

More information

Boundary-value problems

Boundary-value problems 226 Chpter 10 Boundry-vlue problems The initil-vlue problem is chrcterized by the imposition of uxiliry dt t single point: if the eqution is of the nth order, the n otherwise rbitrry constnts in its solution

More information

Consequently, the temperature must be the same at each point in the cross section at x. Let:

Consequently, 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 information

ODE: Existence and Uniqueness of a Solution

ODE: 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 information

Best Approximation. Chapter The General Case

Best 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 information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. 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 information

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly

More information

Abstract inner product spaces

Abstract 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 information

1 1D heat and wave equations on a finite interval

1 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 information

Partial Differential Equations

Partial 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 information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008 Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of

More information

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2. ACM 05: Applied Rel nd Functionl Anlysis. Solutions to Homework # 2. Andy Greenberg, Alexei Novikov Problem. Riemnn-Lebesgue Theorem. Theorem (G.F.B. Riemnn, H.L. Lebesgue). If f is n integrble function

More information

MAA 4212 Improper Integrals

MAA 4212 Improper Integrals Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which

More information

Introduction to the Calculus of Variations

Introduction 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 information

4. Calculus of Variations

4. 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 information

Regulated functions and the regulated integral

Regulated functions and the regulated integral Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed

More information

AMS 212A Applied Mathematical Methods I Lecture 06 Copyright by Hongyun Wang, UCSC. ( ), v (that is, 1 ( ) L i

AMS 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 information

Theoretical foundations of Gaussian quadrature

Theoretical 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 information

Best Approximation in the 2-norm

Best Approximation in the 2-norm Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion

More information

1 E3102: a study guide and review, Version 1.0

1 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 information

MA 201: Partial Differential Equations Lecture - 12

MA 201: Partial Differential Equations Lecture - 12 Two dimensionl Lplce Eqution MA 201: Prtil Differentil Equtions Lecture - 12 The Lplce Eqution (the cnonicl elliptic eqution) Two dimensionl Lplce Eqution Two dimensionl Lplce Eqution 2 u = u xx + u yy

More information

Math 360: A primitive integral and elementary functions

Math 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 information

Calculus of Variations

Calculus of Variations Clculus of Vritions Com S 477/577 Notes) Yn-Bin Ji Dec 4, 2017 1 Introduction A functionl ssigns rel number to ech function or curve) in some clss. One might sy tht functionl is function of nother function

More information

Functional Analysis I Solutions to Exercises. James C. Robinson

Functional Analysis I Solutions to Exercises. James C. Robinson Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,

More information

STUDY GUIDE FOR BASIC EXAM

STUDY GUIDE FOR BASIC EXAM STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There

More information

Part II. Analysis of PDE

Part II. Analysis of PDE Prt II. Anlysis of PDE Lecture notes for MA342H P. Krgeorgis pete@mths.tcd.ie 1/38 Second-order liner equtions Consider the liner opertor L(u) which is defined by L(u) = 1 u xx + 2 u yy +b 1 u x +b 2 u

More information

Applied Partial Differential Equations with Fourier Series and Boundary Value Problems 5th Edition Richard Haberman

Applied 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 information

Chapter 0. What is the Lebesgue integral about?

Chapter 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 information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced 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 information

Lecture 3. Limits of Functions and Continuity

Lecture 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 information

STURM-LIOUVILLE PROBLEMS

STURM-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 information

Inner-product spaces

Inner-product spaces Inner-product spces Definition: Let V be rel or complex liner spce over F (here R or C). An inner product is n opertion between two elements of V which results in sclr. It is denoted by u, v nd stisfies:

More information

In Section 5.3 we considered initial value problems for the linear second order equation. y.a/ C ˇy 0.a/ D k 1 (13.1.4)

In Section 5.3 we considered initial value problems for the linear second order equation. y.a/ C ˇy 0.a/ D k 1 (13.1.4) 678 Chpter 13 Boundry Vlue Problems for Second Order Ordinry Differentil Equtions 13.1 TWO-POINT BOUNDARY VALUE PROBLEMS In Section 5.3 we considered initil vlue problems for the liner second order eqution

More information

Numerical Methods for Partial Differential Equations

Numerical Methods for Partial Differential Equations Numericl Methods for Prtil Differentil Equtions Eric de Sturler Deprtment of Computer Science University of Illinois t Urn-Chmpign 11/19/003 1 00 Eric de Sturler Why More Generl Spces We now provide more

More information

REGULARITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2

REGULARITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2 EGULAITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2 OVIDIU SAVIN AND ENICO VALDINOCI Abstrct. We show tht the only nonlocl s-miniml cones in 2 re the trivil ones for ll s 0, 1). As consequence we obtin tht

More information

1.9 C 2 inner variations

1.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 information

Convex Sets and Functions

Convex Sets and Functions B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

18 Sturm-Liouville Eigenvalue Problems

18 Sturm-Liouville Eigenvalue Problems 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.

More information

Riemann Sums and Riemann Integrals

Riemann 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 information

1.1. Linear Constant Coefficient Equations. Remark: A differential equation is an equation

1.1. Linear Constant Coefficient Equations. Remark: A differential equation is an equation 1 1.1. Liner Constnt Coefficient Equtions Section Objective(s): Overview of Differentil Equtions. Liner Differentil Equtions. Solving Liner Differentil Equtions. The Initil Vlue Problem. 1.1.1. Overview

More information

SOME PROPERTIES OF CHEBYSHEV SYSTEMS

SOME PROPERTIES OF CHEBYSHEV SYSTEMS SOME PROPERTIES OF CHEBYSHEV SYSTEMS RICHARD A. ZALIK Abstrct. We study Chebyshev systems defined on n intervl, whose constituent functions re either complex or rel vlued, nd focus on problems tht my hve

More information

A 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. 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 information

Riemann Sums and Riemann Integrals

Riemann 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 information

MAC-solutions of the nonexistent solutions of mathematical physics

MAC-solutions of the nonexistent solutions of mathematical physics Proceedings of the 4th WSEAS Interntionl Conference on Finite Differences - Finite Elements - Finite Volumes - Boundry Elements MAC-solutions of the nonexistent solutions of mthemticl physics IGO NEYGEBAUE

More information

Variational Formulation of Boundary Value Problems

Variational Formulation of Boundary Value Problems Wht is α =3 Dα u? Chpter 4 Vritionl Formultion of Boundry Vlue Problems 4.1 Elements of Function Spces 4.1.1 Spce of Continuous Functions N is set of non-negtive integers. 1 An n-tuple α =α 1,, α n N n

More information

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Exam 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 information

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam 440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP

More information

u 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

u 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 information

M344 - ADVANCED ENGINEERING MATHEMATICS

M344 - ADVANCED ENGINEERING MATHEMATICS M3 - ADVANCED ENGINEERING MATHEMATICS Lecture 18: Lplce s Eqution, Anltic nd Numericl Solution Our emple of n elliptic prtil differentil eqution is Lplce s eqution, lso clled the Diffusion Eqution. If

More information

Separation of Variables in Linear PDE

Separation of Variables in Linear PDE Seprtion of Vribles in Liner PDE Now we pply the theory of Hilbert spces to liner differentil equtions with prtil derivtives (PDE). We strt with prticulr exmple, the one-dimensionl (1D) wve eqution 2 u

More information

Elliptic Equations. Laplace equation on bounded domains Circular Domains

Elliptic 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 information

Green function and Eigenfunctions

Green 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 information

Three solutions to a p(x)-laplacian problem in weighted-variable-exponent Sobolev space

Three solutions to a p(x)-laplacian problem in weighted-variable-exponent Sobolev space DOI: 0.2478/uom-203-0033 An. Şt. Univ. Ovidius Constnţ Vol. 2(2),203, 95 205 Three solutions to p(x)-lplcin problem in weighted-vrible-exponent Sobolev spce Wen-Wu Pn, Ghsem Alizdeh Afrouzi nd Lin Li Abstrct

More information

Chapter 3. Vector Spaces

Chapter 3. Vector Spaces 3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce

More information

AMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives

AMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives AMATH 731: Applied Functionl Anlysis Fll 214 Additionl notes on Fréchet derivtives (To ccompny Section 3.1 of the AMATH 731 Course Notes) Let X,Y be normed liner spces. The Fréchet derivtive of n opertor

More information

UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY

UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY YIFEI PAN, MEI WANG, AND YU YAN ABSTRACT We estblish soe uniqueness results ner 0 for ordinry differentil equtions of the

More information

Continuous Random Variables

Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht

More information

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson

Convergence 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 information

10 Elliptic equations

10 Elliptic equations 1 Elliptic equtions Sections 7.1, 7.2, 7.3, 7.7.1, An Introduction to Prtil Differentil Equtions, Pinchover nd Ruinstein We consider the two-dimensionl Lplce eqution on the domin D, More generl eqution

More information

Conservation Law. Chapter Goal. 5.2 Theory

Conservation 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 information

Hilbert Spaces. Chapter Inner product spaces

Hilbert Spaces. Chapter Inner product spaces Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,

More information

Generalizations of the Basic Functional

Generalizations of the Basic Functional 3 Generliztions of the Bsic Functionl 3 1 Chpter 3: GENERALIZATIONS OF THE BASIC FUNCTIONAL TABLE OF CONTENTS Pge 3.1 Functionls with Higher Order Derivtives.......... 3 3 3.2 Severl Dependent Vribles...............

More information

The Basic Functional 2 1

The Basic Functional 2 1 2 The Bsic Functionl 2 1 Chpter 2: THE BASIC FUNCTIONAL TABLE OF CONTENTS Pge 2.1 Introduction..................... 2 3 2.2 The First Vrition.................. 2 3 2.3 The Euler Eqution..................

More information

II. Integration and Cauchy s Theorem

II. Integration and Cauchy s Theorem MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.

More information

Math Lecture 23

Math Lecture 23 Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of

More information

DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp Natalija Sergejeva. Department of Mathematics and Natural Sciences Parades 1 LV-5400 Daugavpils, Latvia

DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp Natalija Sergejeva. Department of Mathematics and Natural Sciences Parades 1 LV-5400 Daugavpils, Latvia DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 920 926 ON THE UNUSUAL FUČÍK SPECTRUM Ntlij Sergejev Deprtment of Mthemtics nd Nturl Sciences Prdes 1 LV-5400

More information

On the Continuous Dependence of Solutions of Boundary Value Problems for Delay Differential Equations

On the Continuous Dependence of Solutions of Boundary Value Problems for Delay Differential Equations Journl of Computtions & Modelling, vol.3, no.4, 2013, 1-10 ISSN: 1792-7625 (print), 1792-8850 (online) Scienpress Ltd, 2013 On the Continuous Dependence of Solutions of Boundry Vlue Problems for Dely Differentil

More information

Section 3.2 Maximum Principle and Uniqueness

Section 3.2 Maximum Principle and Uniqueness Section 3. Mximum Principle nd Uniqueness Let u (x; y) e smooth solution in. Then the mximum vlue exists nd is nite. (x ; y ) ; i.e., M mx fu (x; y) j (x; y) in g Furthermore, this vlue cn e otined y point

More information

f(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

f(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 information

3 Mathematics of the Poisson Equation

3 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 information

Quantum Physics II (8.05) Fall 2013 Assignment 2

Quantum Physics II (8.05) Fall 2013 Assignment 2 Quntum Physics II (8.05) Fll 2013 Assignment 2 Msschusetts Institute of Technology Physics Deprtment Due Fridy September 20, 2013 September 13, 2013 3:00 pm Suggested Reding Continued from lst week: 1.

More information

Problem Set 4: Solutions Math 201A: Fall 2016

Problem Set 4: Solutions Math 201A: Fall 2016 Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true

More information