Abstract inner product spaces


 Amberly Hunter
 3 years ago
 Views:
Transcription
1 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 following properties hold: IP) (ũ, ṽ) (ṽ, ũ) for ll ũ, ṽ V ; IP) (ũ + ṽ, w ) (ũ, w ) + (ṽ, w ) for ll ũ, ṽ w V ; IP3) (kũ, ṽ) k(ũ, ṽ) for ll ũ, ṽ V nd ll k R; IP4) (ũ, ũ) for ll ũ V, nd if (ũ, ũ) then ṽ The sclr (u, v) is clled the inner product of the vectors u nd v It ws pointed out in Lecture 6 tht if A is ny n n symmetric mtrix with positive eigenvlues, then the rule (ũ, ṽ) ũ T Aṽ defines n inner product on R n In the cse tht A is the identity mtrix then this construction gives the stndrd inner product on R n ; tht is, the dot product Now consider C[, b], the spce of continuous functions from the intervl [, b] to R, nd for f, g C[, b] define (f, g) f(x)g(x) dx Checking tht (IP), (IP) nd (IP3) re stisfied is quite strightforwrd For exmple, if f, g nd h re rbitrry elements of C[, b], then (f + g, h) (f + g)(x) h(x) dx f(x)h(x) + g(x)h(x) dx (f(x) + g(x))h(x) dx f(x)h(x) dx + which shows tht (IP) holds The first prt of (IP4) is lso cler: (f, f) f(x) dx g(x)h(x) dx (f, h) + (g, h), is obviously nonnegtive The other ssertion of (IP4) tht (f, f) implies f is lso intuitively resonble: if f(x) is nonzero t ny point in the intervl [, b], then continuity of f gurntees tht there is some subintervl of [, b] nd some α > such tht f(x) > α t ll points of this subintervl, nd it follows tht f(x) dx > We omit further detils of the proof, since the clculus involved is somewht removed from the topics tht re the min focus of this course We cn lso use the formul f(x)g(x) dx to define n inner product on P[, b], the polynomil functions on [, b] (which is subspce of C[, b]) If V is n inner product spce nd f V, then, s in R n, we define f (f, f), nd cll this the length of f The CuchySchwrz Inequlity sys tht (f, g) f g for ll f, g V, nd the proof of this inequlity for inner product spces in generl is just the sme s its proof in R n, since the proof uses nothing beyond the properties
2 (IP) (IP4) As in R n, we define the ngle between elements f nd g of n inner product spce to be rccos((f, g)/ f g ) We sy tht f nd g re orthogonl if (f, g) Pythgors Theorem holds for ny inner product spce, nd is proved in the sme wy s it is for R n And our discussion of projections lso goes through unchnged Exmple Let f, f nd f 3 be the functions [, ] R defined by f (x), f (x) x, f 3 (x) 6x + 6x These form n orthogonl set in P[, ] To see this, we must check tht (f, f ), (f, f 3 ) nd (f, f 3 ) re ll zero We hve (f, f ) (f, f 3 ) (f, f 3 ) s required ( x) dx x x ], ( 6x + 6x ) dx x 3x + x 3] ( x)( 6x + 6x ) dx, 8x + 8x x 3 ) dx x 4x + 6x 3 3x 4], Projections in inner product spces Let {ã, ã,, ã k } be bsis for finitedimensionl subspce W of n inner product spce V For ech ṽ V there is unique W with the property tht (x, ṽ p ) for ll W ; tht is, ṽ is orthogonl p to ll elements of W The element is clled the x projection of ṽ onto p W The condition tht (x, ṽ p ) for ll W cn p be reformulted s (x, ṽ) (x, p ) for ll W, nd this in turn is equivlent to x the condition tht (ã x i, ṽ) (ã i, p ) for ll i,,, k We my write s liner combintion of the bsis elements of W, p λ ã + λ ã + + λ k ã k, () p nd then the condition becomes (ã, ṽ) (ã, p ) (ã, λ ã + λ ã + + λ k ã k ) (ã, ṽ) (ã, p ) (ã, λ ã + λ ã + + λ k ã k ) (ã k, ṽ) (ã k, p ) (ã k, λ ã + λ ã + + λ k ã k ) (ã, ã )λ + (ã, ã )λ + + (ã, ã k )λ k (ã, ã )λ + (ã, ã )λ + + (ã, ã k )λ k (ã k, ã )λ + (ã k, ã )λ + + (ã k, ã k )λ k (ã, ã ) (ã, ã ) (ã, ã k ) λ (ã, ã ) (ã, ã ) (ã, ã k ) λ (ã k, ã ) (ã k, ã ) (ã k, ã k ) λ k
3 In other words, we cn find by solving the system of liner equtions p λ (ã, ṽ) λ G (ã, ṽ), λ k (ã k, ṽ) where the mtrix G is the Grm mtrix of the bsis {ã, ã,, ã k }, nd then is given by Eq () bove p The bove clcultion is essentilly the sme s clcultion we did when discussing projections in the context of R n in the first week of lectures The formul bove is the sme s the formul we derived then, since the mtrix G bove coincides with the mtrix A T A tht we hd before As in R n, projections become simpler when orthogonl bses re used So you should generlly not use the bove formul to compute projections Insted, first pply the Grm Schmidt process to obtin n orthogonl bsis {b, b,, b k} for the subspce W, nd then use the formul p (b, ṽ) (b, b ) b + (b, ṽ) (b, b ) b + + (b k, ṽ) (b k, b k) b k () to compute the projection of ṽ onto W Remember tht Eq () is only vlid when the bsis {b, b,, b k} is othogonl! Legendre polynomils by Let C be the spce of continuous functions [, ] R, with inner product defined (f, g) f(x)g(x) dx Let f, f, f,, f k C be defined by f n (x) x n for ll x [, ], nd let P k be the subspce of C spnned by f, f,, f k Tht is, P k is the subspce of C given by polynomil functions of degree t most k Given continuous function f: [, ] R, the projection of f onto P k is the polynomil function of degree t most k tht is the best pproximtion to f on [, ], in the lest squres sense: it gives the miniml vlue for (f(x) p(x)) dx, subject to p being polynomil of degree t most k As explined bove, for the purpose of computing such projections conveniently, we need n orthogonl bsis for P k To obtin one, we pply the GrmSchmidt process, strting with the bsis {f, f,, f k } The formuls re s follows: g f g f (f, g ) (g, g ) g g f (f, g ) (g, g ) g (f, g ) (g, g ) g g 3 f 3 (f 3, g ) (g, g ) g (f 3, g ) (g, g ) g (f 3, g ) (g, g ) g 3
4 nd so on Let us compute these Firstly, we hve (f, g ) nd so it follows tht g f Next, (f, g ) (g, g ) (f, g ) (g, g ) x dx x] x dx 3 x3] ] dx x x x dx 4 x4] x dx 3,, 3 nd so Similrly, we find tht nd this gives g f (/3) g (/3) g f 3 g (f 3, g ) (f 3, g ) (f 3, g ) x 3 dx x 4 dx 5 x 3 (x 3 ) dx, g 3 f 3 g (/5) (/3) g g f g Students re invited to compute further terms for themselves The polynomils we hve been clculting re known s Legendre polynomils Expressed in terms of x, the first few re s follows: g (x) g (x) x g (x) x 3 g 3 (x) x x g 4 (x) x x g 5 (x) x 5 9 x3 + 5 x g 6 (x) x 6 5 x4 + 5 x 5 3 4
5 Strictly speking, the Legendre polynomils re not these, but sclr multiples of these, the sclrs being chosen so tht the polynomils tke the vlue t x Performing this scling gives P (x) P (x) x In fct, the generl formul is but we shll not prove this P (x) (3x ) P 3 (x) (5x3 3x) P 4 (x) 8 (35x4 3x + 3) P 5 (x) 8 (63x5 7x 3 + 5x) P 6 (x) 6 (3x6 35x 4 + 5x 5) P n (x) [n/] k () k (n k)! n k!(n k)!(n k)! xn k, Here is some MAGMA code for clculting Legendre polynomils It utilizes the MAGMA functions Integrl nd Evlute: if f is polynomil in x then Integrl(f) is the polynomil with zero constnt term whose derivtive is f; if f is polynomil in x nd t number then Evlute(f,t) is the number obtined by evluting f when x is given the vlue t (It is f(t), so to spek, lthough f(t) is not correct MAGMA syntx) > R : RelField(); > P<x> : PolynomilAlgebr(R); > polyip : func< f,g Evlute(Integrl(f*g),)  > Evlute(Integrl(f*g),) >; > // > // So polyip(f,g) is the integrl of f*g from  to, > // which is exctly the inner product of f nd g > // > f : []; > for i in [6] do for> f[i+] : x^i; for> end for; > f; [ x x^ x^3 x^4 x^5 x^6 ] 5
6 > g : [ ]; > for i in [6] do for> g[i+]:f[i+]; for> for j in [i] do for for> g[i+] : g[i+]  (polyip(g[i+],g[j])/ for for> polyip(g[j],g[j]))*g[j]; for for> end for; for> end for; > g; [, x, x^  /3, x^33/5*x, x^46/7*x^ + 3/35, x^5  /9*x^3 + 5/*x, x^65/*x^4 + 5/*x^  5/3 ] > q:[ ]; > for i in [7] do for> q[i] : g[i]/evlute(g[i],); > end for; >q; [, x, 3/*x^  /, 5/*x^33/*x, 35/8*x^45/4*x^ + 3/8, 63/8*x^535/4*x^3 + 5/8*x, 3/6*x^635/6*x^4 + 5/6*x^  5/6 ] Exmple Let us use the orthogonl bsis {g, g, g } to compute the projection onto the spce W of the function f: [, ] R given by f(x) e x (for ll x [, ]) By the formul, the projection p is given by p (f, g ) (g, g ) g + (f, g ) (g, g ) g + (f, g ) (g, g ) g This formul, of course, is only pplicble since the g i form n orthogonl set We need to clculte few integrls: (f, g ) (f, g ) (f, g ) e x dx e x] e e, e x x dx xe x e x] e, e x (x 3 ) dx x e x xe x ex] 6 3 e 4 3 e
7 We found bove tht (g, g ) nd (g, g ) 3, nd we lso need (g, g ) The finl nswer is (x 3 ) dx 8 45 p(x) e e + e (/3)e (4/3)e x + (x (/3) (8/45) 3 ) x + 537x Note tht the Tylor series for e x bout x is + x + x + 6 x3 +, nd in prticulr the polynomil we hve found is not much different from the degree Tylor polynomil, + x + x The difference is due to the fct tht the ccurcy of the Tylor polynomil s n pproximtion to e x improves the closer x is to zero, wheres the lest squres pproximtion gives equl weight to ll vlues of x in the intervl [, ] Fourier series Let C[, π] be the spce of continuous functions [, π] R, with inner product (f, g) f(x)g(x) dx Let c, c, c, nd s, s, be the elements of C[, π] defined by c n (x) cos(nx) s n (x) sin(nx) for x in the intervl [, π] Note tht s n is not defined for n, while c is the constnt function c (x) (since cos(x) cos for ll x) To compute inner products involving these, we need to use some stndrd trigonometric identities For ll nonnegtive integers n nd m, (s n, c m ) sin(nx) cos(mx) dx (sin(n + m)x sin(n m)x) dx ( n+m cos(n + m)x n m cos(n m)x) ( m cos(m x)) if n m if n m since the term sin(n m)x vnishes when n m The crucil point to observe now is tht, by the periodicity of the cosine function, cos(kx) tkes the sme vlue t x s t x π, whenever k is n integer So in both cses the bove integrl vnishes, nd 7
8 we deduce tht (s n, c m ) Similrly, if n, m re positive integers, (s n, s m ) sin(nx) sin(mx) dx (cos(n m)x cos(n + m)x) dx ( n m sin(n m)x n+m sin(n + m)x) (x m sin(m x)) { if n m π if n m, if n m if n m where gin the periodicity of the sin function simplifies the clcultions (Note tht in the cse n m bove the term cos(n m)x becomes simply cos, nd integrting this gives x The formul n m sin(n m)x for the integrl of cos(n m)x is not vlid when n m, but it is vlid for ll other vlues of n nd m) The clcultion of (c n, c m ), when n nd m re positive integers, is nlogous to the clcultion of (s n, s m ): (c n, c m ) cos(nx) cos(mx) dx (cos(n m)x + cos(n + m)x) dx ( n m sin(n m)x + n+m sin(n + m)x) (x + m sin(m x)) { if n m π if n m if n m if n m When n nd m re both zero the bove clcultion does not pply (becuse of the n+m ), nd in fct (c, c ) dx π These clcultions hve shown, in prticulr, tht {c, s, c, s, c, s 3, c 3,, s k, c k } is n orthogonl set in C[, π] (for ny vlue of k) If we define W k to be the subspce spnned by this set, then we cn clculte the projection of ny f C[, π] onto this subspce by mens of the generl formuls we hve obtined Specificlly, if p is the projection of f then p is given by the formul p (f, c ) (c, c ) c + (f, s ) (s, s ) s + (f, c ) (c, c ) c + + (f, c k) (c k, c k ) c k In view of the formuls for (c n, c n ) nd (s n, s n ) this yields, for ll x [, π], p(x) ( π ( + π ) ( f(t) dt + π ) f(t) sin(t) dt ) ( f(t) sin t dt sin x + π ( sin(x) + + π 8 ) f(t) cos t dt cos x ) f(t) cos(kt) dt cos(kx)
9 This is the best pproximtion in the lest squres sense to the function f on the intervl [, π] by function in the subspce W k The lrger k is, the better the pproximtion Letting k tend to yields n infinite series known s the Fourier series of f Exmple 3 Let us find the Fourier series for the function f(x) x on the intervl [, π] It is useful to remember tht if function g hs the property tht g( x) g(x) for ll x [, ], then g(x) dx In prticulr, the function g defined by g(x) x cos(nx) hs this property (for ny vlue of n), nd so x cos(nx) dx Thus the coefficient of cos nx in the Fourier series of x is zero for ll n The coefficient of sin(nx) is π π x sin(nx) dx π ( xn cos(nx) n ( x πn cos(nx) + πn sin(nx) ) cos(nπ) + πn πn cos(n()) ()n+ n So the Fourier series of x on [, π] is ) cos(nx) dx (sin x sin(x) + 3 sin(3x) 4 sin(4x) + 4 sin(5x) ) It cn be shown tht this series converges to x when x [, π] When x / [, π] the series still converges, but, rther thn x, the limit is x kπ, where k is defined by the requirement tht x kπ [, π] We conclude the section of the course on inner product spces with two more exmples of clcultions with spces of continuous functions The first of these ws done incorrectly in lectures: I indvertently omitted couple of squre root signs, so tht the quntities which I sid were the length of f nd the length of g were in fct the squres of these lengths Exmple 4 We verify the CuchySchwrz inequlity for the functions f(x) x nd g(x) e x in C[, ] Recll tht the CuchySchwrz inequlity sys tht (fg) f g 9
10 Verifying this for f nd g s given is simply mtter of evluting some integrls: f ] (f, f) x dx 3 x3 8 3, g ] (g, g) e x dx ex (e4 ), (f, g) ( xe x ) dx xe x + e x ] (e e ) e e Thus (f, g) + e 4 839, which is less thn f g 3 (e4 ) 845 Note tht, by definition, the ngle between f nd g is cos ( (f,g) f g ), lthough this (f,g) quntity hs no geometricl interprettion In this cse f g is firly close to, nd so the ngle is firly close to zero In fct it is pproximtely 7 rdins, or 79 degrees Exmple 5 For our finl exmple we compute the best pproximtion to cos x in P [, π] (the spce of polynomil functions of degree t most on the intervl [, π] The necessry first step is to find n orthogonl bsis for P [, π] We do this by pplying the GrmSchmidt process to the bsis {f, f, f }, where f i (x) x (for ll x [, ]) This is very similr to the clcultion of the Legendre polynomils, but the numbers come out differently since we re working over different intervl now The new bsis is g f g f (f, g ) (g, g ) g g f (f, g ) (g, g ) g (f, g ) (g, g ) g We hve (f, g ) x dx, nd so g f Now Thus (f, g ) (f, g ) (g, g ) x dx 3 π3, x 3 dx, dx π g f (/3)π3 g f π π 3 g, so tht g (x), g (x) x nd g (x) x π 3, for ll x [, π] Since {g, g, g } is n orthogonl bsis for the spce, the projection of cos onto this spce is given by (cos, g ) (g, g ) g + (cos, g ) (g, g ) g + (cos, g ) (g, g ) g
11 We find tht (cos, g ) cos x dx sin x And (cos, g ) x cos x dx, since the function f(x) x cos x stisfies f( x) f(x) for ll x [, π] Now nd we lso hve tht (cos, g ) (g, g ) (cos x)(x π 3 ) dx x (cos x) dx x (sin x) x(sin x) dx x (sin x) ( x(cos x) + x (sin x) + x(cos x) (sin x) π() ()() 4π, (cos x) dx ) x 4 π 3 x + π4 9 dx 5 π5 4 9 π5 + 9 π π5 4π So the projection of cos onto P [, π] is (8/45)π (x π 5 3 ) 45 π (x π 4 3 ) The digrm below is firly ccurte grph of cos nd its projection
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 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 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 informationBest Approximation in the 2norm
Jim Lmbers MAT 77 Fll Semester 111 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 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 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 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 informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
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 informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationAM1 Mathematical Analysis 1 Oct Feb Exercises Lecture 3. sin(x + h) sin x h cos(x + h) cos x h
AM Mthemticl Anlysis Oct. Feb. Dte: October Exercises Lecture Exercise.. If h, prove the following identities hold for ll x: sin(x + h) sin x h cos(x + h) cos x h = sin γ γ = sin γ γ cos(x + γ) (.) sin(x
More informationChapter 28. Fourier Series An Eigenvalue Problem.
Chpter 28 Fourier Series Every time I close my eyes The noise inside me mplifies I cn t escpe I relive every moment of the dy Every misstep I hve mde Finds wy it cn invde My every thought And this is why
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationDEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.
398 CHAPTER 11 ORTHOGONAL FUNCTIONS AND FOURIER SERIES 11.1 ORTHOGONAL FUNCTIONS REVIEW MATERIAL The notions of generlized vectors nd vector spces cn e found in ny liner lger text. INTRODUCTION The concepts
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationOrthogonal Polynomials
Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 200910 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationn f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1
The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the
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 informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More information1. GaussJacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. GussJcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
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 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 relvlues nd smooth The pproximtion of n integrl by numericl
More informationMATH 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 relvlued function on I), nd let L 1 (I) denote the completion
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion  re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
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 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 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 informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion  re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
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 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 informationInnerproduct spaces
Innerproduct 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 informationLecture 6: Singular Integrals, Open Quadrature rules, and Gauss Quadrature
Lecture notes on Vritionl nd Approximte Methods in Applied Mthemtics  A Peirce UBC Lecture 6: Singulr Integrls, Open Qudrture rules, nd Guss Qudrture (Compiled 6 August 7) In this lecture we discuss the
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
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 informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
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 informationMath 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, 25pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationSection 7.1 Integration by Substitution
Section 7. Integrtion by Substitution Evlute ech of the following integrls. Keep in mind tht using substitution my not work on some problems. For one of the definite integrls, it is not possible to find
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationSYDE 112, LECTURES 3 & 4: The Fundamental Theorem of Calculus
SYDE 112, LECTURES & 4: The Fundmentl Theorem of Clculus So fr we hve introduced two new concepts in this course: ntidifferentition nd Riemnn sums. It turns out tht these quntities re relted, but it is
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 informationChapter 3 Polynomials
Dr M DRAIEF As described in the introduction of Chpter 1, pplictions of solving liner equtions rise in number of different settings In prticulr, we will in this chpter focus on the problem of modelling
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More informationMath 473: Practice Problems for the Material after Test 2, Fall 2011
Mth 473: Prctice Problems for the Mteril fter Test, Fll SOLUTION. Consider the following modified het eqution u t = u xx + u x. () Use the relevnt 3 point pproximtion formuls for u xx nd u x to derive
More informationk and v = v 1 j + u 3 i + v 2
ORTHOGONAL FUNCTIONS AND FOURIER SERIES Orthogonl functions A function cn e considered to e generliztion of vector. Thus the vector concets like the inner roduct nd orthogonlity of vectors cn e extended
More informationOrthogonal Polynomials and LeastSquares Approximations to Functions
Chpter Orthogonl Polynomils nd LestSqures Approximtions to Functions **4/5/3 ET. Discrete LestSqures Approximtions Given set of dt points (x,y ), (x,y ),..., (x m,y m ), norml nd useful prctice in mny
More informationMA 124 January 18, Derivatives are. Integrals are.
MA 124 Jnury 18, 2018 Prof PB s oneminute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,
More informationOverview of Calculus I
Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,
More informationDefinition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim
Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)
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 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 informationP 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)
1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS MATH00030 SEMESTER 208/209 DR. ANTHONY BROWN 7.. Introduction to Integrtion. 7. Integrl Clculus As ws the cse with the chpter on differentil
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 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 information( dg. ) 2 dt. + dt. dt j + dh. + dt. r(t) dt. Comparing this equation with the one listed above for the length of see that
Arc Length of Curves in Three Dimensionl Spce If the vector function r(t) f(t) i + g(t) j + h(t) k trces out the curve C s t vries, we cn mesure distnces long C using formul nerly identicl to one tht we
More informationCalculus III Review Sheet
Clculus III Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
More information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the xxis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly welldefined, is too restrictive for mny purposes; there re functions which
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 informationChapter 6 Notes, Larson/Hostetler 3e
Contents 6. Antiderivtives nd the Rules of Integrtion.......................... 6. Are nd the Definite Integrl.................................. 6.. Are............................................ 6. Reimnn
More informationNOTES ON HILBERT SPACE
NOTES ON HILBERT SPACE 1 DEFINITION: by Prof CI Tn Deprtment of Physics Brown University A Hilbert spce is n inner product spce which, s metric spce, is complete We will not present n exhustive mthemticl
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 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 informationNumerical integration
2 Numericl integrtion This is pge i Printer: Opque this 2. Introduction Numericl integrtion is problem tht is prt of mny problems in the economics nd econometrics literture. The orgniztion of this chpter
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 informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixedpoint itertion to converge when solving the eqution
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 information3.4 Numerical integration
3.4. Numericl integrtion 63 3.4 Numericl integrtion In mny economic pplictions it is necessry to compute the definite integrl of relvlued function f with respect to "weight" function w over n intervl [,
More informationDiscrete Leastsquares Approximations
Discrete Lestsqures Approximtions Given set of dt points (x, y ), (x, y ),, (x m, y m ), norml nd useful prctice in mny pplictions in sttistics, engineering nd other pplied sciences is to construct curve
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
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 informationCAAM 453 NUMERICAL ANALYSIS I Examination There are four questions, plus a bonus. Do not look at them until you begin the exam.
Exmintion 1 Posted 23 October 2002. Due no lter thn 5pm on Mondy, 28 October 2002. Instructions: 1. Time limit: 3 uninterrupted hours. 2. There re four questions, plus bonus. Do not look t them until you
More information1 The Lagrange interpolation formula
Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x
More informationFundamental Theorem of Calculus
Fundmentl Theorem of Clculus Recll tht if f is nonnegtive nd continuous on [, ], then the re under its grph etween nd is the definite integrl A= f() d Now, for in the intervl [, ], let A() e the re under
More informationNumerical Integration
Chpter 5 Numericl Integrtion Numericl integrtion is the study of how the numericl vlue of n integrl cn be found. Methods of function pproximtion discussed in Chpter??, i.e., function pproximtion vi the
More informationHilbert 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 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 informationSections 5.2: The Definite Integral
Sections 5.2: The Definite Integrl In this section we shll formlize the ides from the lst section to functions in generl. We strt with forml definition.. The Definite Integrl Definition.. Suppose f(x)
More informationAP Calculus Multiple Choice: BC Edition Solutions
AP Clculus Multiple Choice: BC Edition Solutions J. Slon Mrch 8, 04 ) 0 dx ( x) is A) B) C) D) E) Divergent This function inside the integrl hs verticl symptotes t x =, nd the integrl bounds contin this
More informationTHE EXISTENCEUNIQUENESS THEOREM FOR FIRSTORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCEUNIQUENESS THEOREM FOR FIRSTORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrdlindeloftheorem/ This document is proof of the existenceuniqueness theorem
More informationSturmLiouville 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 informationMath 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 informationAntiderivatives/Indefinite Integrals of Basic Functions
Antiderivtives/Indefinite Integrls of Bsic Functions Power Rule: In prticulr, this mens tht x n+ x n n + + C, dx = ln x + C, if n if n = x 0 dx = dx = dx = x + C nd x (lthough you won t use the second
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 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 informationChapter 8: Methods of Integration
Chpter 8: Methods of Integrtion Bsic Integrls 8. Note: We hve the following list of Bsic Integrls p p+ + c, for p sec tn + c p + ln + c sec tn sec + c e e + c tn ln sec + c ln + c sec ln sec + tn + c ln
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 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 informationF (x) dx = F (x)+c = u + C = du,
35. The Substitution Rule An indefinite integrl of the derivtive F (x) is the function F (x) itself. Let u = F (x), where u is new vrible defined s differentible function of x. Consider the differentil
More informationAMATH 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 information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More information