Numerical Methods for Partial Differential Equations

Size: px
Start display at page:

Download "Numerical Methods for Partial Differential Equations"

Transcription

1 Numericl Methods for Prtil Differentil Equtions Eric de Sturler Deprtment of Computer Science University of Illinois t Urn-Chmpign 11/19/ Eric de Sturler

2 Why More Generl Spces We now provide more forml frmewor for the pproximtion of solutions of PDEs nd the solution to certin minimiztion prolems. First we need to extend the spce of functions over which we wor (sy C [, ] for one-dimensionl second order equtions). 1. Mny useful prolems do not hve C solution. Approximtion over suspce of sis functions (sy, piecewise polynomils) my not esily give pproximtion tht is C. 3. Useful to define est pproximte solution using orthogonl projection, which in turn requires the spce to e complete. First we need to introduce numer of concepts. 11/19/ Eric de Sturler

3 The Spce L { } Define the spce L [, ] = f :[, ] R f dx < with inner product uv, Here = uvdxnd norm ( ) 1 u u dx =. dx denotes Leesgue integrl, which is more generl thn the Riemnn integrl, ut yields the sme vlue when the Riemnn integrl is defined. A consequence of the ove choice for norm nd spce is tht ( u v) dx = 0 u = v even when u( x) = v( x) is not true for ll x [, ]. Such u nd v re memers of equivlence clss. 11/19/ Eric de Sturler

4 The Spce Consider ( = 0, = 1), u : x x 0 if x 1 Then, u v = 1 1 if x =., nd v : x x if x 0 if x = However, ( u v ) dx = 0dx + 0dx = So, s elements of L we hve u We sy u = v lmost everywhere (.e.) 1 = v even if u( 1 ) ( 1 ) v. 11/19/ Eric de Sturler

5 The Spce Functions re equl if they differ (only) on set of mesure zero. Any denumerle (countle) set hs mesure zero. Let u( x) = 1 x [, ] nd v( x) Then ( u v) dx = 0 x, x Q = 1, x [, ] \ Q. Agin, s elements of L we hve u = v even though u v for every x Q. The functions u nd v re lso sid to e memers of the sme equivlence clss. In generl, we represent n equivlence clss of functions y its smoothest memer. 11/19/ Eric de Sturler

6 The Spce Verify tht uv, nd u for ll uv, L [, ] stisfy the properties for (rel) inner product nd norm, nd L [ ] is vector spce., For ny H C : H( x) > 0 we cn define the H-inner product uv, H = Huvdxnd H-norm ( ) 1 u = Hu dx. uv, = vu, u 0 αuv, = α uv, u = 0 u = 0 uu, 0 αu = α u uu, = 0 if nd only if u= 0 u + v u + v H 11/19/ Eric de Sturler

7 Completeness Sequence ui L [, ], i = 1,,, converges in the men (L - norm) to u L [ ] if lim u u = 0., n This is not the sme s pointwise convergence: lim u ( ) ( ) n x = u x for ll x [, ]. n Sequence is Cuchy sequence if lim u u 0, or,, N() : m, n N um un n mn ε ε > < ε. m n If every Cuchy sequence converges to limit (tht is in the spce) we sy the spce is complete. 11/19/ Eric de Sturler

8 Hilert Spces If vector spce with n inner product nd norm is complete with respect to this norm we cll such spce Hilert spce. L [, ] with inner product, Hilert spce. uvdx, nd norm ( ) 1 udx is { } As we will show lter V = w C [, ] w( ) = w( ) = 0 is not Hilert spce with respect to this norm or the energy norm. 11/19/ Eric de Sturler

9 Liner Functionls Liner functionl is mpping ϕ : L [, ] R such tht uv, L[, ] nd αβ, R : ϕ( αu+ βv) = αϕ( u) + βϕ( v). The functionl is ounded if α > 0: ϕ( u) α u, u L [, ]. Exmple: ϕ ( u) = u, u0 for ritrry (ut constnt) u0 L [, ]. Linerity follows from properties inner product nd oundedness from the Cuchy-Schwrz inequlity: ϕ ( u) = u, u u u. 0 0 Riesz Representtion Theorem: Let ϕ ( u) e ounded liner functionl over L [, ]. Then u0 L [, ] such tht ϕ ( u) = u, u0 for ll u L [, ]. (extends to ounded liner functionl on ny Hilert spce) 11/19/ Eric de Sturler

10 The Liner Alger of PDEs f u = 1 1 p x ux + q x u g x udx with u V = w C [, ] w( ) = w( ) = 0. Note V = V. Consider ( ) ( ) ( ) ( ) { } Here p C 1 [, ], q, g C[, ], 0 < p0 p p1 nd 0 q q1 for x [, ]. Furthemore, p0, p1, q 1 re constnts. Let ( u, v) = puxvx + quvdx nd G( u) = gudx. ( u, v ) is symmetric iliner form, G( u ) is ounded liner functionl. 11/19/ Eric de Sturler

11 The Liner Alger of PDEs Given ( u, v ) nd G( u ) we cn write f ( u) = 1 ( u, u) G( u). Let η = 1 nd τ R. Then 1 1 f ( u + τη) = ( u, u) + τ( u, η) + τ ( η, η) G( u) τg( η) ; 1 f ( u + τη) = f ( u) + τ ( ( u, η) G( η) ) + τ ( η, η). So, () 1 f ( u; η ) = ( u, η ) G ( η ), f u, η = η, η > 0 (verify), () ( ) ( ) ( 3 ) ( η) ( 4 ) ( η) f u, = f u, = 0 nd sme for higher derivtives. 11/19/ Eric de Sturler

12 The Liner Alger of PDEs () 1 f ( u η) ( u η) G( η) η = ), implies ( u, η) G( η) The condition ( 1 ; =, = 0 for ll unit η V = for ll unit η V. This corresponds to pu η + qu η dx = g η dx x x for ll unit η V. (we form) Integrtion y prts gives ( pu x ) qu η dx g η dx + = x, pu + qu = g. which leds to the EL, ( ) x x 11/19/ Eric de Sturler

13 The Liner Alger of PDEs Define the opertor L : V C[, ] Lu = pu + qu. : ( ) x x x x, Note tht (, ) = ( ) + = ( ) u η pu qu ηdx Lu ηdx nd tht L is symmetric nd liner (verify). Liewise G( η) ( ) ( ) = gηdx. u, η = G η Lu, η g, η = 0 Lu g, η = 0 Since Lu g is continuous we must hve Lu = g. (, ) ( ) x x for ll V u η = G η pu η + qudx = gηdx This is the we form of the PDE. η. 11/19/ Eric de Sturler

14 The Liner Alger of PDEs Note tht ( u, η ) defines n inner product nd (hence) ( u, u ) 1 () defines norm. Therefore, f ( u; η) = ( η, η) > 0. From PDE theory we now tht the prolem Lu = g with u ( ) = u ( ) = 0 (nd under given conditions) hs unique solution û V. f ( uˆ+ η) = f ( uˆ ) + ( u, η) G( η) + 1 ( ηη, ) = f ( uˆ) + 1 ( ηη, ) > f ( uˆ) for ll η V, η 0. So, û is unique, strong, glol minimizer. 11/19/ Eric de Sturler

15 The Liner Alger of PDEs { } The spce V = w C [, ] w( ) = w( ) = 0 is not complete with respect to energy- or L-norm; so, it s not Hilert spce. So, we cnnot formlly do in Prolems (formlly): C wht we hve done so fr. u g xx = g nd u ( ) = u ( ) = 0, (solution û ) g which is discontinuous: u u C [, ]. Best pproximtion in spce of sis functions with locl support is not well-defined. It requires orthogonl projection nd completeness: Hilert spce. 11/19/ Eric de Sturler

16 Completion Process of completion, expnd the spce of dmissle functions V to lrger set V, such tht 1. We cn pproximte every element of V ritrrily closely y n element of V. The solution û of Lu = g with u ( ) = u ( ) = 0 is unique solution to vritionl prolem u V, s.t. ( u, η) = G( η) for ll η V 3. min f ( u) = min f ( u) = f ( uˆ ) u V u V We will see tht V contins much rougher functions thn V. 11/19/ Eric de Sturler

17 Preliminries L [, ] is complete (with given norm): lim u u = 0 u L : lim u u 0 nm, m n n n The right hnd side mens u n u (in terms of equivlence clss) Theorem: For ll u C 1 [, ], v( ) = 0: u', u ' uu, ( ). Define uv, = ( uv, ) nd u (, ) 1 L L = u u These re the energy inner product nd norm. 11/19/ Eric de Sturler

18 Let { un } n 1 Completion V hve Cuchy property: lim u 0 = m un. mn, L u L = pu', u' + qu, u p0 u', u' = p0 ( u', u' + u', u' ) = p0 p0 u' + u ( ) ( u' u ) ρ + for ll u V. + for { 1 ρ = p ( ) } 0 min, nd So, ( u ' ) L ρ u u u V 11/19/ Eric de Sturler

19 Completion Let { un } n 1 V hve Cuchy property: lim u u 0. =, mn Now, ( u ) m un ρ u m u n um un + nd L m n L ( ) lim u u 0 lim ρ u u + u u = 0 m n m n m n mn, L mn, Hence, lim u u = 0 nd mn, m n lim u u = 0 (Cuchy!). mn, m n such tht lim u u = 0 nd lim u u = 0 L complete implies there exist uu, L n n n We cll ũ the generlized derivtive of u. V is spce of ll functions u tht cn e otined in this wy. n 11/19/ Eric de Sturler

20 Completion Since the energy inner product nd norm re defined over L, the existence of uu, L implies tht L is lso complete in this norm. Under ssumptions given, we now Lu = g with u ( ) = u ( ) = 0 hs solution u V V. So, there is no prolem stting u V s.t. u ( ) = u ( ) = 0 nd Lu g, η = 0 η V (prolem posed in V ). Using uniqueness of qudrtic prolem it is esy to see tht the solution in V is only solution. (ut now the underlying mthemtics is properly defined) In ddition we cn solve more generl prolems in we form. 11/19/ Eric de Sturler

21 Let uu, L with ũ the generlized derivtive of u. In ddition, let u u n 0 nd u u n 0 ( L norms). Then u u n 0. L u = p ( u ') + qu dx p ( u ') + q u dx L 1 1 µ mx p, q u' dx + µ u dx = µ u' + µ u ( ) ( ) 1 1. So, n µ L n µ n u u u u + u u, nd since L is complete, we hve u u 0 nd n u u n 0, nd hence u u n 0. L 11/19/ Eric de Sturler

22 We cn sy (intuitively) tht we creted the complete spce V from the incomplete spce V y dding the limit points of Cuchy sequences in V to V. Furthermore, we extend the relevnt inner product nd norm to the new elements (these limit points) to which they originlly did not pply, s those functions re not in V. 11/19/ Eric de Sturler

23 We cn sy (intuitively) tht we creted the complete spce V from the incomplete spce V y dding the limit points of Cuchy sequences in V to V. Furthermore, we extend the relevnt inner product nd norm to the new elements (these limit points) to which they originlly did not pply, s those functions re not in V. The exmple in the oo, pp. 110 ff., shows tht there re V functions tht re not even once differentile. Wht ind of functions live in this spce? (V ) 11/19/ Eric de Sturler

24 Wht ind of functions live in this spce? (V ) Consider (1D) Soolev spces. Define inner product nd norm,, 1 () i () i =, =, + ', ' = 1 i= 0 + ' ' 1 1 = u, u, 1, uv u v uv u v uv u v dx u for ll uv, V= w C [, ] : w( ) = w ( ) = 0. { } Soolev norm. 1 nd energy norm. L re equivlent. Two norms. α nd. β re equivlent if constnts 0 < γ1 < γ exist, such tht γ u u γ u u V, 1 α β α where γ1, γ my depend on norms ut not on u. 11/19/ Eric de Sturler

25 We ll show ρ u u σ u u V for some ρσ>, 0. 1 L 1 u = p ( u ') + qu dx p ( u ') dx = p u ', u ' = L 0 0 p0 p0 p0 p0 u', u' ', ' ', ', + u u u u u u + ( ) ρ ( ' ) ρ 1 u + u = u, where ρ p0 p 0 min,. ( ) 11/19/ Eric de Sturler

26 We ll show ρ u u σ u u V for some ρσ>, 0. 1 L 1 u = p ( u ') + qu dx p ( u ') dx + q u dx L 1 1 ( ' ) 1 ' 1 σ σ 1 p u + q u u + u = u, where mx { p, q } σ. 1 1 Hence, we hve ρ u 1 u L σ u 1 from which we cn immeditely derive equivlence. 11/19/ Eric de Sturler

27 Using this property of equivlence we cn show tht completing V with respect to the Soolev (1) norm rther thn then energy norm leds to the sme (complete) spce V. Becuse of this, V is lso clled Soolev spce. The Soolev inner product nd norm re defined on ll elements of V s long s we interpret derivtives re generlized derivtives. (in generl inner products nd norms re extended to the completion of spce with the proper interprettion) V is Hilert spce with respect to the Soolev inner product nd norm. 11/19/ Eric de Sturler

28 We consider severl spces resulting from completion. Let C (, ) e the spce of times continuously differentile functions. () Let (, ) (, ) ( i C = w C w ) dx <, i = 1,,, { } () i () i () 1 () 1 ( ) ( ) = = i= 0 1, nd uv, u, v uv u v u v dx u = u, u. The ltter re the Soolev inner product nd norm of order. Completion of the spce with respect to u proceeds nlogously to completion w.r.t. the energy norm. The resulting spce is referred to s H (, ) ( H for Hilert). 11/19/ Eric de Sturler

29 We sy function u( x) defined on (, ) hs compct support if αβ, : < α< β< nd u( x ) = 0 if x (, α) ( β, ). The completion of C0 (, ), defined s ( ) { C ( ) ( )} 0, = w C, w hs compct support on,, w.r.t.. is denoted s H ( ). It is lso Soolev spce. 0, { } () () H ( ) ( ) ( ) 0, = w H, w i = w i () = 0, i = 0,1,, 1 Although V C 1 ( ) their completions w.r.t.. 1 re the sme: 1 V = H ( ) 0, 0, 11/19/ Eric de Sturler

30 So, the prtil differentil eqution Lu = g pu + qu = g ( ) with oundry conditions u ( ) = u ( ) = 0, hs the vritionl formultion Find u H 1 0 (, ) such tht ( u, η) = G( η) η H 1 (, ) x x 0 11/19/ Eric de Sturler

31 We proceed the sme wy in severl spce dimensions. Define L ( ) { } Ω = w : w dω< L. Ω ( Ω ) is Hilert spce w.r.t. the inner product nd norm uv, u = uvdω, Ω 1 = u, u. We denote prtil derivtives s follows. n = = 1 n i= 1 α α ( α) α =, = α1 αn x1 xn Define (, α ) α α, α,, α α, nd D u D u. 11/19/ Eric de Sturler i

32 { } ( ) Let C ( Ω ) = w C ( Ω) ( w α ) dω<, 0 α Ω The Soolev inner product nd norm on C ( Ω) re given y uv, u ( α), v ( α) = 0 α ( ) 1 u = u, u = u α 0 α ( ) So, in two dimensions we hve u = u + ux + uy + uxx + uxy + uyy dω. Ω The completion of C ( Ω) w.r.t.. is gin referred to s H ( Ω ). Agin H ( Ω ) is Hilert spce w.r.t. to the Soolev inner product nd norm. 11/19/ Eric de Sturler.

33 Existence of ordinry derivtives of u H depends on nd sptil dimension (nd smoothness of oundry). 1 H Ω C Ω 1d: ( ) ( ) n Ω R nd oundry sufficiently smooth: s H ( Ω) C ( Ω ) where s < n nd ( α) C( Ω, ) : mx u ( x) C u α : α s. x Ω d/3d: H ( Ω) C ( Ω ) 0 Anlogous to the hierrchy ( ) 1( ) C C C ( ) Ω Ω Ω We hve L ( Ω ) = H 0 ( Ω) H 1 ( Ω) H ( Ω) 11/19/ Eric de Sturler

34 The finite element method typiclly pproximtes the solution using (continuous) piecewise polynomils. Let u 1 C ( Ω ) nd u C ( ) Then u H ( Ω ) nd u H + 1 ( Ω ). Ω nd u e piecewise polynomil. A function u defined on Ω hs compct support on Ω if Ω Ω, Ω is closed : u = 0 for x Ω \ Ω The completion of C 0 ( Ω ) is denoted y H 0 ( Ω ). If oundry is sufficiently smooth: i w H0 ( Ω ) = w H ( Ω ) = 0 on Γ, i = 0,1,, 1 i n 11/19/ Eric de Sturler

35 Lx-Milgrm Lemm Let V e Hilert spce with IP.,. V nd norm 1. = uu,. V Furthermore, : V V R such tht 1. ( αu+ βvw, ) = α( uw, ) + β( vw, ), α, β R, uvw,, V,. ( w, αu + βv) = α( w, u) + β( w, v), α, β R, u, v, w V, 3. β : ( u, v) β u v, u, v V, 4. ρ > 0: ( u, u) ρ u, u V. V V V We see from (1)+() tht () is iliner form, (3) sys tht () is ounded, nd (4) sys tht () is coercive. Further, (, ) is symmetric if ( u, v) = ( v, u), u, v V. 11/19/ Eric de Sturler

36 Furthermore, let G : V R such tht 5. G( αu + βv) = αg( u) + βg( v) α, β R, u, v V, δ : G u δ u, u V. 6. ( ) V These properties indicte tht G ( ) is ounded liner functionl. Lx-Milgrm lemm: If properties (1)-(6) hold, then there exists unique û ( uˆ, u) = G( u), u V. V s.t. Furthermore, if (, ) is symmetric, then û V is the unique 1 glol minimizer of f ( u) = ( u, u) G( u), u V. 11/19/ Eric de Sturler

37 Proof (symmetric cse): (1)+(4)+symmetry: (, ) is inner product nd ( u, u ) 1 is norm. (3)+(4): u V nd ( u, u ) 1 re equivlent norms. V complete w.r.t.. V nd equivlence of the norms implies tht V is complete w.r.t... So, V is Hilert spce w.r.t. (, ) nd u. 1 ρ Further, G (.) ounded w.r.t.., since G( u) δ u V u. Hence, the Riesz representtion theorem sys: There exists unique uˆ V : ( uˆ, u) = G( u), u V. 1 ρ ( ) ( ) ( ) ( ) f uˆ+ u = f uˆ + uˆ, u G u + u, u f uˆ + u V > f uˆ [ ] ( ) ( ) ( ) 11/19/ Eric de Sturler

38 Consider PDE Lu = g of order with oundry conditions. To wor with Hilert spce the oundry conditions must e nturl, giving H ( Ω ), or homogeneous essentil oundry conditions, giving H ( Ω ), or comintion of these. 0 In the cse of inhomogeneous oundry conditions we must dpt the prolem (s we sw efore) to go from woring with n ffine vector spce to vector spce. Since ( u, v ) is (Leesgue) integrl over Ω it must contin (generlized) derivtives of order t most. 11/19/ Eric de Sturler

39 Consider PDE Lu = g of order with oundry conditions. To wor with Hilert spce we need either nturl, giving H ( Ω ), or homogeneous essentil oundry conditions, giving H 0 ( Ω ), or comintion of these. For inhomogeneous oundry conditions we must dpt the prolem to go from n ffine vector spce to vector spce. Since ( u, v ) is (Leesgue) integrl over Ω it must contin (generlized) derivtives of order t most, which is gurnteed y the spces H ( Ω ) or H ( Ω ). 0 11/19/ Eric de Sturler

40 ( u, v) = G( v), v V corresponds to we form. The PDE is otined (formlly) y integrtion y prts ( u, v) = Lu g, v +nd. integrl G( v) g, v This requires sufficient derivtives of the solution to exist. The coefficient functions must lso collorte. This corresponds to existence of the clssicl solution. We usully don t cre. If clssicl solution exists, the we solution is the sme. If non clssicl solution exists, the we solution is ll we hve. If clssicl solution importnt, we my require, e.g., u H Ω C Ω (ut my not exist depending on eq.) ( ) ( ) 11/19/ Eric de Sturler

41 If the iliner form (.,.) is symmetric it defines n inner product, the energy inner product (nd energy norm). The spce V (.,.,. V V ) we consider to solve PDEs is the Soolev spce of required order with pproprite constrints on oundry. Hence, we re concerned with estlishing the equivlence of the Soolev norm nd the energy norm. G() v = gvdω ounded follows from Cuchy-Schwrz Ω Boundedness of (.,.): usully esy to show Coercivity of (.,.): some equivlent of u', u' u, u ( ) 11/19/ Eric de Sturler

42 Useful Inequlities Friedrichs first inequlity: 1 Let V = { u H ( Ω ) u = 0 on Γ 0 } nd. V =. 1 Ω u dω α u dω for some 0 Friedrichs second inequlity: u dω+ u dγ α u 0 Ω α > nd ll u V. 1, for some 0 Ω Γ Trce inequlity: 1 udγ α u 1, for some α > 0, ll u H ( Ω ). Γ 1 α >, ll u H ( Ω ). 11/19/ Eric de Sturler

43 Exmples PDE: u = g on Ω u = 0 on Γ Proceed s efore: v udω= gvdω. Ω Intgrtion y prts: uxxdω= uvnd x 1 Γ+ uvd x x Ω 11/19/ Eric de Sturler Ω Ω Γ Ω Sme for u yy nd some further mnipultion gives uv + uv dω+ vudγ = gvdω (we form) x x y y n Ω Γ Ω 1 Now we clerly wnt u V = H 0 ( Ω ) nd v V lso. Hence, the nd. integrl is zero. ( u, v) = uxvxdω (symmetric, iliner) G() v Ω = gvdω Ω

44 Exmples ( u, v) = u vdω (symmetric, iliner) Ω G() v = gvdω (liner functionl, ounded y CS for L IP) Ω Using F1 we get coercivity: 1 α ( u, u) = u dω= u dω+ u dω= ρ u 1 Ω Ω Ω To get oundedness: We hve ( u, u) = u dω u dω+ u dω= u 1 Ω Ω Ω This gives ( u, v) ( u, u) ( v, v) u v. Lx-Milgrm stisfied. 11/19/ Eric de Sturler

45 Exmples PDE: u = g on Ω u = 0 on Γ where u V = H 1 0 ( Ω ) Let ( u, v) = u vdω nd G() v Ω = gvdω. Ω Then the PDE corresponds to we form: 1 For ll v H 0 ( Ω ): ( u, v) = G() v This hs unique solution, which is lso the minimum of corresponding qudrtic functionl. 11/19/ Eric de Sturler

46 Exmples PDE: u = g on Ω u = 0 on Γ 0 u n = 0 on Γ Γ 0 Integrtion y prts gives (formlly) uv + uv dω+ vudγ = gvdω x x y y n Ω Γ Ω 1 { } Here we wnt uv, V= w H ( Ω ) w= 0 on Γ We form ecomes uv + uv dω= gvdω x x y y Ω Ω The rest is the sme s the previous exmple. 0 11/19/ Eric de Sturler

47 Exmples PDE: u = g on Ω u + σu = 0 on Γ, where 0 < s σ( x) σ n This gives ( ) ( σ ) 0 1 u vdω + v u + u = gvdω, n Ω Γ Ω nd integrtion y prts gives (formlly) u vdω+ σuv = gvdω Ω Γ Ω 1 Here we wnt uv, V= H ( Ω ) ( u, v) = u vdω+ σuv G() v (symmetric, iliner) Ω = gvdω (liner nd ounded) Ω Γ 11/19/ Eric de Sturler

48 Exmples Coercive: ( ) { }(, = Ω+ σ Γ min 1, σ ) 0 Ω+ Γ u u u d u d u d u d Ω Γ Ω Γ σα ˆ 1 Γ So, (F): (, ) σˆ( ) u u u dω+ u dγ u Ω Bounded: ( u, u) u dω+ σ u dγ u + σ u dγ Ω Γ Γ Now trce inequlity gives: ( u, u) u + σ u dγ u + σ α u ( 1+ σ α) u Γ 1 1 σα u v u u v v u v Now Lx-Milgrm cn e pplied. So, (, ) (, ) (, ) ( 1+ ) 11/19/ Eric de Sturler

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

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

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

u(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.

u(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C. Lecture 4 Complex Integrtion MATH-GA 2451.001 Complex Vriles 1 Construction 1.1 Integrting complex function over curve in C A nturl wy to construct the integrl of complex function over curve in the complex

More information

Variational Techniques for Sturm-Liouville Eigenvalue Problems

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

Review of Gaussian Quadrature method

Review of Gaussian Quadrature method Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge

More information

2 Fundamentals of Functional Analysis

2 Fundamentals of Functional Analysis Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October 2015 2 Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results

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

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 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 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

Calculus of variations with fractional derivatives and fractional integrals

Calculus of variations with fractional derivatives and fractional integrals Anis do CNMAC v.2 ISSN 1984-820X Clculus of vritions with frctionl derivtives nd frctionl integrls Ricrdo Almeid, Delfim F. M. Torres Deprtment of Mthemtics, University of Aveiro 3810-193 Aveiro, Portugl

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

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

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

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

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

Chapter 4. Lebesgue Integration

Chapter 4. Lebesgue Integration 4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

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

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

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

Section 6.1 Definite Integral

Section 6.1 Definite Integral Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined

More information

Notes on length and conformal metrics

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

STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA. 0 if t < 0, 1 if t > 0.

STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA. 0 if t < 0, 1 if t > 0. STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA STEPHEN SCHECTER. The unit step function nd piecewise continuous functions The Heviside unit step function u(t) is given by if t

More information

Suppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.

Suppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2. Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot

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

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

Math 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

More information

Quadratic Forms. Quadratic Forms

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

New Expansion and Infinite Series

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

Analytical Methods Exam: Preparatory Exercises

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

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

Bernoulli Numbers Jeff Morton

Bernoulli Numbers Jeff Morton Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f

More information

1B40 Practical Skills

1B40 Practical Skills B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need

More information

Integrals along Curves.

Integrals along Curves. Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the

More information

c n φ n (x), 0 < x < L, (1) n=1

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

Section 6.1 INTRO to LAPLACE TRANSFORMS

Section 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

Numerical Analysis: Trapezoidal and Simpson s Rule

Numerical Analysis: Trapezoidal and Simpson s Rule nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =

More information

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of

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

Module 9: The Method of Green s Functions

Module 9: The Method of Green s Functions Module 9: The Method of Green s Functions The method of Green s functions is n importnt technique for solving oundry vlue nd, initil nd oundry vlue prolems for prtil differentil equtions. In this module,

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

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

Definite integral. Mathematics FRDIS MENDELU

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

QUADRATURE is an old-fashioned word that refers to

QUADRATURE is an old-fashioned word that refers to World Acdemy of Science Engineering nd Technology Interntionl Journl of Mthemticl nd Computtionl Sciences Vol:5 No:7 011 A New Qudrture Rule Derived from Spline Interpoltion with Error Anlysis Hdi Tghvfrd

More information

Math& 152 Section Integration by Parts

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

September 13 Homework Solutions

September 13 Homework Solutions College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are

More information

1 The Riemann Integral

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

Mapping the delta function and other Radon measures

Mapping the delta function and other Radon measures Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support

More information

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations. Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one

More information

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir RGMIA Reserch Report Collection, Vol., No., 999 http://sci.vu.edu.u/ rgmi AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS I. Fedotov nd S. S. Drgomir Astrct. An

More information

The Riemann Integral

The Riemann Integral Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function

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

MA Handout 2: Notation and Background Concepts from Analysis

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

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

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

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

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

First midterm topics Second midterm topics End of quarter topics. Math 3B Review. Steve. 18 March 2009

First midterm topics Second midterm topics End of quarter topics. Math 3B Review. Steve. 18 March 2009 Mth 3B Review Steve 18 Mrch 2009 About the finl Fridy Mrch 20, 3pm-6pm, Lkretz 110 No notes, no book, no clcultor Ten questions Five review questions (Chpters 6,7,8) Five new questions (Chpters 9,10) No

More information

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

63. 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 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

221B Lecture Notes WKB Method

221B Lecture Notes WKB Method Clssicl Limit B Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using

More information

Math 554 Integration

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

SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE

SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE RGMIA Reserch Report Collection, Vol., No., 998 http://sci.vut.edu.u/ rgmi SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE S.S. DRAGOMIR Astrct. Some clssicl nd new integrl inequlities of Grüss type re presented.

More information

Math Advanced Calculus II

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

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3 2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is

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

Numerical Methods I Orthogonal Polynomials

Numerical Methods I Orthogonal Polynomials Numericl Methods I Orthogonl Polynomils Aleksndr Donev Cournt Institute, NYU 1 donev@cournt.nyu.edu 1 MATH-GA 2011.003 / CSCI-GA 2945.003, Fll 2014 Nov 6th, 2014 A. Donev (Cournt Institute) Lecture IX

More information

Existence and uniqueness of solutions for linear Fredholm-Stieltjes integral equations via Henstock-Kurzweil integral

Existence and uniqueness of solutions for linear Fredholm-Stieltjes integral equations via Henstock-Kurzweil integral Existence nd uniqueness of solutions for liner Fredholm-Stieltjes integrl equtions vi Henstock-Kurzweil integrl M. Federson nd R. Binconi Astrct We consider the liner Fredholm-Stieltjes integrl eqution

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

ENGI 3424 Engineering Mathematics Five Tutorial Examples of Partial Fractions

ENGI 3424 Engineering Mathematics Five Tutorial Examples of Partial Fractions ENGI 44 Engineering Mthemtics Five Tutoril Exmples o Prtil Frctions 1. Express x in prtil rctions: x 4 x 4 x 4 b x x x x Both denomintors re liner non-repeted ctors. The cover-up rule my be used: 4 4 4

More information

2.4 Linear Inequalities and Interval Notation

2.4 Linear Inequalities and Interval Notation .4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or

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

DEFINITION 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.

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

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 + Definite Integrls --5 The re under curve cn e pproximted y dding up the res of rectngles. Exmple. Approximte the re under y = from x = to x = using equl suintervls nd + x evluting the function t the left-hnd

More information

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

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

The Henstock-Kurzweil integral

The Henstock-Kurzweil integral fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft

More information

8 Laplace s Method and Local Limit Theorems

8 Laplace s Method and Local Limit Theorems 8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved

More information

AMATH 731: Applied Functional Analysis Fall Some basics of integral equations

AMATH 731: Applied Functional Analysis Fall Some basics of integral equations AMATH 731: Applied Functionl Anlysis Fll 2009 1 Introduction Some bsics of integrl equtions An integrl eqution is n eqution in which the unknown function u(t) ppers under n integrl sign, e.g., K(t, s)u(s)

More information

Partial Derivatives. Limits. For a single variable function f (x), the limit lim

Partial Derivatives. Limits. For a single variable function f (x), the limit lim Limits Prtil Derivtives For single vrible function f (x), the limit lim x f (x) exists only if the right-hnd side limit equls to the left-hnd side limit, i.e., lim f (x) = lim f (x). x x + For two vribles

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

ON THE C-INTEGRAL BENEDETTO BONGIORNO

ON THE C-INTEGRAL BENEDETTO BONGIORNO ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives

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

MATH 423 Linear Algebra II Lecture 28: Inner product spaces.

MATH 423 Linear Algebra II Lecture 28: Inner product spaces. MATH 423 Liner Algebr II Lecture 28: Inner product spces. Norm The notion of norm generlizes the notion of length of vector in R 3. Definition. Let V be vector spce over F, where F = R or C. A function

More information

Math 270A: Numerical Linear Algebra

Math 270A: Numerical Linear Algebra Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner

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

Chapter 28. Fourier Series An Eigenvalue Problem.

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

The Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5

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

Integration Techniques

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

1. On some properties of definite integrals. We prove

1. On some properties of definite integrals. We prove This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.

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

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