AMATH 731: Applied Functional Analysis Fall Sobolev spaces, weak solutions, Part II

Size: px
Start display at page:

Download "AMATH 731: Applied Functional Analysis Fall Sobolev spaces, weak solutions, Part II"

Transcription

1 AMATH 731: Applied Functionl Anlysis Fll 217 Sobolev spces, wek solutions, Prt II (To ccompny Section 4.6 of the AMATH 731 Course Notes) In the previous hndout, we considered the following problem u (x)+g(x)u(x) = f(x), u() = u(b) =, (1) s motivtion for the study of wek solutions of DEs. Both sides of this eqution were multiplied by test function φ Cc (,b), with compct support in (,b): b b b u (x)φ(x) dx+ g(x)u(x)φ(x) dx = f(x)φ(x) dx. (2) Integrtion by prts then yielded the following eqution b b b u (x)φ (x) dx+ g(x)u(x)φ(x) dx = f(x)φ(x) dx, (3) where the boundry terms dispper due to the fct tht φ() = φ(b) =. Eq. (3) hs the form B(u,φ) = f,φ, (4) where, denotes the usul inner product on L 2 [,b] nd B(, ) denotes biliner form, i.e., (bounded) functionl tht is liner in ech of its two rguments. The gol is to determine wek solutions of Eq. (1) in terms of this eqution involving functionls. As will be seen below, we shll write tht, under pproprite conditions on B there exists unique function u tht stisfies the eqution B(u,v) = f,v (5) for ll v H, where H is n pproprite Hilbert spce. This function u will be clled the wek solution of Eq. (1). The so-clled Lx-Milgrm Theorem for bounded biliner functionls, to be discussed below, will gurntee the existence of such unique solution u. Riesz Representtion Theorem It is first instructive to recll this fundmentl result for bounded liner functionls (cf. Course Notes, p. 65). Theorem 1 Let F : H R be bounded liner functionl on Hilbert spce H. Then there exists unique z H so tht F(x) = x,z for ll x H. Moreover, F = z. Biliner forms nd the Lx-Milgrm Theorem Definition 1 A biliner form or functionl B on Hilbert spce H is mpping B : H H R such tht (x,y) is liner in ech of x,y H, i.e., for ll u 1,u 2,w H, nd c 1,c 2 R, B(c 1 u 1 +c 2 u 2,w) = c 1 B(u 1,w)+c 2 B(u 2,w), B(w,c 1 u 1 +c 2 u 2 ) = c 1 B(w,u 1 )+c 2 B(w,u 2 ). (6) 1

2 Theorem 2 (Lx-Milgrm) Let B : H H R be biliner functionl such tht the following conditions re stisfied: There exist constnts,b > such tht for ll u,v H, Finlly, let F : H R be bounded liner functionl on H. Then there exists unique element u H such tht B(u,v) b u v, (7) B(u,u) u 2. (8) B(u,v) = F(v), for ll v H. (9) Proof: 1. For ech fixed element u H, the mpping v B(u,v) is bounded liner functionl on H the boundedness follows from (7). From the Riesz Representtion Theorem, there exists unique element w H stisfying B(u,v) = w,v, v H. (1) This defines mpping A : u w so tht we shll write the bove s B(u,v) = Au,v, u,v H. (11) (Snek Preview/Spoiler Alert: Now go bck to Eq. (9) nd use the Riesz Representtion once gin to estblish tht for unique p H. From (11) nd (12) we hve tht Idelly, our solution is then given by But does this solution exist, i.e., does A 1 exist?) B(u,v) = F(v) = p,v (12) Au,v = p,v = Au = p. (13) u = A 1 p. (14) 2. We clim tht A : H H is bounded liner opertor: For c 1,c 2 R nd u 1,u 2 H, In ddition, implying tht Therefore, A is bounded. Also note tht A(c 1 u 1 +c 2 u 2 ),v = B(c 1 u 1 +c 2 u 2,v) (from 11) = c 1 B(u 1,v)+c 2 B(u 2,v) = c 1 Au 1,v +c 2 Au 2,v (from 11) = c 1 Au 1 +c 2 Au 2,v. (15) Au 2 = Au,Au = B(u,Au) b u Au, (16) Au b u, for ll u H. (17) u 2 B(u,u) = Au,u Au u (18) implying tht u Au, for ll u H. (19) 2

3 Therefore A is bounded from below. 3. We now show tht the rnge of A, R(A) is closed subspce of H. Let {v n } R(A) be Cuchy sequence with limit v H. Since ech v n R(A), there exists u n H such tht Au n = v n. From (19), u n u m Au n Au m = v n v m, (2) implying tht the sequence {u n } is lso Cuchy. Let u H denote the limit of this sequence. Since A is bounded, hence continuous, it follows tht Therefore v R(A), implying tht R(A) is closed. v = lim n v n = lim n Au n = A( lim n u n) = Au. (21) 4. From (19), A : H R(A) is bounded from below, implying tht n inverse opertor A 1 exists, i.e., A is one-to-one. 5. We now show tht R(A) = H. Assume tht R(A) H. Then, since R(A) is closed, there exists nonzero element w H such tht w R(A). But Aw R(A). This implies tht w 2 B(w,w) = Aw,w =, contrdicting (8). Therefore R(A) = H. 6. Now consider the given functionl F(v). From the Riesz Representtion Theorem, there exists p H such tht F(v) = p,v. From 4. nd 5., there exists u H such tht Au = p, i.e., u = A 1 p, so tht, from (11), B(u,v) = p,v = F(v). (22) 7. Finlly, we show tht there is t most one element u H stisfying (9). Assume the contrry, i.e., tht B(u,v) = F(v) nd B(ū,v) = F(v) for ll v H. Then, by linerity, B(u ū,v) = for v H. Set v = u ū to give, from (8), u ū 2 B(u ū,u ū) =. Therefore u = ū, nd the theorem is proved. Appliction to one-dimensionl boundry-vlue problem We first consider the following boundry vlue problem: u (x) = f(x), x 1, u() = u(1) =. (23) A physicl interprettion of this problem is tht u(x) is the trnsverse deflection (in the y-direction) of homogeneous string t point x under the influence of force f(x) (ctully force density more on this lter) cting in the y-direction. (We lso ssume the use of pproprite units tht simplify the form of the problem.) Note tht in this problem, the string is clmped t both ends, i.e., x = nd x = 1. Brief note on the origin of the bove eqution: Recll the 1D PDE for homogeneous vibrting string with n externl force f(x), 2 u t 2 = u c2 2 +f(x), x 1, (24) x2 where c 2 = T/ρ. (T is the tension in the string nd ρ the linel mss density (mss/unit length), both ssumed to be constnt.) For simplicity, we hve set c = 1. Eq. (23) corresponds to the stedystte, or time-independent, solution u(x,t) = u(x), i.e., u t =. 3

4 Using rguments similr to those in the previous hndout, the totl strin or elstic energy of the string is nd the totl work of the externl force is U = 1 2 W = The ssocited energy functionl J(u) for this problem is given by J(u) = 1 2 [u (x)] 2 dx, (25) f(x)u(x) dx. (26) [u (x)] 2 dx f(x)u(x) dx, (27) These three equtions hve the sme form s for the one-dimensionl rod problem exmined in the previous hndout. Following the sme type of vritionl method s before, one cn show tht the minimizer u of J(u) corresponds to the solution of (23): J(u +ǫv) = J(u )+ǫdj(u )v ǫ2 [v (x)] 2 dx. (28) But DJ(u ) = since u is solution to Eq. (23), implying tht J(u +ǫv) > J(u ). (29) Clssicl tretment nd its limittions In the clssicl picture indeed, the one employed erlier in this course one ssumes tht f C[,1] so tht u C 2 [,1]. The solution u of (23) my be expressed in terms of f using the Green s function ssocited with this boundry-vlue problem: where g(x,y) = u(x) = g(x, y)f(y) dy, (3) { y(1 x), y x 1, x(1 y), x y 1, Since f is ssumed to be C[,1], everything is nice here, nd u is twice differentible. But wht if f is not so nice? Well, if f were n L 1 function, the integrl would still mke sense nd u(x) would be defined. But wht bout u (x)? For exmple, wht bout the cse where f(x) is force concentrted t point? Such forces re often modelled with Dirc delt function, which corresponds to force of finite strength, sy A, (with A > corresponding to n upwrd-pointing force, A < to downwrd-pointing force) concentrted t point < < 1, implying tht the force density is infinite. Bypssing rigour for the moment, such force would be written s (31) f(x) = Aδ(x ). (32) Even in clssicl tretments, this expression for f(x) is usully inserted into into (3), keeping in mind the property tht, for ny v C[,1], The result is v(x)δ(x ) dx = v(). (33) u(x) = A g(x,y)δ(y ) dy = Ag(x,), (34) 4

5 implying tht u(x) = { Ax(1 ), x 1, A(1 x), x 1, Thus the grph of u(x) hs tringulr shpe, with vertex t x =, for which u() = A(1 ): F = Aδ(x )j (35) A(1 ) 1 The result, s is well known in undergrdute courses, is tht u(x) is not differentible t x = ; it is, however, piecewise differentible. In other words, we hve to move wy from the very nice spce u C 2 [,1]. From the discussion of the previous hndout, we see tht this solution for u(x) is well ccomodted in the energy spce, E R, or, equivlently, the Sobolev spce W 1,2, since [u (x)] 2 dx <. (36) Finlly, we mke comment regrding the reltionship of the Dirc delt function δ(x) nd the Green s function g(x, y) for this problem reltionship tht pplies to other similr boundry-vlue problems. For simplicity, let the mplitude of the point force be A = 1. Then, for point force f(x) locted t (,b), i.e., f(x) = δ(x ), the function u(x) = g(x,) the Green s function itself is seen to be the solution to the eqution u = δ(x ). (37) This result lso pplies to the problem of point electric chrges nd ssocited potentils. It is often stted in textbooks nd cn be proved rigorously using generlized functions nd ssocited wek derivtives see E. Zeidler, Applied Functionl Anlysis, Applictions to Mthemticl Physics, Springer-Verlg (1997), p Wek derivtive/sobolev spce tretment We now relx the restriction tht f C[,1] in (23) to f L 2 [,1] nd pply the method of wek derivtives in Sobolev spces to thisproblem. We ll work inthe spcewc 1,2 (, 1), the spce of functions with compct support on (,1) nd norm ( 1/2 u 1,2 = ([u(x)] 2 +[u (x)] 2 ) dx) (38) The most importnt spect of this spce is tht the (wek) derivtive u (x) is L 2 -integrble, cf. Eq. (36). Note: In the literture, the following nottion, W k,p c (D) is often denoted s W k,p (D). In ddition, the p = 2 Sobolev spces re often denoted s H k (D) = W k,2 (D), (39) 5

6 cknowledging tht these spces re Hilbert spces. Once gin, the superscript, i.e., H k (D), will be used to denote the subspce of functions with compct support on (,1). This is lso the nottion used in the AMATH 731 Course Notes. We dopt this nottion below. We now return to Eq. (23), u (x) = f(x), x 1, u() = u(1) =, (4) multiply both sides of it with n rbitrry element v H 1 (D) nd integrte by prts to give u (x)v (x) dx = f(x)v(x) dx, v H 1 (D), (41) where it is understood tht u (x) represents the generlized or wek derivtive of u(x). Eq. (41) hs the form B(u,v) = F(v), (42) where the biliner functionl B(u, v) nd the liner functionl F(v) re defined, respectively, s B(u,v) = u,v = F(v) = f,v = u (x)v (x) dx, f(x)v(x) dx. (43) We now seek to pply the Lx-Milgrm theorem to estblish the existence of unique solution u H 1 (D) to (41), hence to (23). First of ll, the liner functionl F(v) is bounded: ( ) 1/2 ( 1/2 F(v) = f(x)v(x) dx f(x) 2 dx v(x) dx) 2 <. (44) As for the biliner functionl B(u,v), it is bounded from bove: B(u,v) ( u (x) v (x) dx ) 1/2 ( ) 1/2 u (x) 2 dx v (x) 2 dx u H 1 v H 1, (45) thereby estblishing tht the condition (7) for the Lx-Milgrm Theorem is stisfied. Estblishing the second condition (8), i.e., bounding B(u,u) from below, is little trickier. We hve to resort to Poincré s Inequlity, cf. Theorem 4.9, AMATH 731 Course Notes, p. 68. Actully, the onedimensionl version of Corollry 4.2, on p. 69, is sufficient for this problem: There exists constnt c 1 > such tht u 2 H 1 (c 1 +1) u (x) 2 dx, for ll u H(,1). 1 (46) (In the 1D cse, the proof is quite simple, see below.) Since it follows tht B(u,u) = [u (x)] 2 dx, (47) 1 c 1 +1 u 2 H 1 B(u,u). (48) 6

7 Therefore, B stisfies both conditions of the Lx-Milgrm Theorem. We cn conclude tht there exists unique element u H 1 (,1) tht stisfies (42), therefore (41), nd therefore the boundry-vlue problem (23) in the generlized sense. Proof of Eq. (46): We first consider u C 1 (,1). From the Fundmentl Theorem of Clculus, for x (,1): x u(t)u (t) dt = 1 2 u(x)2 1 2 u()2 = 1 2 u(x)2. (49) But from the Cuchy-Schwrz inequlity, [ u(x)u (x) dx Combining these two results, we hve tht ] 1/2 [ 1/2 u(x) 2 dx u (x) dx] 2. (5) [ ] 1/2 [ 1/2 u(x) 2 2 u(x) 2 dx u (x) dx] 2. (51) This implies tht [ ] 1/2 [ 1/2 u(x) 2 dx 2 u(x) 2 dx u (x) dx] 2. (52) Squring both sides nd rerrnging yields Adding u(x) 2 dx 4 [u (x)] 2 dx. (53) u (x) 2 dx to both sides shows tht Eq. (46) is stisfied for ny u C 1 (,1), with c 1 = 4. For the cse u H 1(,1), there is sequence {u n} C 1(,1) such tht u n u in H 1-norm. Since Eq. (46) is stisfied by ll u n C 1 (,1), it will be stisfied for u. Finite elements nd the Ritz method We now outline procedure, bsed on the so-clled method of finite moments, nd the Ritz method, to provide pproximte solutions to the boundry-vlue problem (23). In wht follows, we outline the ppliction of the method to boundry-vlue problem over the generl intervl [, b], i.e., u() = u(b) =. Clerly, for the bove problem, =, b = 1. First, divide the intervl [,b] into n+1 equl subintervls using the prtition = < 1 < 2 < < n < n+1 = b, (54) where By definition, finite element j = j (b ). (55) n+1 is piecewise (tringulr-shped) liner function with e in : [,b] R, i = 1,2,,n, (56) e in ( i ) = 1, nd e in ( j ) =, for ll j i. (57) We define X n = spn{e 1n,e 2n,,e nn }. (58) 7

8 1 e 1n e 2n e 3n e nn n b Then u n X n if u n (x) = c in e in. (59) Note: Ech function e in stisfies the boundry condition e in () = e in (b) =, which implies tht u n () = u n (b) =, for ll u n X n. (6) The function u n X n is piecewise liner nd u n ( i ) = c in for ll i = 1,2,,n. Therefore the spce X n consists of ll piecewise liner functions with respect to the points, 1, 2,, n,b which stisfy the boundry-vlue condition u() = u(b) =. We now return to the energy functionl J(u) ssocited with this BVP, cf. Eq. (27), but now in the Sobolev spce H 1 (,b): J(u) = 1 2 b [u (x)] 2 dx f(x)u(x) dx, u H 1 (,b). (61) The minimiztion of this functionl with respect to functions u n X n is Ritz problem: min F(u n ). (62) u n X n This represents minimiztion problem with respect to the rel vribles c 1n,c 2n,,c nn in Eq. (59). If u n is solution to (62), then This produces the so-clled Ritz equtions: b u ne jn dx = c jn F(u n ) =, j = 1,2,,n. (63) Explicitly, we hve liner system of equtions in the unknowns c in : b For ech n, this liner system hs the form where e jn f dx, u n X n, j = 1,2,,n. (64) b b c in e ine jn dx = e jn f dx, j = 1,2,,n. (65) Ac = f, (66) ij = e i,e j, c i = c in, f i = e jn,f, 1 i,j n. (67) The mtrix A is quite concentrted ner the digonl, given tht the finite element e jn overlps only with itself nd its two immedite neighbours e j±1,n. 8

9 Proposition 1 (The Ritz method vi finite elements) Let f C[,b]. Then the bove Ritz method converges to the unique solution u of the boundry-vlue problem (23) in the sense of the Sobolev spce H 1 (,b) = W1,2 (, b), i.e. u u n 1,2 s n. (68) For proof of this proposition, s well s rigorous estimte of the error, see E. Zeidler, Applied Functionl Anlysis, Applictions to Mthemticl Physics, Springer-Verlg (1997). Wek solutions of PDEs Second-order elliptic PDEs Here we consider briefly boundry-vlue problems of the form Lu = f in D, u = on D, (69) where D is n open, bounded set of R n. Here, f : D R nd g : D R is given. L denotes second-order prtil differentil opertor, expressed in so-clled divergence form, Lu = xj ( ij (x) xi u)+ b i (x) xi u+c(x)u, (7) i,j=1 which is menble for tretments involving integrtion by prts, e.g., energy methods, wek solutions. The requirement tht u = on the boundry D is known s the Dirichlet boundry condition. Another clss of problems is s follows, Lu = in D, u = g on D. (71) This generlized Dirichlet problem in R 2, for which f =, is the subject of Question No. 6 in Problem Set 5 of the AMATH 751 Course Notes. Such boundry-vlue problem would rise when trying to find the electrosttic potentil u(x) inside chrge-free region D, produced by given chrge density g on the boundry D. With n eye to pplictions, we shll ssume tht ij = ji, 1 i,j n. (72) As well, we consider only elliptic prtil differentil opertors L, i.e., those for which the following condition holds: There exists constnt C > such tht ij (x)ξ i ξ j C ξ 2, (73) for (lmost) ll x D nd ll ξ R n. For L to be elliptic mens tht the symmetric n n mtrix A(x) is positive definite, with smllest eigenvlue λ C. Specil cse: ii = 1, ij = for i j, b i =, c = in (7), in which cse L = 2 =, the negtive Lplcin opertor. Physicl interprettion: Second-order elliptic PDEs re generliztions of Lplce s nd Poisson s equtions. Let us first review briefly some pplictions tht give rise to Lplce s eqution. Typiclly, 9

10 function u will denote the mount or density of some quntity (e.g., temperture, electrosttic potentil, chemicl concentrtion) in equilibrium. Then if V is n rbitrry subregion within D, with smooth boundry V, then the net flux of u through V is zero, i.e. F n ds =, (74) V where F denotes the flux density (discussed below) nd n the unit outer norml vector field to S. From the Divergence Theorem, F n ds = div F dx =, (75) implying tht V V div F = F = in D, (76) since V ws rbitrry. In mny pplictions, it is resonble ssumption tht the flux F is proportionl to the grdient u, but pointing in the opposite direction, since the flow will be from regions of higher concentrtion to those of lower concentrtion. In other words, Substitution into (76) yields Lplce s eqution F = K u, K >. (77) ( u) = 2 u =. (78) Some exmples: u flux lw in Eq. (77) chemicl concentrtion Fick s lw of diffusion temperture Fourier s lw of het conduction electrosttic potentil Ohm s lw of electricl conduction A clssicl exmple in electrosttics comes from the fundmentl eqution, div E(x) = ρ(x) ǫ, (79) where E(x) denotes the electric field t x R n due to chrge density ρ(x). (Here, ǫ is the permittivity of the vcuum.) Since E = V, (8) where V denotes the ssocited electrosttic potentil function, we hve 2 V = ρ ǫ, (81) or Poisson s eqution. Of course, in the bsence of chrge, this eqution reduces to Lplce s eqution. In the more generl cse, i.e., the opertor in Eq. (7), the second-order terms involving the ij represents diffusion within region D the coefficients ij describe the nisotropic, heterogeneous nture of the medium. The first-order terms involving the b i represent trnsport within D. The zeroth-order term cu describes locl cretion or depletion (for exmple, in chemicl pplictions, due to rections tht either produce or consume the chemicl). 1

11 In wht follows, it will be ssumed tht ij (x), b i (x), c(x) C(D). (82) This ssumption could be relxed even further to L (D). Furthermore, we ssume tht f L 2 (D). (83) We work in the Hilbert spce of functions H 1 (D) = W1,2 (D). We now multiply both sides of the eqution Lu = f by function v H 1 (D) nd integrte the first term by prts to obtin ij u xi v xj + b i u xi v +cuv dx = fv dx, (84) D i,j=1 D where Eq. (84) now hs the form u xi = xi u, etc.. (85) B(u,v) = F(v), for u,v H 1 (D), (86) where F(v) = f,v = fv dx (87) D is the liner functionl nd B(u,v) = ij u xi v xj + b i u xi v +cuv dx (88) D i,j=1 is the biliner form ssocited with the divergence form elliptic opertor L defined in (7). We now sy tht u H 1 (D) is wek solution of the boundry-vlue problem (69) if for ll v H 1 (D). B(u,v) = F(v) (89) Theorem 3 (Energy estimtes) There exist constnts α,β > nd γ such tht B(u,v) α u H 1 (D) v H 1 (D) (9) β u H 1 (D) B(u,u)+γ u L 2 (D). (91) Proof: See Prtil Differentil Equtions, by L.C. Evns, AMS (1998), pp Notethtifγ > intheboveestimtes, thenb(,)doesnotpreciselystisfythesecondhypothesis of the Lx-Milgrm theorem. A slight tinkering must be performed see the book by Adms, pp In the cse of the Lplcin opertor, the bove theorem (Energy estimtes) holds true for γ =. 11

12 Second-order prbolic PDEs We simply mention briefly tht the ide of wek solutions my be pplied PDEs tht involve time, often referred to s PDE evolution equtions. Second-order prbolic PDEs re generliztions of the het eqution, involving first-order time derivtive. (This is in contrst to hyperbolic equtions tht involve second-order time derivtives, e.g., the wve eqution.) In fct, the wek solution pproch provides the bsis of the so-clled Glerkin s method of computing pproximtions to these equtions. In wht follows, we ssume D to once gin be n open, bounded subset of R n nd define D T = D (,T] for some fixed time T >. We now consider the initil/boundry-vlue problem u t +Lu = f in D T, u = on D [,T], u = g on D {t = }. (92) L denotes for ech time t second-order prtil differentil opertor in divergence form, Lu = xj ( ij (x,t) xi u)+ b i (x,t) xi u+c(x,t)u, (93) i,j=1 We lso ssume tht the opertor L is uniformely elliptic for ech time t [,T], i.e., there exists constnt C > such tht (cf. Eq. (73), ij (x,t)ξ i ξ j C ξ 2. (94) In this cse, one sys tht the opertor +L is (uniformly) prbolic. t Specil cse: Once gin, ii = 1, ij = for i j, b i =, c = in (7), in which cse L = 2 =, the negtive Lplcin opertor, so tht the PDE u t 2 = f (95) becomes the het eqution, with source term f. In physicl pplictions, generl second-order prbolic equtions describe the time-evolution of quntity, e.g., chemicl concentrtion, within region D. Proceeding in mnner quite similr to tht for elliptic equtions, we ssume tht ij (x), b i (x), c(x) C(D), f L 2 (D T ), g L 2 (D). (96) We lso ssume tht ij = ji. As for the elliptic cse, we work in the Hilbert spce of functions H 1 (D) = W1,2 (D). Multiplying the opertor in (93) with v H 1 (D) nd integrting the first term by prts yields time-dependent biliner form B(u,v;t) = ij (,t)u xi v xj + b i (,t)u xi v +c(,t)uv dx, u,v H 1 (D). (97) D i,j=1 12

13 It is then tempting to write down n eqution involving time-vrying biliner nd liner functionls, B nd F, respectively, involving the function u = u(x,t). The stndrd procedure, however, is to ssocite with u mpping u : [,T] H 1 (D) (98) defined by [u(t)](x) := u(x,t) (x D, t T). (99) In other words, u will not be considered s function of x nd t but rther s mpping u of t into the spce H 1 (D) of functions of x. Similrily, one defines f : [,T] L 2 (D) (1) by [f(t)](x) := f(x,t) (x D, t T). (11) We now multiply the PDE u t + Lu = f by fixed function v H 1 (D) nd integrte by prts to produce u,v +B(u,v) = f,v, (12) for ech t T, where the prime represents differentition with respect to time. Definition 2 We sy tht function u L 2 (,T;H 1 (D) (13) is wek solution of the prbolic initil/boundry-vlue problem (92) provided tht for ech v H 1 (D) nd.e. time t T, nd u,v +B(u,v) = f,v, (14) u() = g. (15) (There is nother technicl point regrding the domin of definition of u but we omit it here see Adms, p. 352.) 13

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

1 2-D Second Order Equations: Separation of Variables

1 2-D Second Order Equations: Separation of Variables Chpter 12 PDEs in Rectngles 1 2-D Second Order Equtions: Seprtion of Vribles 1. A second order liner prtil differentil eqution in two vribles x nd y is A 2 u x + B 2 u 2 x y + C 2 u y + D u 2 x + E u +

More information

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

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

The Wave Equation I. MA 436 Kurt Bryan

The Wave Equation I. MA 436 Kurt Bryan 1 Introduction The Wve Eqution I MA 436 Kurt Bryn Consider string stretching long the x xis, of indeterminte (or even infinite!) length. We wnt to derive n eqution which models the motion of the string

More information

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

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

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

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007 A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus

More information

1 1D heat and wave equations on a finite interval

1 1D heat and wave equations on a finite interval 1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion

More information

4. Calculus of Variations

4. Calculus of Variations 4. Clculus of Vritions Introduction - Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the

More information

Chapter 3. Vector Spaces

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

More information

Heat flux and total heat

Heat flux and total heat Het flux nd totl het John McCun Mrch 14, 2017 1 Introduction Yesterdy (if I remember correctly) Ms. Prsd sked me question bout the condition of insulted boundry for the 1D het eqution, nd (bsed on glnce

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

Review of Riemann Integral

Review of Riemann Integral 1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.

More 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

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

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

Conservation Law. Chapter Goal. 5.2 Theory

Conservation Law. Chapter Goal. 5.2 Theory Chpter 5 Conservtion Lw 5.1 Gol Our long term gol is to understnd how mny mthemticl models re derived. We study how certin quntity chnges with time in given region (sptil domin). We first derive the very

More information

PDE Notes. Paul Carnig. January ODE s vs PDE s 1

PDE Notes. Paul Carnig. January ODE s vs PDE s 1 PDE Notes Pul Crnig Jnury 2014 Contents 1 ODE s vs PDE s 1 2 Section 1.2 Het diffusion Eqution 1 2.1 Fourier s w of Het Conduction............................. 2 2.2 Energy Conservtion.....................................

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

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

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

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

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

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

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

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

Improper Integrals, and Differential Equations

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

MA 124 January 18, Derivatives are. Integrals are.

MA 124 January 18, Derivatives are. Integrals are. MA 124 Jnury 18, 2018 Prof PB s one-minute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,

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

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

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

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties

More information

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

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

More information

Generalizations of the Basic Functional

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

More information

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

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

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence

More information

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

Consequently, the temperature must be the same at each point in the cross section at x. Let: HW 2 Comments: L1-3. Derive the het eqution for n inhomogeneous rod where the therml coefficients used in the derivtion of the het eqution for homogeneous rod now become functions of position x in the

More information

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

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

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

More information

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

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Best Approximation. 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

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

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b. Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn

More 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

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

Variational Formulation of Boundary Value Problems

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

More information

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

Numerical Methods for Partial Differential Equations

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

More information

Math 5440 Problem Set 3 Solutions

Math 5440 Problem Set 3 Solutions Mth 544 Mth 544 Problem Set 3 Solutions Aron Fogelson Fll, 25 1: Logn, 1.5 # 2) Repet the derivtion for the eqution of motion of vibrting string when, in ddition, the verticl motion is retrded by dmping

More 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

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

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

Properties of the Riemann Integral

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

More information

MAC-solutions of the nonexistent solutions of mathematical physics

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

More information

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

Math 5440 Problem Set 3 Solutions

Math 5440 Problem Set 3 Solutions Mth 544 Mth 544 Problem Set 3 Solutions Aron Fogelson Fll, 213 1: (Logn, 1.5 # 2) Repet the derivtion for the eqution of motion of vibrting string when, in ddition, the verticl motion is retrded by dmping

More information

Homework 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[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 information

Introduction to Finite Element Method

Introduction to Finite Element Method Introduction to Finite Element Method Introductory Course on Multiphysics Modelling TOMASZ G. ZIELIŃSKI bluebox.ippt.pn.pl/ tzielins/ Tble of Contents 1 Introduction 1 1.1 Motivtion nd generl concepts.............

More information

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), ) Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s

More information

Math 61CM - Solutions to homework 9

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

More information

Lecture 3. Limits of Functions and Continuity

Lecture 3. Limits of Functions and Continuity Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live

More information

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

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

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

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

Recitation 3: More Applications of the Derivative

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

NOTES ON HILBERT SPACE

NOTES ON HILBERT SPACE NOTES ON HILBERT SPACE 1 DEFINITION: by Prof C-I 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 information

n 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

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

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones. Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5. - 5.3) Remrks on the course. Slide Review: Sec. 5.-5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description

More information

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

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

More information

Continuous Random Variables

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

More information

Partial Differential Equations

Partial Differential Equations Prtil Differentil Equtions Notes by Robert Piché, Tmpere University of Technology reen s Functions. reen s Function for One-Dimensionl Eqution The reen s function provides complete solution to boundry

More information

Note 16. Stokes theorem Differential Geometry, 2005

Note 16. Stokes theorem Differential Geometry, 2005 Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion

More information

Introduction to the Calculus of Variations

Introduction to the Calculus of Variations Introduction to the Clculus of Vritions Jim Fischer Mrch 20, 1999 Abstrct This is self-contined pper which introduces fundmentl problem in the clculus of vritions, the problem of finding extreme vlues

More information

Lecture 13 - Linking E, ϕ, and ρ

Lecture 13 - Linking E, ϕ, and ρ Lecture 13 - Linking E, ϕ, nd ρ A Puzzle... Inner-Surfce Chrge Density A positive point chrge q is locted off-center inside neutrl conducting sphericl shell. We know from Guss s lw tht the totl chrge on

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

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

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q. Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the

More information

Summary: Method of Separation of Variables

Summary: Method of Separation of Variables Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 1 Summry: Method of Seprtion of Vribles 1. Seprtion of Vribles in Crtesin Coordintes 2. Fourier Series Suggested Reding: Griffiths: Chpter 3, Section

More information

Overview of Calculus I

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

NUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.

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

Main topics for the First Midterm

Main topics for the First Midterm Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the

More information

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O 1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the

More information

Problem Set 4: Solutions Math 201A: Fall 2016

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

More information

Integrals - Motivation

Integrals - Motivation Integrls - Motivtion When we looked t function s rte of chnge If f(x) is liner, the nswer is esy slope If f(x) is non-liner, we hd to work hrd limits derivtive A relted question is the re under f(x) (but

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

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued

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

The Algebra (al-jabr) of Matrices

The Algebra (al-jabr) of Matrices Section : Mtri lgebr nd Clculus Wshkewicz College of Engineering he lgebr (l-jbr) of Mtrices lgebr s brnch of mthemtics is much broder thn elementry lgebr ll of us studied in our high school dys. In sense

More information

For a continuous function f : [a; b]! R we wish to define the Riemann integral

For a continuous function f : [a; b]! R we wish to define the Riemann integral Supplementry Notes for MM509 Topology II 2. The Riemnn Integrl Andrew Swnn For continuous function f : [; b]! R we wish to define the Riemnn integrl R b f (x) dx nd estblish some of its properties. This

More information

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a). The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples

More information

P 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)

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