# Mathematical Background of Variational Calculus

Size: px
Start display at page:

## Transcription

1 A Mthemticl Bckground of Vritionl Clculus A 1

2 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS TABLE OF CONTENTS Pge A.1. Vector Spces A 3 A.1.1. Vector Spce Properties A 3 A.1.2. Vector Spce Exmples A 3 A.1.3. Normed Vector Spces A 4 A.1.4. One-Forms A 4 A.1.5. Function Spces In 1D A 5 A.1.6. More Generl Function Spces A 7 A.2. Functionls: Bsic Concepts A 7 A.2.1. Functionl Continuity A 7 A.2.2. Continuous Liner Functionls A 8 A.2.3. Fundmentl Lemms of Vritionl Clculus A 9 A.3. Functionls: First Vrition A 10 A.3.1. Increments nd Differentibility A 10 A.3.2. First Vrition Properties A 10 A.4. Functionls: Second Vrition A 11 A.4.1. Biliner nd Qudrtic Functionls A 11 A.4.2. Second Vrition Definition A 12 A.4.3. Second Vrition Differentil Forms A 14 A.4.4. Legendre s Condition A 14 A 2

3 A.1 VECTOR SPACES This Appendix outlines key portions of the mthemticl pprtus tht supports Chpters 1 5 of AVMM. The exposition omits proofs but gives references to where those cn be found. A rich source for this kind of bckground mteril is Chpter 1 of Gelfnd nd Fomin [274]. 1 A.1. Vector Spces A vector spce V is nonempty collection of objects clled vectors, which my be dded together nd multiplied by numbers clled sclrs. Generic vectors re denoted by lower cse bold symbols such s x, y, etc. This nottion grees with tht used for the ordinry vectors of liner lgebr. If x belongs to V, we write x V, nd sy tht x is member 2 of V. Sclrs tht my pper in the vector-scling opertion defined below re denoted by c, d, etc. In the ensuing description these will be rel numbers: c, d R, in which s usul R denotes the set of rel numbers. (Generliztions to complex sclrs, etc., re possible but unnecessry here.) A.1.1. Vector Spce Properties At minimum, two opertions re defined in vector spce: vector ddition, denoted x + y, nd sclr multipliction, denoted c x. These obey the following properties, sometimes clled xioms 3 Closure Properties: C1. Closure Under Addition: x + y V whenever x V nd y V. C2. Closure Under Sclr Multipliction: c x V whenever x V nd c R. Addition Properties: A1. Additive Identity: There is zero vector, denoted 0 V, such tht x + 0 = x for ll x V. A2. Additive Negtion: For ll x V there is vector x V such tht x + ( x) = 0. This x is clled the negtive of x. A3. Associtivity: (x + y) + z = x + (y + z) for ll x, y, z V. A4. Commuttivity: x + y = y + x for ll x, y V. Sclr Multipliction Properties: M1. Sclr Multiplictive Identity: 1x = x for ech x V, in which 1 is the rel number 1. M2. First Distributive Property: c (x + y) = c x + c y for ll x, y V nd ll c R. M3. Second Distributive Property. (c + d) x = c x + d x for ll x V nd ll c, d R. M4. Associtivity: c (d x) = (cd) x for ll x V nd ll c, d R. The two closure properties cn be checked t once by verifying the following property: C0. Closure Under Liner Combintion: c x + d y V whenever x, y V nd c, d R. A vector subspce W of vector spce V is nonempty subset of V tht is itself vector spce set of vectors tht stisfy the foregoing 10 conditions. 1 Unfortuntely the Russin to English trnsltion therein is occsionlly outdted. E.g., liner spce should be vector spce. (The former term is imprecise s it is presently used for other things.) Such infelicities re silently emended. 2 Some texts, such s [274], use element of vector spce insted of member. Tht term will be voided here to reduce the risk of confusion with finite elements. 3 Trnscribed from [746] with minor corrections nd dditions. A 3

4 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS Symbol Dim Description Tble A.1. Vector Spce Exmples R or R 1 1 Spce of ll rel numbers R 2 2 Spce of ll ordered rel number pirs (.k.. 2-vectors) R 3 3 Spce of ll ordered rel number triples (.k.. 3-vectors) R n n Spce of ll ordered n-tuples of rel numbers (.k.. n-vectors) C or C 1 1 Spce of ll complex numbers C n n Spce of ll ordered n-tuples of complex numbers P Spce of ll polynomils P n n+1 Spce of ll polynomils of degree n M mn mn Spce of ll m n mtrices F Generic function spce C 0 (I ) Spce of ll continuous functions on the intervl I (which my be open or closed, finite or infinite) C n (I ) Spce of ll functions on the intervl I tht hve n continuous derivtives (I s bove) Spce dimensionlity: crdinlity of bsis. Dimensionlity of C n is 2n if the bsis consists of rel numbers. A.1.2. Vector Spce Exmples Some importnt exmples of vector spces re listed in Tble A.1. Note tht dimensionlity my be finite, s in the ordinry n-vectors nd m n mtrices, or infinite, s in function spces. A.1.3. Normed Vector Spces A vector spce V is sid to ne normed if ech member x V cn be ssigned non-negtive number x clled the norm of x, which obeys the following rules: N1. Uniqueness of Zero Norm: x = 0 if nd only if x = 0. N2. Positive Homogeneity Under Scling: c x = c x for ll x V nd ll c R. N3. Tringulr Inequlity. x + y x + y for ll x, y V. If V is normed vector spce the distnce between two vectors x nd y tht belong to V is defined s the nonnegtive quntity x y. A.1.4. One-Forms The principl vector spce studied in liner lgebr is R n, the set of ll ordered n-tuples. Its member objects re n-dimensionl column vectors, which for n = 3 reduce to the ordinry vectors (visulizble s rrowed segments) of 3D spce. 4 A liner mp from R n to sclr field is clled one-form (often written 1-form) or covector. See Figure A.1() for slot mchine representtion. For exposition simplicity it is ssumed tht the 4 The R n spce is ctully the source of the vector spce concept, which generlizes liner lgebr rules nd opertions to more complex mthemticl objects. A 4

5 A.1 VECTOR SPACES Finitedimensionl vector () (b) (c) 1-FORM or COVECTOR Liner Mp Number Function FUNCTIONAL Generl Mp Number Function LINEAR FUNCTIONAL Liner Mp Number Figure A.1. Slot mchine visuliztion of the mpping of members of vector spce onto numbers (sclrs): () A one-form, lso spelled 1-form, receives finite dimensionl vector nd mps it linerly to number; (b) A functionl (without qulifier) receives function nd mps it to number; (c) A liner functionl receives function nd linerly mps it to number. finite-dimensionl vector spce is R n, the set of rel n-vectors. Its members re denoted x, y, etc. A 1-form mp from tht spce to sclr must comply with the following linerity rules. L1. Degree-One Homogeneity: F[α x] = α F[x] for ny x R n nd α R. L2. Liner Superposition: F[x + y] = F[x] + F[y] for ny x, y R n. For the spce R n 1-form cn be expediciously built on premultiplying by row n-vector, since the dot product produces sclr. For exmple, suppose tht n = 3sox = [ x 1 x 2 x 3 ] T R 3 is 3-vector. The vector entry sum is provided by the 1-form [ ] x1 S(x) = e3 T x = [ 1 1 1] x 2 = x 1 + x 2 + x 3. (A.1) x 3 in which e k denotes the k-vector of ones. Here re dditionl 1-form exmples: Algebriclly lrgest entry of x R n is the 1-form mxi=1 n x i (but not mxi=1 n x i, s rule L2 would be violted). Projection length of x long the unit direction vector d, in which d T d = 1, is the 1-form d T x, s long s d is independent of x. Let g R 3 be the 3-vector grdient of sptil field φ(x 1, x 2, x 3 ), tht is, g = [ φ/ x 1 φ/ x 2 φ/ x 3 ] T. The directionl grdient vlue long unit direction d is the 1-form g = d T g. The trce of n n mtrix A with entries ij : trce(a) = n i=1 ii, is 1-form. On the other hnd, the squred length of x, given by the dot product L 2 (x) = x 2 2 = xt x = [ x 1 x 2 x 3 ] [ x1 x 2 x 3 ] = x1 2 + x x 3 2. (A.2) is not 1-form since it violtes rules L1 nd L2. Actully (A.2) is n instnce of 2-form, lso clled biliner or qudrtic forms. Those re considered in the cse of functionls in A.4.1 Wht if the vector spce becomes n function spce? Its members re now functions nd the spce hs infinite dimension. Then 1-forms become liner functionls. Those re covered in A.2.2 A 5

6 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS A.1.5. Function Spces In 1D Normed vector spces whose members re functions re clled function vector spces or function spces for short. Those re importnt in the study of vritionl methods. For description simplicity the members considered below re rel-vlued functions y(x) of rel vrible x, defined over closed intervl x [, b] with b, of the rel xis. They will be clssified on the bses of function continuity s follows. Spce C 0 (, b) of continuous functions. This vector spce consists of ll continuous functions y(x) defined in [, b]. The ddition nd multipliction-by-sclr opertions re defined by the ordinry ddition of functions nd multipliction of function by numbers, respectively. The norm is defined s the mximum of the bsolute vlue: y 0 = mx x b y(x). (A.3) The zero subscript in y indictes tht tking the norm only involves the function itself. The number y 0 is usully clled the supremum norm or lest upper bound of y(x) over [, b]. Thus mny uthors cll (A.3) the supremum norm. Spce C 1 (, b) of continuously differentible functions. This vector spce consists of ll functions y(x) defined in [, b] tht re continuous nd possess continuous first derivtives. The ddition nd multipliction-by-sclr opertions re the sme s in C 0 (, b). The norm is defined by the formul y 1 = mx y(x) + mx x b x b y (x). (A.4) From this definition it follows tht two functions in C 1 (, b), sy y(x) nd z(x), re viewed s close if both the functions themselves nd their first derivtives re close together, since if y z <ɛ implies y(x) z(x) <ɛnd y (x) z (x) <ɛfor ll x [, b]. Consequently the norm (A.4) gives more weight to regulrity thn the supremum norm. Spce C n (, b) of n-times continuously differentible functions. This vector spce consists of ll functions y(x) defined in [, b] tht re continuous nd possess continuous derivtives up to order n inclusive, in which n is positive integer. The ddition nd multipliction-by-sclr opertions re the sme s the preding cses. The norm is defined by the formul y n = n mx x b y(k) (x) k=0 (A.5) in which y(k)(x) denotes the k th derivtive of y(x). The previously introduced vector spces C 0 (, b) nd C 1 (, b) correspond to the cses n = 0 nd n = 1, respectively, of C n (, b). Obviously C k (, b) is included in C k 1 (, b) for k 1. Remrk A.1. The cse n is of specil interest for some pplictions. It gives the clss of functions C (, b) tht re infinitely smooth nd possess continuous derivtives of ll orders. For exmple, polynomils. Tht spce will not be used explicitly here. A 6

7 A.2 FUNCTIONALS: BASIC CONCEPTS Remrk A.2. The foregoing norm choices do not exhust ll possibilities. One problem with (A.3) (A.5) is their extreme sensitivity to tiny locl chnces in the functions, especilly if derivtives re included. To sugrcot tht undesirble feture numerous globl norms hve been devised. These involve integrtion over the intervl [, b]. For exmple, the widely used L p norms for the C 0 (, b) spce, with p positive integer, re given by y L p = y(x) p dx, p = 1, 2..., y(x) C 0 (, b). (A.6) This is clled the Eucliden norm for p = 2. The supremum norm (A.3) is recovered in the limit p, whence the lterntive nme infinity norm. Remrk A.3. Another difficulty with norms tht combine function vlues nd derivtives, s in (A.5) for k 1, is improper scling when pplied to physicl problems. An exmple in dynmics: if y(t) is displcement response in time t, ẏ(t) = dy(t)/dt is velocity, so tking the norm y 1 of (A.4) would dd pples to ornges. This nonsense cn be resolved by pplying pproprite weights tht restore the correct physicl dimensions (e.g., multiplying ẏ(t) by chrcteristic length), so one is effectively dding pples to pples. A.1.6. More Generl Function Spces The function spces introduced bove my be generlized in severl directions, for exmple Multiple Dimensions. The spce of sclr functions tht depend on multiple independent vribles. For exmple y = y(x 1, x 2, x 3 ) in 3D spce or y = y(x 1, x 2, x 3, t) in spcetime. Multiple Functions. The spce of m multiple functions tht depend on n multiple independent vribles. These re usully rrnged s n ordinry m-vector tht (s usul) is identified by bold symbol. For exmple, if m = 2 nd n = 3: [ ] [ ] x1 y1 (x y(x) = y(x 1, x 2, x 3 ) = 1, x 2, x 3 ), in which x = x y 2 (x 1, x 2, x 3 ) 2. (A.7) x 3 Such generliztions re well covered in textbooks devoted to functionl nlysis, s well s dvnced tretment of vritionl clculus. A.2. Functionls: Bsic Concepts The foregoing concepts re now pplied to the study of functionls. As noted in Chpter 1 functionl is function of function. More precisely, it receives function nd produces number. Figure A.1(b) gives visul representtion of functionl s slot mchine. In this Section we only consider functionls J[y] tht depend on single function y(x) in which x, y nd J re rel, nd defined over the closed intervl x [, b]. The function y(x) is viewed s point of its vector spce, which will be clled y V y. A.2.1. Functionl Continuity The functionl J[y] is sid to be continuous t the point y R if for ny ɛ>0there is δ>0 such tht J[y] J[y ] <ɛ, (A.8) provided tht y y <δ, in which is the norm defined for V y. A 7

8 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS Remrk A.4. The inequlity (A.8) is equivlent to two inequlities: J[y] J[y ] > ɛ, (A.9) nd J[y] J[y ] <ɛ, (A.10) If in the definition of continuity, (A.8) is replced by (A.9), J[y] is sid to be lower semicontinuous t y.if insted (A.8) is replced by (A.10), J[y] is sid to be upper semicontinuous t y. Remrk A.5. Which spce V y is pproprite for y(x)? The decision depends primrily on the order of y- derivtives tht pper in J[y]. For exmple, in the cse of the simplest vritionl problem, which involves functionls of the form J[y] = F(x, y, y ) dx (A.11) the pproprite function spce for y(x) would be C 1 (, b), the spce of continuous differentible functions. Selecting the lrger spce C 0 (, b) of continuous functions my led to problems since we could select two functions y(x) nd y (x) rbitrrily close in the sense of the supremum norm (A.3), but whose derivtives differ by ny given mount. The continuity test (A.8) would then fil. Bottom line: one should pick function spce in which the continuity of the functionl under study holds. Remrk A.6. In mny vritionl problems we del with functionls defined on sets of dmissible functions tht do not form vector spce. For exmple, the dmissible functions for the simplest functionl (A.11) under the essentil boundry conditions y() =ŷ, y(b) =ŷ b, (A.12) re the continuously differentible plne curves y = y(x) tht pss through the points A(, ŷ ) nd B(b, ŷ b ). But the sum of two dmissible functions will not pss through those points unless ŷ =ŷ b = 0. The concept of normed vector spce s well s relted notions of distnce nd continuity still ply, however, n importnt role. It is generlly possible to modify the given vritionl problem through vrious techniques so tht the pproprite tools cn be rigorously pplied. A.2.2. Continuous Liner Functionls The generliztion of the 1-form discussed in A.1.4 to function spces is cler fits the definition of functionl. But crrying over the linerity conditions L1 nd L2 of A.1.4 mens tht we get restricted kind, clled liner functionl. See Figure A.1(c). This cn be further specilized by requiring tht the continuity property (A.8) hold. The end product of these speciliztions is continuous liner functionl, or CLF. These figure prominently in vritionl clculus. For simplicity they re introduced next for the one-dimensionl cse. Consider one-dimensionl, normed function vector spce F(, b). Its members re functions h(x) F with domin x [, b]. 5 with domin x [, b]. The functionl φ[h] is clled continuous liner functionl, or CLF for short, if it stisfies the following conditions. CL1. φ[α h] = αφ[h] for ny h F nd α R. CL2. φ[h 1 + h 2 ] = φ[h 1 ] + φ[h 2 ] for ny h 1, h 2 F. CL3. φ[h] is continuous for ll h F. 5 We devite here from the use of y(x) s generic member function so s to merge semlessly with?, which introduces the concept of vrition. In tht subsection, h(x) is the increment of y(x). A 8

9 A.2 FUNCTIONALS: BASIC CONCEPTS Exmple A.1. The function h(x) C 0 (, b), the spce of continuous functions in x [, b]. Define the functionl φ[h] s the vlue tken t point c [, b]: φ[h] = h(c). (A.13) This φ[h] is CLF on [, b]. Exmple A.2. Agin h(x) C 0 (, b). The re integrl φ[h] = h(x) dx, (A.14) defines CLF in C 0 (, b) Exmple A.3. Agin h(x) C 0 (, b) while α(x) denotes given function lso in C 0 (, b). The integrl φ[h] = α(x) h(x) dx, (A.15) defines CLF on the function spce C 0 (, b). Exmple A.4. More generlly, tke h(x) C n (, b), with n positive integer wheres α i (x), i = 0, 1,...n re fixed functions in C(, b). the integrl φ[h] = defines CLF on the function spce C n (, b). A.2.3. Fundmentl Lemms of Vritionl Clculus [ α0 (x) h(x) + α 1 (x) h (x) α n (x) h ( n)(x) ] dx (A.16) Suppose tht the CLF (A.16) stted in Exmple A.4 vnishes for ll h(x) pertining to certin function spce. Wht cn be sid bout the functions α i (x)? The following results re typicl of the so-clled fundmentl lemm of vritionl clculus. 6 Lemm A.1. Ifα(x) C 0 (, b) nd if α(x) h(x) dx = 0, (A.17) for every h(x) C 0 (, b) such tht h() = h(b) = 0, then α(x) = 0 for ll x [, b]. Proof: see [274, p. 9]. It is shown there tht the result lso holds if C 0 (, b) is replced by C n (, b). Lemm A.2. Ifα(x) C 0 (, b) nd if α(x) h (x) dx = 0, (A.18) 6 Strictly speking, tht nme pplies to Lemm A.1, when h(x) is tken s the dmissible vrition of the input to functionl. Lemms A.2 A.4 re directly deduced from it fter minor gyrtions, nd so re lrgely vritions on theme. A 9

10 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS for every h(x) C 1 (, b) such tht h() = h(b) = 0, then α(x) = c for ll x [, b], in which c is constnt. Proof: see [274, p. 10]. Lemm A.3. Ifα(x) C 0 (, b) nd if α(x) h (x) dx = 0, (A.19) for every h(x) C 2 (, b) such tht h() = h(b) = 0 nd h () = h (b) = 0, then α(x) = c 0 x +c 1 for ll x [, b], in which c 0 nd c 1 re constnts. Proof: see [274, p. 10]. Lemm A.4. Ifα(x) C 0 (, b) nd β(x) C 0 (, b) nd if [ α(x) h(x) + β(x) h (x) ] dx = 0, (A.20) for every h(x) C 1 (, b) such tht h() = h(b) = 0, then β(x) is differentible nd β (x) = α(x) for ll x [, b]. Proof: see [274, p. 11]. A.3. Functionls: First Vrition The concept of vrition of functionl is nlogous to tht of differentil of function of n vribles. Its min ppliction is to find extrem of functionls. Those re input function(s), known s extremls, for which the functionl becomes sttionry with respect to smll vritions. As usul we restrict the ensuing exposition to the one-dimensionl cse. A.3.1. Increments nd Differentibility Let J[y] be functionl defined on some normed function vector spce with domin x [, b]. Suppose tht n dmissible input function y = y(x) is incremented by h = h(x), while tking cre tht y + h = y(x) + h(x) remins dmissible. (For exmple, if y(x) hs to stisfy the essentil boundry conditions y() =ŷ nd y(b) =ŷ b, plinly h() = h(b) = 0.) The increment of the functionl is defined s J[h] = J[y + h] J[y]. (A.21) If y is fixed, J[y + h] J[h] is functionl of h = h(x). For rbitrry h this will be generlly nonliner functionl. If the increment J cn be expressed s J[h] = φ[h] + ɛ h (A.22) in which φ[h] is CLF nd ɛ 0s h 0, the functionl J[y] is sid to be differentible t tht fixed y. If (A.22) holds, the functionl φ[h] is clled the principl liner prt of the increment J[h]. If J[y] is differentible t ech dmissible y, the functionl is genericlly clled differentible. A 10

11 A.3.2. First Vrition Properties A.4FUNCTIONALS: SECOND VARIATION For nottionl convenience, s well s smooth linkge to ordinry differentil clculus, the increment φ[h] is renmed the first vrition of J[y], nd denoted by δ J = δ J[h]. 7 Two importnt first-vrition theorems pertining to differentible functionls follow. Theorem A.1. The first vrition of differentible functionl is unique. Proof: see [274, p. 12]. Theorem A.2. Anecessry condition for differentible functionl J[y] to hve n extremum t y = y is tht its first vrition vnish there; tht is δ J[y] = 0, (A.23) for y = y nd ll dmissible h. Proof: see [274, p. 13]. Functions y = y(x) t which δ J vnishes re clled extremls. Remrk A.7. Theorem A.2 is the nlog of well known theorem of ordinry clculus. If the one-dimensionl differentible function f (x) hs n extremum t x = x, its differentil must vnish there: df(x ) = 0, which my lso be expressed s y (x ) = 0. Tht is, the function must be sttionry t x. Now in ordinry clculus n extremum cn be locl mximum, locl minimum, or locl inflexion point (neither mximum nor minimum). If one is looking for ctul (locl) mxim or minim, the condition df(x) = 0 is only necessry. Sufficient conditions depend on exmintion of the sign of the second differentil d 2 f (x) or, lterntively, y (x) in the vicinity of x = x. The nlogous sufficiency conditions for functionls re fr more elborted; in fct rigorous results took over century (from Euler nd Lgrnge to Weierstrss) to be worked out. A.4. Functionls: Second Vrition Theorem 2 bove gives only necessry conditions for n extremum of J[y]. An extremum cn be mximum, minimum or just sttionry point. As hinted in Remrk A.7, sufficient conditions for mximum or minimum require exmintion of the functionl-level equivlent of the second differentil of ordinry clculus. Tht equivlent object is clled second vrition. Before defining it, some uxiliry concepts re introduced. A.4.1. Biliner nd Qudrtic Functionls An obvious generliztion of the liner functionls introduced in A.2.2 is the concept of biliner functionl. This becomes qudrtic functionl s specil cse. A functionl B[y, z] tht depends on two input functions y = y(x) nd z = z(x) tht belong to normed function vector spce F, is sid to be biliner if it is liner functionl of y for fixed z, nd liner functionl of z for fixed y. More specificlly, if it stifies the following bilinerity conditions B1. Homogeneity in y: B[α y, z] = αb[y, z] for ll y, z F nd α R. 7 Of course the first vrition is ctully functionl of y = y(x) (the bseline input function) nd h = h(x) (its increment). So in some contexts it my help to write J[y, h] = δ J[y, h] + ɛ h. A 11

12 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS B2. Associtivity in y: B[y 1 + y 2, z] = B[y 1, z] + B[y 2, z] for ll y 1, y 2, z F. B3. Homogeneity in z: B[y,αz] = αb[y, z] for ll y, z F nd α R. B4. Associtivity in z: B[y, z 1 + z 2 ] = B[y, z 1 ] + B[y, z 2 ] for ll y, z 1, z 2 F If we set y = z in biliner functionl, we obtin n expression clled qudrtic functionl A qudrtic functionl A[y] = B[y, y] is sid to be positive definite A[y] > 0 for ll y F, y 0. (A.24) If the > is replced by in (A.24) the functionl is sid to be nonnegtive. A qudrtic functionl A[y] = B[y, y] is sid to be strongly positive definite if there exists constnt k > 0 such tht A[y] k y. (A.25) In ll of the folloing exmples, x, y(x), z(x), α(x), β(x), γ (x) R, nd x [, b]. Exmple A.5. The expression B[y, z] = y(x) z(x) dx, (A.26) in which y, z C 0 (, b), is biliner functionl. The corresponding qudrtic functionl is obtined by mking z(x) = y(x): The qudrtic functionl (A.27) is positive definite. A[y] = (y(x)) 2 dx y(x)y(x) 2 dx (A.27) Exmple A.6. The expression B[y, z] = α(x) y(x) z(x) dx, (A.28) in which y, z C 0 (, b) nd α(x) is given function, is biliner functionl. The corresponding qudrtic functionl is A[y] = α(x)(y(x)) 2 dx = α(x) y(x)y(x) dx (A.29) If α(x) >0 for ll x [, b] the functionl (A.29) is positive definite. Exmple A.7. The expression A[y] = [ α(x) y(x)y(x) + β(x) y(x) y (x) + γ(x) y (x)y (x) ] dx, (A.30) in which y C 1 [, b] nd α(x), β(x), nd γ(x) re given functions, is qudrtic functionl. A 12

13 A.4FUNCTIONALS: SECOND VARIATION A.4.2. Second Vrition Definition We retke the developments of A.3.1 nd? to proceed beyond the first vrition. To briefly recpitulte, let J[y] be functionl defined on some normed function vector spce F with domin x [, b]. Suppose tht n dmissible input function y = y(x) is incremented by h = h(x), while tking cre tht y + h = y(x) + h(x) remins dmissible. If the increment of the functionl cn be expressed s J[h] = J[y + h] J[y] = δ J[h] + ɛ h (A.31) in which φ[h] is CLF nd ɛ 0s h 0, then: (i) δ J ws clled the first vrition of J[y] t the given y, nd (ii) J[y] ws sid to be differentible t y. If (ii) holds for ny y, the functionl J[y] ws genericlly clled differentible. Continuing on this theme, we will sy tht J[y]istwice differentible if its increment cn be written s J[h] = J[y + h] J[y] = φ 1 [h] + φ 2 [h] + ɛ h 2, (A.32) in which φ 1 [h]isliner functionl, φ 2 [h] isqudrtic functionl nd ɛ 0s h 0. The φ 1 [h] term tht ppers in (A.32) ws clled the first vrition in?. Accordingly we will renme φ 2 [h] the second vrition, nd denote it by δ 2 J[h]. 8 On replcing φ 1 δ J nd φ 2 δ 2 J, the increment (A.32) my be recst s J[h] = J[y + h] J[y] = δ J + δ 2 J + ɛ h 2. (A.33) If (A.33) holds for ny y nd h, we will genericlly stte tht J[y] is twice differentible. Two importnt second-vrition theorems pertining to twice differentible functionls follow. (These correspond to those stted for the first vrition in?.) Theorem A.3. The second vrition of twice differentible functionl is unique. Proof: see [274, p. 99]. Theorem A.4. Anecessry condition for twice differentible functionl J[y] tohve minimum t y = y is tht δ J[y] = 0, δ 2 J[y] 0, (A.34) for y = y nd ll dmissible h. For mximum, replce the sign in the second of (A.34) by. Proof: see [274, p. 99]. Note tht condition (A.34), or its counterprt with, isnot sufficient to gurntee minimum or mximum. To chieve sufficiency we need to recll the concept of strong positivity, which ws defined for qudrtic functionl in (A.25). Theorem A.5. Asufficient condition for twice differentible functionl J[y]tohveminimum t y = y is tht is second vrition δ 2 J[h] be strongly positive for y = y. Proof: see [274, p. 100]. For mximum, replce strongly positive by strongly negtive, or chnge the sign of δ 2 J[h]. 8 The comment mde in previous footnote lso pplies here: δ 2 J is ctully function of y nd h. In some contexts it might be convenient to denote it s δ 2 J[y, h]. A 13

14 Apendix A: MATHEMATICAL BACKGROUND OF VARIATIONAL CALCULUS Remrk A.8. In finite dimensionl normed vector spce, strong positivity of qudrtic form is equivlent to positive definiteness of tht form. Therefore twice differentible function f (x) of finite number of vribles collected in vector x = [ x 1 x 2... x n ] T, hs minimum t point P = P(x ) where its first differentil vnishes, if its second differentil is positive definite t P. In more generl cse of functionl, however, strong positivity is stronger condition thn positive definiteness. A.4.3. Second Vrition Differentil Forms We now find n expression for the second vrition of the simplest vritionl problem, ssocited with functionls of the form (A.11), in which input functions y = y(x) stisfy priori the fixedpoint conditions (A.12). As regrds smoothness we ssume tht the integrnd of (A.11), which hs the form F(x, y, z), hs continuous prtil derivtives up to the necessry order with respect to ll its rguments. Increment y(x) by function h(x) such tht y + h stisfies ll dmissibility conditions; in prticulr h() = h(b) = 0. The corresponding increment J[h] = J[y + h] J[y] of the functionl is expnded in Tylor s series J[h] = (F y h + F y h ) dx + 1 [ 2 F yy h 2 + F yy hh + F y y (h ) 2] dx. (A.35) in which the overbr indicted tht the corresponding derivtives re evluted long certin intermedite curves; for exmple ( F yy = F yy x, y + θ h, y + θh ), θ [0, 1], (A.36) nd similrly for F yy nd F y y. If F yy, F yy nd F y y re replced by the derivtives F yy, F yy nd F y y, respectivelyt, evluted t (x, y(x), y (x) the expnsion (A.35) cn be rewritten with reminder term s J[h] = (F y h + F y h [ ) dx ɛ1 h 2 + ɛ 2 hh + ɛ 3 (h ) 2] dx + ɛ, (A.37) in which ɛ = [ Fyy h 2 + F yy hh + F y y (h ) 2] dx+ (A.38) Becuse of the bssumed continuity of F yy, F yy nd F y y, it follows tht ɛ 1, ɛ 2 nd ɛ 3 tend to zero s h 1 0. Hence ɛ is n infinitesiml of order higher thn 2 with respect to h 1.Bydefinition the first nd second terms of (A.37) re the first vrition δ J[h] nd δ 2 J[h], respectively, of (A.11). Therefore the ltter cn be expressed s δ 2 [ J[h] = Fyy h 2 + F yy hh + F y y (h ) 2] dx. (A.39) Integrting the middle term by prts nd noting tht h() = h(b) = 0 we obtin F yy hh dx = (df yy /dx)h2 dx, whence (A.39) cn be trnsformed into the more compct form δ 2 [ J[h] = Qh 2 + P (h ) 2] ( dx, P = 1 2 F y y, Q = 1 F 2 yy df ) yy dx. (A.40) dx Here P = P(x) nd Q = Q(x). This is the most convenient expression for further investigtions. A 14

15 A.4FUNCTIONALS: SECOND VARIATION A.4.4. Legendre s Condition (TBC) A 15

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

### The Basic Functional 2 1

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

### Calculus of Variations

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

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

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

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

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

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

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

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

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

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

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

### Chapter 4. Additional Variational Concepts

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

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

### 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() =

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

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

### Math 1B, lecture 4: Error bounds for numerical methods

Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the

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

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

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

### Review of basic calculus

Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below

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

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

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

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

### Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz

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

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

### 7.2 The Definite Integral

7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

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

### ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b

Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl

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

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

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

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

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

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

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

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

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

### Chapter 1. Basic Concepts

Socrtes Dilecticl Process: The Þrst step is the seprtion of subject into its elements. After this, by deþning nd discovering more bout its prts, one better comprehends the entire subject Socrtes (469-399)

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

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

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

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

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

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

### Chapters 4 & 5 Integrals & Applications

Contents Chpters 4 & 5 Integrls & Applictions Motivtion to Chpters 4 & 5 2 Chpter 4 3 Ares nd Distnces 3. VIDEO - Ares Under Functions............................................ 3.2 VIDEO - Applictions

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

### MATH 144: Business Calculus Final Review

MATH 144: Business Clculus Finl Review 1 Skills 1. Clculte severl limits. 2. Find verticl nd horizontl symptotes for given rtionl function. 3. Clculte derivtive by definition. 4. Clculte severl derivtives

### Math 113 Fall Final Exam Review. 2. Applications of Integration Chapter 6 including sections and section 6.8

Mth 3 Fll 0 The scope of the finl exm will include: Finl Exm Review. Integrls Chpter 5 including sections 5. 5.7, 5.0. Applictions of Integrtion Chpter 6 including sections 6. 6.5 nd section 6.8 3. Infinite

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

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

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

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

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

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

### 1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),

1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on

### Higher Checklist (Unit 3) Higher Checklist (Unit 3) Vectors

Vectors Skill Achieved? Know tht sclr is quntity tht hs only size (no direction) Identify rel-life exmples of sclrs such s, temperture, mss, distnce, time, speed, energy nd electric chrge Know tht vector

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

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

### Linearity, linear operators, and self adjoint eigenvalue problems

Linerity, liner opertors, nd self djoint eigenvlue problems 1 Elements of liner lgebr The study of liner prtil differentil equtions utilizes, unsurprisingly, mny concepts from liner lgebr nd liner ordinry

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

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

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

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

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

### Numerical Integration

Chpter 5 Numericl Integrtion Numericl integrtion is the study of how the numericl vlue of n integrl cn be found. Methods of function pproximtion discussed in Chpter??, i.e., function pproximtion vi the

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

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

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

### Mathematical Analysis: Supplementary notes I

Mthemticl Anlysis: Supplementry notes I 0 FIELDS The rel numbers, R, form field This mens tht we hve set, here R, nd two binry opertions ddition, + : R R R, nd multipliction, : R R R, for which the xioms

### 20 MATHEMATICS POLYNOMIALS

0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of

### and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we

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

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

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

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

### Week 10: Line Integrals

Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.

### Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech

Mth 6455 Oct 10, 2006 1 Differentil Geometry I Fll 2006, Georgi Tech Lecture Notes 12 Riemnnin Metrics 0.1 Definition If M is smooth mnifold then by Riemnnin metric g on M we men smooth ssignment of n

### Chapter One: Calculus Revisited

Chpter One: Clculus Revisited 1 Clculus of Single Vrible Question in your mind: How do you understnd the essentil concepts nd theorems in Clculus? Two bsic concepts in Clculus re differentition nd integrtion

### 1 The Lagrange interpolation formula

Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x

### Quantum Physics II (8.05) Fall 2013 Assignment 2

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

### Jim Lambers MAT 280 Spring Semester Lecture 26 and 27 Notes

Jim Lmbers MAT 280 pring emester 2009-10 Lecture 26 nd 27 Notes These notes correspond to ection 8.6 in Mrsden nd Tromb. ifferentil Forms To dte, we hve lerned the following theorems concerning the evlution

### Lecture 19: Continuous Least Squares Approximation

Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for

### CALCULUS WITHOUT LIMITS

CALCULUS WITHOUT LIMITS The current stndrd for the clculus curriculum is, in my opinion, filure in mny spects. We try to present it with the modern stndrd of mthemticl rigor nd comprehensiveness but of

### I. INTEGRAL THEOREMS. A. Introduction

1 U Deprtment of Physics 301A Mechnics - I. INTEGRAL THEOREM A. Introduction The integrl theorems of mthemticl physics ll hve their origin in the ordinry fundmentl theorem of clculus, i.e. xb x df dx dx

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

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

### 13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS

33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in

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

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

### STUDY GUIDE FOR BASIC EXAM

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

### Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY

Chpter 3 MTRIX In this chpter: Definition nd terms Specil Mtrices Mtrix Opertion: Trnspose, Equlity, Sum, Difference, Sclr Multipliction, Mtrix Multipliction, Determinnt, Inverse ppliction of Mtrix in

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

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