Second Variation. One-variable problem

Size: px
Start display at page:

Download "Second Variation. One-variable problem"

Transcription

1 Second Vrition. One-vrible problem Februry 11, 213 Contents 1 Locl vritions Legendre Tests Weierstrss Tests Null-Lgrngins nd convexity Nonlocl conditions Sufficient condition for the wek locl minimum Jcobi vrition Exmples Distnce on sphere: Columbus problem Nture does not minimize ction

2 Sttionry conditions point to possibly optiml trjectory but they do not stte tht the trjectory corresponds to the minimum of the functionl. A sttionry solution cn correspond to minimum, locl minimum, mximum, locl mximum, of sddle point of the functionl. In this chpter, we estblish methods iming to distinguish locl minimum from locl mximum or sddle. In ddition to being solution to the Euler eqution, the true minimizer stisfies necessry conditions in the form of inequlities. We introduce vritionl tests, Weierstrss nd Jcobi conditions, tht supplement ech other. The conclusion of optimlity of the tested sttionry curve u(x) is bsed on comprison of the problem costs I(u) nd I(u + δu) computed t u nd ny close-by dmissible curve u + δu. The closeness of dmissible curve is required to simplify the clcultion nd obtin convenient optimlity conditions. The question whether or not two curves re close to ech other or whether υ(x) is smll depends on wht curves we consider to be close. Below, we work out three tests of optimlity using different definitions of closeness. 1 Locl vritions 1.1 Legendre Tests Consider gin the simplest problem of the clculus of vritions min I(u), I(u) = u(x),x [,b] F (x, u, u )dx, u() = u, u(b) = u b (1) nd function u(x) tht stisfies the Euler eqution nd boundry conditions, F u d dx F u =, u() = u, u(b) = u b, (2) so tht the first vrition δi is zero. Let us compute the increment δ 2 I of the objective cused by the vrition { ɛ δu(x, x ) = 2 φ ( x x ) ɛ if x x < ɛ if x x ɛ (3) where φ(x) is function with the following properties: φ( 1) = φ(1) =, mx φ(x) 1, mx x [ 1,1] x [ 1,1] φ (x) 1 The mgnitude of this Legendre-type vrition tends to zero when ɛ, nd the mgnitude of its derivtive { ( ) δu ɛ φ x x (x, x ) = ɛ if x x < ɛ if x x ɛ tends to zero s well. Additionlly, the vrition is locl: it is zero outside of the intervl of the length 2ɛ. We use these fetures of the vrition in the clcultion of the increment of the cost. 2

3 = where Expnding F into Tylor series nd keeping the qudrtic terms, we obtin δi = I(u + δu) I(u) = ([ F u d dx F u (F (x, u + δu, u + δu ) F (x, u, u ))dx ] ) δu + Aδu 2 + 2Bδu δu + C(δu ) 2 dx + F u A = 2 F u 2, B = 2 F u u, C = 2 F (u ) 2 x=b x=, (4) nd ll derivtives re computed t the point x t the optiml trjectory u(x). The term in the brckets in the integrnd in the right-hnd side of (4) is zero becuse the Euler eqution is stisfied. Let us estimte the remining terms A(x)(δu) 2 dx = x+ε x ε A(x)(δu) 2 dx x+ε ε 4 A(x)dx = A(x ) ε 5 + o(ε δu 5 ) x ε Indeed, the vrition δu is zero outside of the intervl [x ε, x+ε], hs mgnitude of the order of ε 2 in this intervl, nd A(x) is ssumed to be continuous t the trjectory. Similrly, we estimte x+ε B(x)δu δu dx ε 3 B(x)dx = B(x ) ε 4 + o(ε δu 4 ) x ε x+ε C(x)(δu ) 2 dx ε 2 C(x)dx = C(x ) ε 3 + o(ε δu 3 ) x ε Its derivtive s mgnitude δu is of the order of ε, therefore δu δu s ε ; we conclude tht the lst term in the integrnd in the right-hnd side of (4) domintes. The inequlity δi > implies inequlity which is clled Legendre condition or Legendre test. (u ) 2 (5) Exmple 1.1 (Two-well Lgrngin. I) Consider the Lgrngin F (u, u ) = [(u ) 2 u 2 ] 2 The Legendre test gives the inequlity u 2 = 4(3u 2 u 2 ). 3

4 Consequently, the solution u of Euler eqution or d dx [(u ) 3 u 2 u ] + u(u ) 2 u 3 =, u() =, u(1) = 1 (3(u ) 2 u 2 )u u((u ) 2 + u 2 ) = u() =, u(1) = 1 corresponds to locl minimum of the functionl if, in ddition, the inequlity 3u 2 u 2 is stisfied in ll points x (, 1). 1.2 Weierstrss Tests The Weierstrss test detects stbility of solution to vritionl problem ginst different kind of vritions the strong locl perturbtions. It is lso locl: it compres trjectories tht coincide everywhere except smll intervl where their derivtives significntly differ. Suppose tht u is the minimizer of the vritionl problem (1) tht stisfies the Euler eqution (2). Additionlly, u should stisfy nother test tht uses different from (3) type of vrition. The vrition is n infinitesiml tringle supported on the intervl [x, x + ε] in neighborhood of point x (, 1) (see??): if x [x, x + ε], u(x) = v 1 (x x ) if x [x, x + αε], v 2 (x x ) αε(v 1 v 2 ) if x [x + αε, x + ε] where v 1 nd v 2 re two rel numbers, α (, 1), nd prmeters α ( < α < 1), v 1 nd v 2 re relted αv 1 + (1 α)v 2 = (6) to provide the continuity of u + u t the point x + ε, or equlity Condition (6) cn be rewritten s u(x + ε ) =. v 1 = (1 α)v, v 2 = αv =, (7) v is n rbitrry rel number. The considered vrition (the Weierstrss vrition) is loclized nd hs n infinitesiml bsolute vlue (if ε ), but, unlike the Legendre vrition, its derivtive ( u) is finite: if x [x, x + ε], ( u) = v 1 if x [x, x + αε], (8) if x [x + αε, x + ε]. v 2 4

5 The increment is δi = I(u + δu) I(u) = x+αɛ + x x ɛ x +αɛ (F (x, u + δu, u + u ) F (x, u, u ))dx (F (x, u + δu, u + v 1 ) F (x, u, u ))dx (F (x, u + δu, u + v 2 ) F (x, u, u ))dx (9) δi = I(u + δu) I(u) = x+αɛ x F (x, u + δu, u + v 1 )dx + (F (x, u + δu, u + u ) F (x, u, u ))dx x ɛ x +αɛ F (x, u + δu, u + v 2 )dx x+ɛ F (x, u, u )dx (1) x Computing increment δi nd rounding up to ε, we estimte integrnds s F (x, u(x) + u, u(x) + v) = F (x, u(x ), u (x ) + v) + O(1). The smllness of the vrition u is due to smllness of the intervl of the vrition. Also, we ssume tht F (x, u(x), u (x) F (x, u(x ), u (x ) = O(ɛ) x [x, x + ɛ]. Under these ssumptions, we compute the min term of the increment s δi(u, x ) = ε[αf (x, u, u + v 1 ) + (1 α)f (x, u, u + v 2 ) F (x, u, u )] + o(ε) (11) The smllness of the vrition is due to smllness of the intervl of the vrition. Repeting the vritionl rguments nd using the rbitrriness of x, we find tht n inequlity holds δ(u, x) x [, b] (12) for minimizer u. The lst expression yields to the Weierstrss necessry condition. Any minimizer u(x) of (1) stisfies the inequlity αf (x, u, u + (1 α)v) + (1 α)f (x, u, u αv) F (x, u, u ) (13) v, α [, 1] (14) 5

6 The reder my recognize in this inequlity the definition of convexity, or the condition tht the grph of the function F (.,., z) (considered s function of the third rgument u lies below the the chord in between the points there the chord meet the grph. The Weierstrss condition requires convexity of the Lgrngin F (x, y, z) with respect to its third rgument z = u. The first two rguments x, y = u here re the coordintes x, u(x) of the testing minimizer u(x). Recll tht the tested minimizer u(x) is solution to the Euler eqution. The Weierstrss test is stronger thn the Legendre test becuse convexity implies nonnegtivity of the second derivtive. It compres the optiml trjectory with lrger set of dmissible trjectories. Exmple 1.2 (Two-well Lgrngin. II) Consider gin the Lgrngin It is convex s function of u if F (u, u ) = ( (u ) 2 u 2) 2 u u The solution u of Euler eqution corresponds to locl minimum of the functionl if, the inequlity u (x) u(x) is stisfied in ll points x (, 1). The Weierstrss test is stronger thn Legendre test, u 2 u 2 > 1 3 u2 Remrk 1.1 Convexity of the Lgrngin does not gurntee the existence of solution to vritionl problem. It sttes only tht differentible minimizer (if it exists) is stble ginst fine-scle perturbtions. However, the minimum my not exist t ll or be unstble to other vritions. If the solution of vritionl problem fils the Weierstrss test, then its cost cn be decresed by dding infinitesiml centered wiggles to the solution. The wiggles re the Weierstrss tril functions, which decrese the cost. In this cse, we cll the vritionl problem ill-posed, nd we sy tht the solution is unstble ginst fine-scle perturbtions. Remrk 1.2 Weierstrss condition is lwys stisfied in the geometric optics. The Lgrngin depends on the derivtive s L = 1+y 2 v(y) 2 L y 2 = 1 v(y)(1 + y 2 ) 3 2 nd its second derivtive is lwys nonnegtive if v >. It is physiclly obvious tht the fstest pth is stble to short-term perturbtions. Weierstrss condition is lso lwys stisfied in the Lgrngin mechnics. The Lgrngin depends on the derivtives of the generlized coordintes through the 6

7 Figure 1: The construction of Weierstrss E-function. The grph of convex function nd its tngent plne. kinetic energy T = 1 2 qr(q) q nd its Hessin equls generlized inerti R which is lwys positive definite. Physiclly speking, inerti does not llow for infinitesiml oscilltions becuse they lwys increse the kinetic energy while potentil energy is insensitive to them. Weierstrss E-function Weierstrss suggested convenient test for convexity of Lgrngin, the so-clled E-function equl to the difference between the vlue of Lgrngin L(x, u, ẑ) in tril point u, z = z nd the tngent hyperplne L(x, u, u ) (ẑ u ) T L(x,u,u ) u to the optiml trjectory t the point u, u : E(L(x, u, u, ẑ) = L(x, u, ẑ) L(x, u, u ) (ẑ u ) T L(x, u, u ) u (15) Function E(L(x, u, u, ẑ) vnishes together with the derivtive E(L) ẑ when ẑ = u : E(L(x, u, u, ẑ) ẑ=u =, ẑ E(L(x, u, u, ẑ) ẑ=u =. According to the bsic definition of convexity, the grph of convex function is greter thn or equl to tngent hyperplne. Therefter, the Weierstrss condition of minimum of the objective functionl cn be written s the condition of positivity of the Weierstrss E-function for the Lgrngin, E(L(x, u, u, ẑ) ẑ, x, u(x) where u(x) tested trjectory. Exmple 1.3 Check the optimlity of Lgrngin L = u 4 φ(u, x)u 2 + ψ(u, x) where φ nd ψ re some functions of u nd x using Weierstrss E-function. The Weierstrss E-function for this Lgrngin is E(L(x, u, u, ẑ) = [ ẑ 4 φ(u, x)ẑ 2 + ψ(u, x) ] or [ u 4 φ(u, x)u 2 + ψ(u, x) ] (ẑ u )(4u 3 2φ(u, x)u). E(L(x, u, u, ẑ) = (ẑ u ) 2 ( ẑ 2 + 2ẑu φ + 3u 2). As expected, E(L(x, u, u, ẑ) is independent of n dditive term ψ nd contins qudrtic coefficient (ẑ u ) 2. It is positive for ny tril function ẑ if the qudrtic π(ẑ) = ẑ 2 2ẑu + φ 3u 2 7

8 does not hve rel roots, or if φ(u, x) 2u 2 If this condition is violted t point of n optiml trjectory u(x), the trjectory is nonoptiml. Vector-Vlued Minimizer The Legendre nd Weierstrss conditions nd cn be nturlly generlized to the problem with the vector-vlued minimizer. If the Lgrngin is twice differentible function of the vector u = z, the Legendre condition becomes He(F, z) (16) (see Section??) where He(F, z) is the Hessin... 2 F z1 He(F, z) = 2 z 1 z n z 1 z n... 2 F zn 2 nd inequlity in (16) mens tht the mtrix is nonnegtive definite (ll its eigenvlues re nonnegtive). The Weierstrss test requires convexity of F (x, y, z) with respect to the third vector rgument. 1.3 Null-Lgrngins nd convexity Find the Lgrngin cnnot be uniquely reconstructed from its Euler eqution. Similrly to ntiderivtive, it is defined up to some term clled null-lgrngin. Definition 1.1 The Lgrngins φ(x, u, u ) for which the opertor S(φ, u) of the Euler eqution (??) identiclly vnishes S(φ, u) = u re clled Null-Lgrngins. Null-Lgrngins in vritionl problems with one independent vrible re liner functions of u. Indeed, the Euler eqution is second-order differentil eqution with respect to u: d dx ( u φ ) u φ = 2 φ (u ) 2 u + 2 φ u u u + 2 φ u x φ. (17) u The coefficient of u is equl to 2 φ (u ). If the Euler eqution holds identiclly, 2 this coefficient is zero, nd therefore φ u does not depend on u. Hence, φ linerly depends on u : φ(x, u, u ) = u A(u, x) + B(u, x); A = 2 φ u u, 8 B = 2 φ u x φ u. (18)

9 Additionlly, if the following equlity holds A x = B u, (19) then the Euler eqution vnishes identiclly. In this cse, φ is null-lgrngin. We notice tht the Null-Lgrngin (18) is simply full differentil of function Φ(x, u): φ(x, u, u ) = d Φ Φ(x, u) = dx x + Φ u u ; equtions (19) re the integrbility conditions (equlity of mixed derivtives) for Φ. The vnishing of the Euler eqution corresponds to the Fundmentl theorem of clculus: The equlity dφ(x, u) dx = Φ(b, u(b)) Φ(, u()). dx tht does not depend on u(x) only on its end-points vlues. Exmple 1.4 Function φ = u u is the null-lgrngin. Indeed,we check ( ) d dx u φ u φ = u u. Null-Lgrngins nd Convexity The convexity requirements of the Lgrngin F tht follow from the Weierstrss test re in greement with the concept of null-lgrngins (see, for exmple [?]). Consider vritionl problem with the Lgrngin F, min u 1 F (x, u, u )dx. Adding null-lgrngin φ to the given Lgrngin F does not ffect the Euler eqution of the problem. The fmily of problems min u 1 (F (x, u, u ) + tφ(x, u, u )) dx, where t is n rbitrry number, corresponds to the sme Euler eqution. Therefore, ech solution to the Euler eqution corresponds to fmily of Lgrngins F (x, u, z) + tφ(x, u, z), where t is n rbitrry rel number. In prticulr, Lgrngin cnnot be uniquely defined by the solution to the Euler eqution. The stbility of the minimizer ginst the Weierstrss vritions should be property of the Lgrngin tht is independent of the vlue of the prmeter t. It should be common property of the fmily of equivlent Lgrngins. On the other hnd, if F (x, u, z) is convex with respect to z, then F (x, u, z) + tφ(x, u, z) is lso convex. Indeed, φ(x, u, z) is liner s function of z, nd dding the term tφ(x, u, z) does not ffect the convexity of the sum. In other words, convexity is chrcteristic property of the fmily. Accordingly, it serves s test for the stbility of n optiml solution. 9

10 2 Nonlocl conditions 2.1 Sufficient condition for the wek locl minimum We ssume tht trjectory u(x) stisfies the sttionry conditions nd Legendre condition. We investigte the increment cused by nonlocl vrition δu of n infinitesiml mgnitude: υ < ε, υ < ε, vrition intervl is rbitrry. To compute the increment, we expnd the Lgrngin into Tylor series keeping terms up to O(ɛ 2 ). Recll tht the liner of ɛ terms re zero becuse the Euler eqution S(u, u ) = for u(x) holds. We hve where δi = r S(u, u )δu dx + r δ 2 F dx + o(ɛ 2 ) (2) δ 2 F = 2 F u 2 (δu) F u u (δu)(δu ) + 2 F (u ) 2 (δu ) 2 (21) Becuse the vrition is nonlocl, we cnnot neglect υ in comprison with υ. No vrition of this kind cn improve the sttionry solution if the qudrtic form ) is positively defined, Q(u, u ) = ( u 2 u u u u (u ) 2 Q(u, u ) > on the sttionry trjectory u(x) (22) This condition is clled the sufficient condition for the wek minimum. It neglects the reltion between δu nd δu nd trets them s two independent tril functions. If the sufficient condition is stisfied, no trjectory tht is smooth nd sufficiently close to the sttionry trjectory cn increse the objective functionl of the problem compred with the objective t tht tested sttionry trjectory. Notice tht the first term 2 F u is nonnegtive becuse of the Legendre condition. 2 Problem 2.1 Show tht the sufficient condition is stisfied for the Lgrngins F 1 = 1 2 u (u ) 2 nd F 2 = 1 u (u ) 2 1

11 Exmple: Sttionry solution is not minimizer. The Weierstrss test does not gurntee tht the sttionry solution is minimizer. One cn find nonlocl vrition tht decreses the cost below its sttionry vlue. Consider the problem: r ( ) 1 I = min u 2 (u ) 2 c2 2 u2 dx u() = ; u(r) = A (23) where c is constnt. The first vrition δi i δi = r s zero if u(x) stisfies the Euler eqution The sttionry solution u(x) is ( u + c 2 u ) δu dx u + c 2 u =, u() =, u(r) = A. (24) u(x) = ( ) A sin(cx) sin(cr) The Weierstrss test is stisfied, becuse the dependence of the Lgrngin on the derivtive u is convex, 2 L u = 1. The sufficient condition of locl minimum 2 is not stisfied becuse 2 L u = c 2. 2 Let us show tht the sttionry condition does not correspond to minimum of I is the intervl s length r is lrge enough. We simply demonstrte vrition tht improves the sttionry trjectory by decresing cost of the problem. Compute the second vrition (21): r ( ) 1 δ 2 I = 2 (δu ) 2 c2 2 (δu)2 dx (25) Since the boundry conditions t the ends of the trjectory re fixed, the vrition δu stisfies homogeneous conditions δu() = δu(r) =. Let us choose the vrition s follow: { ɛx( x), x δu = x > where the intervl of vrition [, ] is not greter tht [, r], r. Computing the second vrition of the gol functionl from (25), we obtin The increment δ 2 I is positive only if δ 2 I() = ɛ2 6 3 (1 c 2 2 ), r < r crit, r crit = 11 1 c.

12 The most dngerous vrition corresponds to the mximl vlue = r. This increment is negtive when r is sufficiently lrge, r > r crit. In this cse δ 2 I() is negtive, δ 2 I() < We conclude tht the sttionry solution does not correspond to the minimum of I if the length of the trjectory is lrger thn r crit. If the length is smller thn r crit, the sitution is inconclusive. It could still be possible to choose nother type of vrition different from considered here tht disproves the optimlity of the sttionry solution. 2.2 Jcobi vrition The Jcobi necessry condition chooses the most sensitive long nd shllow vrition nd exmines the increment cused by such vrition. It complements the Weierstrss test tht investigtes stbility of sttionry trjectory to strong loclized vritions. Jcobi condition tries to disprove optimlity by testing stbility ginst optiml nonlocl vritions with smll mgnitude. Assume tht trjectory u(x) stisfies the sttionry nd Legendre conditions but does not stisfy the sufficient conditions for wek minimum, tht is Q(u, u ) in (22) is not positively defined, S(u, u ) =, (u ) 2 >, Q(u, u ) (u ) 2 To derive Jcobi condition, we consider n infinitesiml nonlocl vrition: δu = O(ɛ) 1 nd δu = O(ɛ) 1 nd exmine the expression (21) for the second vrition. When n infinitesiml nonlocl vrition is pplied, the increment increses becuse of ssumed positivity of nd decreses becuse of ssumed nonpositivity of the mtrix Q. Depending on the length r of the intervl of integrtion nd of chosen form of the vrition δu, one of these effects previls. If the second effect is stronger, the extreml fils the test nd is nonoptiml. Jcobi conditions sks for the choice of the best δu of the vrition. The expression (21) itself is vritionl problem for δu which we renme here s v for short; the Lgrngin is qudrtic of v nd v nd the coefficients re functions of x determined t the sttionry trjectory u(x) which is ssumed to be known: where δi = r [ Av 2 + 2B v v + C(v ) 2] dx, v() = v(r) = (26) A = 2 F u 2, B = 2 F u u, C = 2 F (u ) 2 12

13 The problem (26) is the vritionl problem for the unknown vrition v. Its Euler eqution: d dx (Cv + Bv) Av =, v(r ) = v(r conj ) = [r, r conj ] [, r] (27) is solution to Storm-Liouville problem The point r nd r conj re clled the conjugte points. The problem is homogeneous: If v(x) is solution nd c is rel number, cv(x) is lso solution. Jcobi condition is stisfied if the intervl does not contin conjugte points, tht is if there is no nontrivil solutions to (27) on ny subintervl of [r, r conj ] [, r], tht is if there re no nontrivil solutions of (27) with boundry conditions v(r ) = v(r conj ) =. If this condition is violted, thn there exist fmily of trjectories { u + αv if x [r, r U(x) = conj ] u if x [, r]/[r, r conj ] tht deliver the sme vlue of the cost. Indeed, v is defined up to multiplier: If v is solution, αv is solution too. These trjectories hve discontinuous derivtive t the points r nd r conj. Such discontinuity leds to contrdiction to the Weierstrss-Erdmn condition which does not llow broken extreml t these points Exmples Exmple 2.1 (Nonexistence of the minimizer: Blow up) Consider gin problem (23) r ( ) 1 I = min u 2 (u ) 2 c2 2 u2 dx u() = ; u(r) = A The sttionry trjectory nd the second vrition re given by formuls (24) nd (25), respectively. Insted of rbitrry choosing the second vrition (s we did bove), we choose it s solution to the homogeneous problem (27) for v = δu v + c 2 v =, r =, u() =, u(r conj ) =, r conj r (28) This problem hs nontrivil solution v = ɛ sin(cx) if the length of the intervl is lrge enough to stisfy homogeneous condition of the right end. We compute cr conj = π or r( conj ) = π c The second vrition δ 2 I is positive when r is smll enough, δ 2 I = 1 ( ) π 2 r ɛ2 r 2 c2 > if r < π c In the opposite cse r > π c, the increment is negtive which shows tht the sttionry solution is not minimizer. 13

14 To clrify this, let us compute the sttionry solution (24). We hve ( ) ( ) A u(x) = sin(cx) nd I(u) = A2 π 2 sin(cr) sin 2 (cr) r 2 c2 When r increses pproching the vlue c π, the mgnitude of the sttionry solution indefinitely grows, nd the cost indefinitely decreses: lim I(u) = r c π The cost of the problem cnnot increse if r increses. Indeed, the trjectory tht correspond to the sme cost is esily constructed. Indeed, let u(x), x [, r] be minimizer (recll, tht u() = ) nd the cost functionl is I r. In lrger intervl x [, r + d], the dmissible trjectory { if < x < d û(x) = u(x d) if d x r + d corresponds to the sme cost I r. Obviously, this trjectory of the Euler eqution is not minimizer if r > π c, becuse it corresponds to finite cost I(u) >. Remrk 2.1 Compring this result with the result in Exmple (2.1), we see tht for this exmple the optiml choice of vrition improved the length of the criticl intervl t only.65%. 2.3 Distnce on sphere: Columbus problem This simple exmple illustrtes the use of second vrition without single clcultion. We consider the problem of geodesics (shortest pth) on sphere. Sttionrity Let us prove tht geodesics is prt of the gret circle. Suppose tht geodesics is different curve, or tht it exists n rc C, C tht is prt of the geodesics but does not coincide with the rc of the gret circle. Let us perform vrition: Replce this rc with its mirror imge the reflection cross the plne tht psses through the ends C, C of this rc nd the center of the sphere. The reflected curve hs the sme length of the pth nd it lies on the sphere, therefore the new pth remins geodesics. On the other hnd, the new pth is broken in two points C nd C, nd therefore cnnot be the shortest pth. Indeed, consider prt of the pth in n infinitesiml circle round the point C of brekge nd fix the points A nd B where the pth crosses tht circle. This pth cn be shorten by rc of gret circle tht psses through the points A nd B. To demonstrte this, it is enough to imgine humn-size scle on Erth: The infinitesiml prt of the round surfce becomes flt nd obviously the shortest pth correspond to stright line nd not to zigzg line with n ngle. 14

15 Jcobi-type vrition The sme considertion shows tht the length of geodesics is no lrger thn π times the rdius of the sphere, or it is shorter thn the gret semicircle. Indeed, if the length of geodesics is lrger thn the gret semicircle one cn fix two opposite points the poles of the sphere on the pth nd turn on n rbitrry ngle the xis the prt of geodesics tht psses through these points. The new pth lies on the sphere, hs the sme length s the originl one, nd is broken t the poles, thereby its length is not miniml. We conclude tht the minimizer does not stisfy Jcobi test if the length of geodesics is lrger thn π times the rdius of the sphere. Therefore, geodesics on sphere is prt of the gret circle tht joins the strt nd end points nd which length is less tht hlf of the equtor s length. Remrk 2.2 The rgument tht the solution to the problem of shortest distnce on sphere bifurctes when its length exceeds hlf of the gret circle ws fmously used by Columbus who rgued tht the shortest wy to Indi psses through the Western route. As we know, Columbus wsn t be ble to prove or disprove the conjecture becuse he bumped into Americn continent discovering New World for better nd for worse. 2.4 Nture does not minimize ction The next exmple dels with system of multiple degrees of freedom. Consider the vritionl problem with the Lgrngin L = n i=1 1 2 m u2 i 1 2 C(u i u i 1 ) 2, u() = u We will see lter in Chpter?? tht this Lgrngin describes the ction of chin of prticles with msses m connected by springs with constnt C. Sttionrity is the solution to the system m i ü i + C( u i+1 + 2u i u i 1 ), u() = u Tht describes dynmics of the chin. The continuous limit of the chin dynmics is the dynmics of n elstic rod. The second vrition (here we lso use the nottion v = δu) δ 2 L = n i=1 1 2 mv i C(v i v i 1 ) 2, v =, v n = corresponds to the Euler eqution the eigenvlue problem m v = C m Av 15

16 where v(t) = [v 1 (t),..., v n (t)] is the vector of vritions nd A = The problem hs solution v(t) = α k v k sin ω k t v() = v(t conj ) =, T conj T where v k re the eigenvectors, α re coefficients found from initil conditions, nd ω k re the squre roots of eigenvlues of the mtrix A. Solving the chrcteristic eqution for eigenvlues det(a ω 2 I) = we find tht these eigenvlues re C ω k = 2 m sin2 ( C m πk n ), k = 1,... n The Jcobi condition is violted if v(t) is consistent with the homogeneous initil nd finl conditions tht is if the time intervl is short enough. Nmely, the condition is violted when the durtion T is lrger thn π m T mx(ω k ) 2π C. The continuous limit of the chin is chieved when the number N of msses indefinitely growth nd ech mss decreses correspondingly s m(n) = m() N. The distnce between msses decreses, the stiffness of one link increses s C(N) = C()N s it become N times shorter. Correspondingly, C(N) m(n) = N C() m() nd the mximl eigenvlue ω N tends to infinity s N. This implies Jcobi condition is violted t ny finite time intervl, or tht ction J of the continuous system is not minimized t ny finite time intervl. Wht is minimized in clssicl mechnics? Lgrngin mechnics sttes tht differentil equtions of Newtonin mechnics correspond to the sttionrity of ction: the integrl of difference between kinetic T nd potentil V energies. Kinetic energy is qudrtic form of velocities q i of prticles, nd potentil energy depends only on positions (generlized coordintes) q i of them T (q, q) = 1 2 n q T R(q) q i V = V (q) 16

17 We ssume tht T is convex function of q nd q, nd V is convex function of q. As we hve seen t the bove exmples, ction L = T V does not stisfy Jcobi condition becuse kinetic nd potentil energies, which both re convex functions or q nd q, enter the ction with different signs. Generlly, the ction is sddle function of q nd q. The notion tht Newton mechnics is not equivlent to minimiztion of universl quntity, hd significnt philosophicl implictions, it destroyed the hypothesis bout universl optimlity of the world. The miniml ction principle cn be mde miniml principle, in the Minkovski spce. Formlly, we replce time t with the imginry vrible t = iτ nd use the second-order homogeneity of T : T (q, q) = 1 2 qt R(q) q = q τ T R(q)q τ The Lgrngin, considered s function of q nd q τ insted of q nd q, become negtive of convex function if potentil energy V nd inerti R(q) re convex. It become formlly equl to the first integrl (the energy) L(q, q τ ) = q τ T R(q)q τ V (q) tht is conserved in the originl problem. The locl mximum of the vritionl problem, or J = min q(τ) t t ( L(q, q τ ))dτ does exist, since the Lgrngin L(q, q τ ) is convex with respect to q nd q τ. Exmple 2.2 The Lgrngin L for n oscilltor L = 1 ( m u 2 Cu 2) 2 becomes ˆL = 1 2 ( mu 2 + Cu 2 ). The Euler Eqution for ˆL corresponds to the solution m u Cu = u(τ) = A cosh(ωτ) + B sinh(ωτ), ω = C m The sttionry solution stisfies Weierstrss nd Jcobi conditions. Returning to originl nottions t = iτ we obtin A cos(ωt) + B sin(ωt) the correct solution of the originl problem. Remrkble, tht this solution is unstble, but its trnsform to Minkovski spce is stble. These ides hve been developed in the specil theory of reltivity (world lines). 17

The Basic Functional 2 1

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

More information

First variation. (one-variable problem) January 14, 2013

First variation. (one-variable problem) January 14, 2013 First vrition (one-vrible problem) Jnury 14, 2013 Contents 1 Sttionrity of n integrl functionl 2 1.1 Euler eqution (Optimlity conditions)............... 2 1.2 First integrls: Three specil cses.................

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

Calculus of Variations

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

More information

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

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

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

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

Chapter 4. Additional Variational Concepts

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

More information

1.9 C 2 inner variations

1.9 C 2 inner variations 46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for

More information

Calculus of Variations: 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

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

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More 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

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

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

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,

More information

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

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

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

More information

7.2 The Definite Integral

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

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

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

Polynomials and Division Theory

Polynomials and Division Theory Higher Checklist (Unit ) Higher Checklist (Unit ) Polynomils nd Division Theory Skill Achieved? Know tht polynomil (expression) is of the form: n x + n x n + n x n + + n x + x + 0 where the i R re the

More information

MAA 4212 Improper Integrals

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

More information

Classical Mechanics. From Molecular to Con/nuum Physics I WS 11/12 Emiliano Ippoli/ October, 2011

Classical Mechanics. From Molecular to Con/nuum Physics I WS 11/12 Emiliano Ippoli/ October, 2011 Clssicl Mechnics From Moleculr to Con/nuum Physics I WS 11/12 Emilino Ippoli/ October, 2011 Wednesdy, October 12, 2011 Review Mthemtics... Physics Bsic thermodynmics Temperture, idel gs, kinetic gs theory,

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

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

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

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

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

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

Convex Sets and Functions

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

More information

1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.

1.2. Linear Variable Coefficient Equations. y + b ! = a y + b  Remark: The case b = 0 and a non-constant can be solved with the same idea as above. 1 12 Liner Vrible Coefficient Equtions Section Objective(s): Review: Constnt Coefficient Equtions Solving Vrible Coefficient Equtions The Integrting Fctor Method The Bernoulli Eqution 121 Review: Constnt

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

Math Lecture 23

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

More information

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

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1 3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =

More information

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

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

More information

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

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

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

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

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

Math& 152 Section Integration by Parts

Math& 152 Section Integration by Parts Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible

More information

Lecture 14: Quadrature

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

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

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response

More information

Review of basic calculus

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

More information

Quantum Physics II (8.05) Fall 2013 Assignment 2

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

More information

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

( dg. ) 2 dt. + dt. dt j + dh. + dt. r(t) dt. Comparing this equation with the one listed above for the length of see that

( dg. ) 2 dt. + dt. dt j + dh. + dt. r(t) dt. Comparing this equation with the one listed above for the length of see that Arc Length of Curves in Three Dimensionl Spce If the vector function r(t) f(t) i + g(t) j + h(t) k trces out the curve C s t vries, we cn mesure distnces long C using formul nerly identicl to one tht we

More information

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)

More 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

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

5.3 Nonlinear stability of Rayleigh-Bénard convection

5.3 Nonlinear stability of Rayleigh-Bénard convection 118 5.3 Nonliner stbility of Ryleigh-Bénrd convection In Chpter 1, we sw tht liner stbility only tells us whether system is stble or unstble to infinitesimlly-smll perturbtions, nd tht there re cses in

More information

PHYS 4390: GENERAL RELATIVITY LECTURE 6: TENSOR CALCULUS

PHYS 4390: GENERAL RELATIVITY LECTURE 6: TENSOR CALCULUS PHYS 4390: GENERAL RELATIVITY LECTURE 6: TENSOR CALCULUS To strt on tensor clculus, we need to define differentition on mnifold.a good question to sk is if the prtil derivtive of tensor tensor on mnifold?

More information

p(t) dt + i 1 re it ireit dt =

p(t) dt + i 1 re it ireit dt = Note: This mteril is contined in Kreyszig, Chpter 13. Complex integrtion We will define integrls of complex functions long curves in C. (This is bit similr to [relvlued] line integrls P dx + Q dy in R2.)

More information

5.7 Improper Integrals

5.7 Improper Integrals 458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce 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

Chapter 6 Notes, Larson/Hostetler 3e

Chapter 6 Notes, Larson/Hostetler 3e Contents 6. Antiderivtives nd the Rules of Integrtion.......................... 6. Are nd the Definite Integrl.................................. 6.. Are............................................ 6. Reimnn

More information

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

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

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

Recitation 3: Applications of the Derivative. 1 Higher-Order Derivatives and their Applications

Recitation 3: Applications of the Derivative. 1 Higher-Order Derivatives and their Applications Mth 1c TA: Pdric Brtlett Recittion 3: Applictions of the Derivtive Week 3 Cltech 013 1 Higher-Order Derivtives nd their Applictions Another thing we could wnt to do with the derivtive, motivted by wht

More information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More 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

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

Problem set 1: Solutions Math 207B, Winter 2016

Problem set 1: Solutions Math 207B, Winter 2016 Problem set 1: Solutions Mth 27B, Winter 216 1. Define f : R 2 R by f(,) = nd f(x,y) = xy3 x 2 +y 6 if (x,y) (,). ()Show tht thedirectionl derivtives of f t (,)exist inevery direction. Wht is its Gâteux

More information

Indefinite Integral. Chapter Integration - reverse of differentiation

Indefinite Integral. Chapter Integration - reverse of differentiation Chpter Indefinite Integrl Most of the mthemticl opertions hve inverse opertions. The inverse opertion of differentition is clled integrtion. For exmple, describing process t the given moment knowing the

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

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

We divide the interval [a, b] into subintervals of equal length x = b a n

We divide the interval [a, b] into subintervals of equal length x = b a n Arc Length Given curve C defined by function f(x), we wnt to find the length of this curve between nd b. We do this by using process similr to wht we did in defining the Riemnn Sum of definite integrl:

More information

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

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

More information

Final Exam - Review MATH Spring 2017

Final Exam - Review MATH Spring 2017 Finl Exm - Review MATH 5 - Spring 7 Chpter, 3, nd Sections 5.-5.5, 5.7 Finl Exm: Tuesdy 5/9, :3-7:pm The following is list of importnt concepts from the sections which were not covered by Midterm Exm or.

More information

INTRODUCTION TO INTEGRATION

INTRODUCTION TO INTEGRATION INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide

More information

Numerical Analysis: Trapezoidal and Simpson s Rule

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

More information

Part III. Calculus of variations

Part III. Calculus of variations Prt III. Clculus of vritions Lecture notes for MA342H P. Krgeorgis pete@mths.tcd.ie 1/43 Introduction There re severl pplictions tht involve expressions of the form Jy) = Lx,yx),y x))dx. For instnce, Jy)

More information

II. Integration and Cauchy s Theorem

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

More information

MATH 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

CHAPTER 4 MULTIPLE INTEGRALS

CHAPTER 4 MULTIPLE INTEGRALS CHAPTE 4 MULTIPLE INTEGAL The objects of this chpter re five-fold. They re: (1 Discuss when sclr-vlued functions f cn be integrted over closed rectngulr boxes in n ; simply put, f is integrble over iff

More information

USA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year

USA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year 1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.

More information

Numerical Integration

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

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

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

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1 Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution

More information

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

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

More information

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

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

More information

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

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

More information

Optimization Lecture 1 Review of Differential Calculus for Functions of Single Variable.

Optimization Lecture 1 Review of Differential Calculus for Functions of Single Variable. Optimiztion Lecture 1 Review of Differentil Clculus for Functions of Single Vrible http://users.encs.concordi.c/~luisrod, Jnury 14 Outline Optimiztion Problems Rel Numbers nd Rel Vectors Open, Closed nd

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

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

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

More information

Calculus I-II Review Sheet

Calculus I-II Review Sheet Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing

More 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

Section 4.8. D v(t j 1 ) t. (4.8.1) j=1

Section 4.8. D v(t j 1 ) t. (4.8.1) j=1 Difference Equtions to Differentil Equtions Section.8 Distnce, Position, nd the Length of Curves Although we motivted the definition of the definite integrl with the notion of re, there re mny pplictions

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

10 Vector Integral Calculus

10 Vector Integral Calculus Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve

More information

Bernoulli Numbers Jeff Morton

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

More information

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

Integrals along Curves.

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

More information

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

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

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure

More information

Line Integrals. Partitioning the Curve. Estimating the Mass

Line Integrals. Partitioning the Curve. Estimating the Mass Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to

More information