REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ORDINARY DIFFERENTIAL EQUATIONS. Bernard Dacorogna. Alessandro Ferriero
|
|
- Timothy Strickland
- 6 years ago
- Views:
Transcription
1 Mnuscript submitted to AIMS Journls Volume X, Number 0X, XX 200X Website: pp. X XX REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ORDINARY DIFFERENTIAL EQUATIONS Bernrd Dcorogn Section de Mthémtiques, EPFL 1015 Lusnne, Switzerlnd Alessndro Ferriero Deprtmento de Mtemátics, Universidd Autónom de Mdrid Cmpus de Cntoblnco, Mdrid, Spin (Communicted by the ssocite editor nme) This rticle is dedicted to Polo Mrcellini on the occsion of his sixtieth birthdy Abstrct. Implicit Ordinry or Prtil Differentil Equtions hve been widely studied in recent times, essentilly from the existence of solutions point of view. One of the min issues is to select meningful solution mong the infinitely mny ones. The most celebrted principle is the viscosity method. This selection principle is well dpted to convex Hmiltonins, but it is not lwys pplicble to the non-convex setting. In this work we present n lterntive selecting principle tht singles out the most regulr solutions (which do not lwys coincide with the viscosity ones). Our method is bsed on generl regulrity theorem for Implicit ODEs. We lso provide severl exmples. Introduction. Let f be function from [, b] R R to R. An Implicit Ordinry Differentil Eqution, s defined by Dcorogn-Mrcellini [7], is n eqution of the form f(t, u(t), u(t)) = 0, for.e. t in (, b), (1) where solutions u re serched in W 1, 0 (, b). As it is well known, under suitble comptibility conditions between the dt nd the function f, this problem dmits priori infinitely mny solutions [7]. The purpose of the present work is to determine criteri to select, mong these infinitely mny solutions, some of them. At the moment there is no generl criterion tht permits to select unique solution in ll contexts. Depending on the eqution some of them re more dpted thn the others. Here re some of the most nturl criteri. 1) The most widely used criterion is the viscosity method introduced in systemtic wy by Crndll-Lions [5, 10]. However powerful nd generl is the method, it essentilly pplies only when the Hmiltonin f is convex in the lst vrible. 2) Another nturl criterion is the one selecting the mximl solution. In mny instnces, the pointwise supremum of solutions is however not solution Mthemtics Subject Clssifiction. Primry: 34A60, 34H05, 35F30, 49J45, 49L25. Key words nd phrses. Implicit ODEs, Differentil Inclusions, Viscosity Solutions, Regulrity. 1
2 2 BERNARD DACOROGNA AND ALESSANDRO FERRIERO 3) We will here emphsize new criterion selecting the most regulr solution. Since we re deling with first order ode s coupled with Dirichlet dt, the rule is tht there re no C 1 solutions nd only Lipschitz ones re to be expected. Therefore it is nturl to choose mong the mny solutions, those tht exhibit the smllest number of discontinuities of their derivtives. In order to mke the lst principle precise, we first estblish generl regulrity result. It sys tht, under only mild nd nturl ssumptions on the boundry dt nd for lrge clss of f, the solutions in W 1, 0 (, b) to (1) hve piecewise continuous derivtive (Theorem 1), with finite number of discontinuities. We therefore define the most regulr solutions s those which hve derivtives with the lest number of discontinuity points. By using this result we show (Theorem 14) tht there exist finite number, tht we provide explicitly, of solutions with t most one discontinuity point of the derivtive. Furthermore, we show n essentil uniqueness result (Theorem 17), tht is, in the strictly convex cse (f strictly convex with respect to u), there exist two solutions, one positive nd one negtive, with t most one discontinuity point of the derivtive. We would like to conclude this introduction pointing out tht we look t Problem (1) essentilly s differentil inclusion. In other words, from our stndpoint, Problem (1) is equivlent to find u in W 1, 0 (, b) tht solves (t, u(t), u(t)) Z f, where Z f is the set of zeros of f, nmely for.e. t in (, b), Z f = {(t, u, ξ) [, b] R R : f (t, u, ξ) = 0}. Therefore, no other properties of f, besides the ones relted to its set of zeros, will ply ny role in our work. Nevertheless, we del throughout the pper with our problem minly in form (1), since this form is the most commonly studied. The pper is orgnized s follows. In Section 1 we present the regulrity result for the derivtive of the solutions to our problem (1); in Section 2 we ddress briefly whether the comptibility condition on the boundry dt re lso necessry for the existence. In Sections 3.1 nd 3.2 we recll the viscosity solution method nd the mximl solution selecting principle nd finlly, in Section 3.3, we present our criterion bsed on choosing the most regulr solutions nd lso the uniqueness result. 1. Regulrity. In this section we present our regulrity results. We prove tht for lrge clss of f, under comptibility condition in order to gurntee existence, the problem (1) dmits solution ū in W 1, 0 (, b) with piecewise continuous derivtive. We denote by C piec ([, b]) the set of piecewise continuous functions, with finite number of discontinuities, nd such tht the left nd the right limits exist nd re finite t every points of [, b]. We lso introduce the set C k piec ([, b]) := {u C piec ([, b]) : u hs t most k continuity intervls}, for given k in N, tht is the set of functions in C piec ([, b]) with t most k 1 discontinuity points. We denote lso by S f the set of solutions to (1), i.e. S f := {u W 1, 0 (, b) : f(t, u, u) = 0}. nd we sy tht function F (t, u) : [, b] R R is continuous in u nd piecewise continuous in t if there exist finite prtition of [, b] in intervls with extreme
3 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES 3 points j < b j, j = 1,, K, such tht F restricted to ny ( j, b j ) R is uniformly continuous. We strt proving the Theorem tht hs centrl role in the present work. Theorem 1. Assume tht Z f contins the zeros of the grph of positive nd negtive function, i.e. Z f contins the zeros of P + (t, u, ξ) := ξ f + (t, u), P (t, u, ξ) := ξ f (t, u), where f +, f : [, b] [0, δ] R re continuous in u, for certin δ > 0, piecewise continuous in t nd f + > 0 > f. Then, (1) dmits W 1, 0 (, b) solution ū + > 0, with ū + in C piec ([, b]). Anlogously, ssume tht Z f contins the zeros of the grph of positive nd negtive function, i.e. Z f contins the zeros of P + (t, u, ξ) := ξ g + (t, u), P (t, u, ξ) := ξ g (t, u), where g +, g : [, b] [ δ, 0] R re continuous in u, for certin δ > 0, piecewise continuous in t nd g + > 0 > g. Then, (1) dmits W 1, 0 (, b) solution ū < 0, with ū in C piec ([, b]). Proof. We cn suppose tht f + nd f re continuous in t on the entire intervl [, b]. The generl cse follows by proceeding s below for every continuity intervls [ j, b j ], j = 1,, K. Let R > 0 be the mximum between f + nd f on [, b] [0, δ]. Consider the Cuchy problem { u(t) = f+ (t, u(t)), u() = 0. t >, (2) By the Cuchy-Peno Theorem, this problem dmits locl solution ū l in C 1 ([, 1 ]), with 1 >. We lso hve tht ny solution to (2) is incresing since f + > 0. By the continuity of ū l nd ū l () = 0, we cn choose 1 such tht ū l (t) is smller thn δ, for ny t in [, 1 ]. We then consider nother Cuchy problem defined by { u(t) = f (t, u(t)), t > 1, (3) u( 1 ) = ū l ( 1 ). Agin this new problem dmits locl solution ū l in C 1 ([ 1, 2 ]) which is now decresing since f < 0. The bound on f implies tht, defining 2 by 2 := 1 + ūl( 1 ) 2R, ū l (t) ū l ( 1 )/2, for ny t in [ 1, 2 ]. Indeed, for ny t in [ 1, 2 ], by definition of R, t ū l (t) = ū l ( 1 ) + f (τ, ū l (τ))dτ ū l ( 1 ) R(t 1 ) 1 Hence, ū l ( 2 ) is greter thn ū l ( 1 )/2 nd is smller thn ū l ( 1 ) < δ. Denoting { f+ if n is even f ( ) n := if n is odd, f by itertion, we cn define ū l on the entire intervl [, b] where ū l is solution to { u(t) = f( ) n(t, u(t)), t > n, u( n ) = ū l ( n ).
4 4 BERNARD DACOROGNA AND ALESSANDRO FERRIERO on [ n, n+1 ], n+1 := n + min{ū l ( 1 )/(2R), b n } nd 0 :=. Observe tht the itertion process stops fter integer prt of 2R(b )/ū l ( 1 ) steps. Furthermore, ū l (b) ūl( 1 ) > 0. 2 Anlogously, strting from b nd proceeding bckwrd in t, we cn define function ū r on [, b] solution to { u(t) = f( ) n+1(t, u(t)), t < b n, u(b n ) = ū r (b n ). on [b n, b n+1 ], b n+1 := b n min{ū r (b 1 )/(2R), b n } nd b 0 := b, ū r (b 0 ) := 0. The itertion process stops fter integer prt of 2R(b )/ū r (b 1 ) steps. Furthermore, ū r () ūr(b 1 ) > 0. 2 Define the function ū + := min{ū l, ū r }. It is continuous on [, b] with piecewise continuous derivtive, ū + () = ū + (b) = 0 nd it stisfies [ ū + (t) f + (t, ū + (t))][ ū + (t) f (t, ū + (t))] = 0. We therefore conclude tht f(t, ū + (t), ū + (t)) = 0 for.e. t in (, b). Anlogously, we cn prove the existence of ū < 0 in cse of g + nd g defined on [, b] [ δ, 0]. We refer to the ssumptions of Theorem 1 s the comptibility condition. Theorem 1 is shrp result (see Section 2). Even if the ssumptions re expressed in term of the set of zeros of f nd not directly on f, function f which does not stisfy such ssumptions must be built on purpose in n rtificil wy. However, in wht follows we propose n explicit generl non-convex clss of functions f which stisfy the needed conditions on its set of zeros. We sy tht function h(ξ) : R R is piecewise strictly monotone incresing (respectively decresing) if there exists loclly finite prtition of intervls of R such tht h is strictly monotone incresing (respectively decresing) on ny of such intervls. Further, function q(t, u) : [, b] R R is loclly monotone incresing (respectively decresing) t u = 0 if there exists δ > 0 such tht q(t, u) q(, 0) (respectively q(t, u) q(, 0)), for ny t in (, b), u in (0, δ). We sy tht q is piecewise loclly monotone t u = 0 if there exits finite prtition of intervls of [, b] such tht q is loclly monotone t u = 0 on ny of such intervls. Theorem 2. Let q(t, u) : [, b] R R be function continuous with respect to u nd piecewise continuous with respect to t nd let h(ξ) : R R be continuous. Suppose tht either h is piecewise strictly monotone, or h is piecewise monotone nd q is loclly piecewise monotone t u = 0, f(t, u, ξ) := q(t, u) + h(ξ), h(0) < q(t, 0), for ny t in [, b], nd h(ξ) +, s ξ. Then, problem (1) dmits two W 1, 0 (, b) solutions ū + > 0 > ū, with ū + nd ū in C piec ([, b]). Proof. Whitout loss of generlity, we cn suppose tht q is continuous with respect to t in the whole intervl [, b]. The generl cse follows by proceeding s below for every continuity intervls [ j, b j ], j = 1,, K. We split the proof in two cses. Cse 1. Suppose tht h is piecewise strictly monotone.
5 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES 5 Let {I j } j N be prtition of (0, + ) such tht h restricted to the interior int(i j ) of I j is strictly monotone nd the I j s re mximl. By the strict monotonicity of h int(ij), the inverse functions h 1 j exist nd re continuous from h(int(i j )) to I j. Furthermore, h(int(i j )) = ( inf h, + ). (0,+ ) j N By the piecewise strict monotonicity of h, there exists prtition 0 := < 1 < < n 1 < b of [, b] nd n integer numbers j 1,, j n such tht h(int(i jk )) { q(t, 0) : t [ k 1, k )}, for k = 1,, n 1, h(int(i jn )) { q(t, 0) : t [ n 1, b]}. Therefore, by continuity, there exists lso δ > 0 such tht h(int(i jk )) { q(t, u) : t [ k 1, k ), u [0, δ)}, for k = 1,, n 1, h(int(i jn )) { q(t, u) : t [ n 1, b], u [0, δ)}. Define { h 1 j f + (t, u) := k ( q(t, u)), (t, u) [ k 1, k ) [0, δ), k = 1,, n 1, h 1 j n ( q(t, u)), (t, u) [ n 1, b] [0, δ), or equivlently in closed form n 1 f + (t, u) := h 1 j k ( q(t, u))χ [k 1, k ) [0,δ)(t, u) + h 1 j n ( q(t, u))χ [n 1,b] [0,δ)(t, u), k=1 which is function from [, b] [0, δ) with vlues in (0, ). Similrly, strting from the prtition of (, 0) of intervls of strict monotonicity for h, we cn define f (t, u) : [, b] [0, δ) (, 0) nd, considering the left neighbourhood of u = 0 insted of the right one, we define g + (t, u) : [, b] ( δ, 0] (0, ) nd g (t, u) : [, b] ( δ, 0] (, 0) nlogously to f + nd f. By construction, if t, u nd ξ re such tht [ξ f + (t, u)][ξ f (t, u)][ξ g + (t, u)][ξ g (t, u)] = 0, then f(t, u, ξ) = 0. Moreover, one cn verify tht f ±, g ± re continuous in u nd piecewise continuous in t. Therefore, by pplying Theorem 1, we conclude tht (1) dmits two W 1, 0 (, b) solutions ū + > 0 > ū, with ū + nd ū in C piec ([, b]). Cse 2. Suppose tht h is piecewise monotone nd q is loclly piecewise monotone t u = 0. Let {I j } j N be prtition of (0, + ) s in Cse 1. Differently thn in the previous cse, since h is not priori strictly monotone, we hve j N h(int(i j )) = ( inf (0,+ ) h, + ) \ {z i} i N, where {z i } i N is set of isolted points of R. By the locl piecewise monotonicity t u = 0 of q nd the piecewise monotonicity of h, there exists prtition 0 := < 1 < < n := b of [, b] nd n integer numbers j 1,, j n such tht h(int(i jk )) { q(t, 0) : t ( k 1, k )}, for k = 1,, n. Therefore, by continuity, there exists lso δ > 0 such tht h(int(i jk )) { q(t, u) : t ( k 1, k ), u [0, δ)}, for k = 1,, n. Defining f + s in Cse 1, with f + ( k, u) := lim h 1 t + j k ( q(t, u)), k
6 6 BERNARD DACOROGNA AND ALESSANDRO FERRIERO for k = 1,, n 1, f + (b, u) := lim t b h 1 j n ( q(t, u)), nd nlogously f, g ±. By pplying Theorem 1, we conclude tht (1) dmits two W 1, 0 (, b) solutions ū + > 0 > ū, with ū + nd ū in C piec ([, b]). We now give severl exmples to discuss the optimlity of Theorem 2. In these exmples but the lst one there exist solutions in W 1, 0 (, b), none of them hving piecewise continuous derivtive, ech one violting different hypothesis. Exmple 3. Let h : R R be the continuous function defined by ξ 2, ξ [0, 5/2) [3, ), h(ξ) := 2(1 2 2n ) 1, ξ [3 2 2n+1, 3 2 2n ), n 1, 3 ξ n + 2(1 2 2n ) 1, ξ [3 2 2n, 3 2 2n 1 ), n 1, nd, for ξ < 0, h(ξ) := h( ξ). Consider, for ny t in [0, 1] nd for ny ξ in R, f(t, ξ) := t 2 + h(ξ). Then, ny solution to (1) in W 1, 0 (0, 1) hs infinitely mny discontinuities close to the point t = 1. The function h does not stisfy the ssumption of piecewise monotonicity. Exmple 4. Let h : R R be the continuous function defined by ξ 2, ξ [0, 2), h(ξ) := 0 ξ [2, 3), ξ 3, ξ [3, ), nd, for ξ < 0, h(ξ) := h( ξ). Consider, for ny u nd ξ in R, f(u, ξ) := u sin 1 u + h(ξ). Then, ny solution to (1) in W 1, 0 (, b) hs infinitely mny discontinuities close to the points t = nd t = b. Anlogously, if f(t, ξ) := t sin 1 t + h(ξ), then, ny solution to (1) in W 1, 0 ( 1, 1) hs infinitely mny discontinuities close to the point t = 0. In both cses the function h is piecewise (but not strictly) monotone but q does not verify the hypothesis of locl piecewise monotonicity t u = 0. Exmple 5. Let f(t, u, ξ) := mx{u 2 t 4, 0} + (1 ξ 2 ) 2. A solution ū in W 1, 0 (0, 1) to (1) with derivtive in C piec ([0, 1]) must stisfy ū(t) t 2 nd ū(t) = 1 (or ū(t) = 1) t every t in right neighbourhood of 0. Therefore, by the bsolute continuity of ū, for ny t smll enough, we obtin t 2 ū(t) = t 0 ū = t, reching contrdiction.
7 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES 7 Notice tht there exists solution in W 1, 0 (0, 1). Indeed, one verifies tht [ (n+1 + n ) 2 ū(t) := 4 t ] n+1 + n 2 χ (n+1, n](t) n=1 [ + 1 ( 1 + 3) 4 t 3 ] χ (1,( 1+1)/2](t) [ + 1 ( 1 + 3) 4 t ] χ ((1+1)/2,1](t), where n+1 := n (1 + n ), 0 := 1, is function in W 1, 0 (0, 1) tht solves (1). The function f does not verify the hypothesis f(t, 0, 0) < 0, for every t in [, b]. Exmple 6. Here is n exmple where there exists solution in W 1, 0 ( 1, 1), but its derivtive does not belong to C piec ([ 1, 1]). Let { tξ 2t 2 sin π f(t, ξ) := t + πt cos π t, t 0, 0, t = 0. A solution ū in W 1, 0 ( 1, 1) to (1) is given by ū(t) := t 2 sin(π/t). Its derivtive does not belong to C piec ([ 1, 1]), becuse lim t 0 ū (t) is not well defined. The function f does neither verify f(t, 0) < 0, for every t in ( 1, 1), nor f(t, ξ) +, s ξ, for every t in ( 1, 1). Exmple 7. We give n exmple of non-existence of solutions in W 1, 0 (0, 1). Let f(u, ξ) := u 2 ξ 2 1. A solution ū in W 1, 0 (0, 1) to (1), if it exists, should stisfy ū(t) ū(t) = 1 nd, therefore, ū(t) 0, for.e. t in (0, 1). Since ū(0) = 0, by the continuity of ū, we obtin tht ū is unbounded in neighbourhood of 0. The function f(0, ξ) does not tend to + s ξ. 2. On The Existence. In this section, we would like to ddress briefly whether the comptibility condition on the boundry dt stted in Theorem 1, tht is sufficient to gurntee the existence of solutions to problem (1), is lso necessry. We discuss the specil cses in which f does not depend either on t or on u. We prove tht the comptibility condition is indeed lso necessry condition for the existence of positive nd negtive solution to (1) in W 1, 0 (, b) with C piec ([, b]) derivtive. More precisely: Theorem 8. Let ū + > 0 > ū in W 1, 0 (, b), with ū in C piec ([, b]), be solutions to (1). Assume tht f is of the form f(t, ξ) or f(u, ξ). Then, there exist two functions f + (t, u), f (t, u) : [, b] [ δ, δ] R continuous in u, for certin δ > 0, piecewise continuous in t nd f + > 0 > f such tht the set Z f of zeros of f contins the zeros of P + (t, u, ξ) := ξ f + (t, u), P (t, u, ξ) := ξ f (t, u). Proof. Cse 1. Suppose tht f(t, u, ξ) = f(t, ξ) does not depend on u. We cn define two piecewise continuous functions f + nd f by f + (t) := ū + (t), f (t) := ū (t),
8 8 BERNARD DACOROGNA AND ALESSANDRO FERRIERO for ny t in [, b]. By definition, ū + is solution to u(t) f + (t) = 0 nd ū is solution to u(t) f (t) = 0, for lmost every t in (, b). Furthermore, by ssumption, f(t, ū + (t)) = 0, f(t, ū (t)) = 0. for t in [, b]. We conclude tht, if ξ f + (t) = 0 or ξ f (t) = 0, then f(t, ξ) = 0, s stted. Cse 2. Suppose tht f(t, u, ξ) = f(u, ξ) does not depend on t. From the ssumed regulrity on ū := ū +, there exists 1 < b 1 in (, b) such tht ū belongs to C 1 ([, 1 ] [b 1, b]) nd ū is respectively incresing on [, 1 ] nd decresing on [b 1, b]. We cn define two continuous functions f + nd f by f + (u) := ū(ū 1 [, 1] (u)), f (u) := ū(ū 1 [b 1,b] (u)), for ny u in [0, min{ū( 1 ), ū(b 1 )}]. By definition, ū is solution to u(t) f + (u(t)) = 0, for t in [, 1 ], u(t) f (u(t)) = 0, for t in [b 1, b]. Tht implies, by the chnges of vrible t = ū 1 [, 1] (u) or t = ū 1 [b (u), 1,b] f(u, f + (u)) = 0, f(u, f (u)) = 0, for ny u in [0, min{ū( 1 ), ū(b 1 )}]. We infer tht, if ξ f + (u) = 0 or ξ f (u) = 0, then f(u, ξ) = 0. To conclude, we proceed nlogously s bove with ū := ū in order to extend the definition of f + nd f to the left of Selecting Principles. In this section we present three selecting principles for solutions to (1). Nmely, the viscosity method developed by Crndll-Lions, the mximl solutions method nd the most regulr solutions method. Before presenting these methods, we would like to recll here simple exmple of Georgy [8] showing tht these three methods select, in generl, different solutions. However if the function f is convex in the vrible ξ nd incresing in the vrible u, then the three methods select the sme solution. Consider the continuous function f given by (ξ + 1) f(t, ξ) := t + ξ in (, 3/2] ξ + 2 ξ in ( 3/2, 1] ξ ξ in ( 1, 1] (ξ 2) ξ in (1, 3/2] ξ 1 ξ in (3/2, ). Let β R nd u 0 (t) = tβ/2. We then look for solutions u u 0 + W 1, 0 (0, 2) of f(t, u(t)) = 0, for.e. t in (0, 2). (4) In [8], the following results re proved. (i) Eqution (4) hs solution u u 0 +W 1, 0 (0, 2) if nd only if β [ 7/2, 7/2]. Moreover, in the intervl of existence β [ 7/2, 7/2], there lwys exists mximl (nd miniml) solution nd lso solution with t most two points of discontinuities of the derivtive. (ii) In β [ 7/2, 2] [2, 7/2], there exists solution with t most one point of discontinuity. (iii) There re no C 1 solutions. (iv) There exists viscosity solution if nd only if β [ 3, 7/2]. However, in this intervl if, moreover, β 3, 2, 7/2, then ny viscosity solution hs t lest two points of discontinuities of its derivtive. Therefore, the viscosity solution is not
9 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES 9 lwys the most regulr solution. It cn lso be seen tht the viscosity solutions cn be different from the mximl one s we dd other wells to the function f The Viscosity Solutions. In this section, we would like to recll very briefly few fcts on the viscosity solutions. For more detils, we refer to [1, 5, 10]. The nme viscosity refers to the so-clled vnishing viscosity term ɛü (or ɛ u in the multidimensionl cse). Indeed solutions u of (1) re obtined s the limit of the sequence u ɛ which re solutions of the second order eqution ɛü ɛ (t) + f(t, u ɛ (t), u ɛ (t)) = 0, t (, b). This method is, by now, more generl nd does not refer nymore to the bove limit procedure nd the following definition is now the stndrd one. Definition 9. A continuous function u is viscosity solution to (1) if nd only if for ll φ in C 1 (, b) such tht u φ hs locl mximum t t 0 in (, b), then f(t 0, u(t 0 ), φ(t 0 )) 0, nd for ll φ in C 1 (, b) such tht u φ hs locl minimum t t 0 in (, b), then f(t 0, u(t 0 ), φ(t 0 )) 0. For the existence nd uniqueness of the viscosity solutions in W 1, 0 (, b) to (1), the bsic ssumptions re, s lredy sid, the convexity with respect to ξ nd the incresing monotonicity with respect to u of f(t, u, ξ) (see [10]). The convexity is essentilly necessry condition not only for the uniqueness of viscosity solutions but lso for the existence, s the bove exmple of Georgy shows (for β in [ 7/2, 3)) The Pointwise Mximl Solution. In the cse where f does not depend explicitly on the vrible u, it cn esily be proved s in [8] tht there exists mximl solution. The result is however flse, in generl, if the Hmiltonin depends explicitly on u s will be seen in Exmple 12. Theorem 10. If Z f [, b] R is closed set, bounded with respect to ξ nd { } S f = u W 1, 0 (, b) : (t, u) Z f, then ū S f where ū(t) := sup u(t), for ny t in [, b], Remrk 11. In prticulr, if we ssume tht f(t, ξ) is continuous, f(t, 0) < 0 nd f(t, ξ) +, s ξ, for ny t [, b], then the set verifies the ssumptions of the theorem. Z f = {(t, ξ) [, b] R : f(t, ξ) = 0} Proof. Since, by ssumption, Z f is bounded with respect the lst vrible, there exists ρ > 0 such tht Z f [, b] [ ρ, ρ]. Hence, Observing tht u L (,b) ρ, for ny u in S f. sup u u = 0 inf u,
10 10 BERNARD DACOROGNA AND ALESSANDRO FERRIERO by continuity it follows tht there exists point t in [, b] such tht t sup u + t inf u = 0. (If there exist such two points t 1 < t 2, then u = sup ū(t) := sup u, t [, t], inf u, t ( t, b]. u = inf u in ( t 1, t 2 ).) Set By definition, ū(t) := t ū belongs to W 1, 0 (, b). Furthermore, for ny t in [, t] ū(t) = t sup u t u = u(t), nd, s t belongs to ( t, b], ū(t) = inf u u = u(t), t t for ny u in S f. Hence, ū sup{u : u S f }. We re left to prove tht u is solution. In fct, by the fct tht Z f is closed, we hve (t, ū(t)) = (t, sup u(t)), t [, t], (t, inf u(t)), t ( t, b], nd hence (t, ū(t)) Z f = Z f. We conclude tht ū = sup u is solution to (4). We now emphsize tht the result is not true in cse Z f depends on u. In fct, consider the following exmple. Exmple 12. The pointwise mximl, mong ll solutions, function might not be solution in cse f depends explicitly on u. If we let then does not belong to S f. f(u, ξ) := mx{u 2 1, 0} + (ξ 2 1) 2, = 0 nd b = 4, ū(t) = sup u(t) = u S Zf t, t [0, 1], 1, t (1, 3], 4 t, t (3, 4], In the theorem below, we recll result contined in [8] giving necessry nd sufficient condition for the existence of (mximl) solution to (1). Theorem 13. Let f : [, b] R R, f = f(t, ξ), be continuous function. If the set E(t) := {ξ R : f(t, ξ) = 0} is non-empty nd bounded for ny t in [, b], then, there exists mximl solution ū W 1, 0 (, b) to (1) if nd only if min{ξ E(t)}dt 0 mx{ξ E(t)}dt.
11 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES The Most Regulr Solutions. In this section we present our selecting principle bsed on choosing the most regulr solution. Furthermore, in Theorem 17 we give uniqueness result under convexity ssumption. To illustrte our purpose, we strt with n elementry exmple, nmely the eikonl eqution u(t) = 1, for.e. t in (0, 1). (5) As it is well known, this problem dmits infinitely mny solutions. For instnce, for ny integer j, the function { t i2 ū j (t) := j, t [i2 j, (i )2 j ], i = 0, 1,, 2 j 1 (i + 1)2 j t, t [(i )2 j, (i + 1)2 j ], i = 0, 1,, 2 j 1 is solution of (5). Even if we look t the solutions with fixed number of discontinuity points for the derivtive, we obtin infinitely mny functions. Indeed, if k = 3, the functions ū α (t) := tχ [0,α) (t) + (α t)χ [α,(α+1)/2) (t) + (t 1)χ [(α+1)/2,1] (t) re solutions to (5), for ny rel α (0, 1/2). Anlogously, we cn find infinitely mny solutions for every k > 3. Nevertheless, the solutions with exctly one discontinuity point for the derivtive re just two, nmely ū + (t) := 2 1 t 2 1, ū (t) := t 2 1, nd there re no C 1 solutions. Incidentlly the function ū + is the unique viscosity solution of (5). In the theorem below, under simple ssumptions on the set of zeros of f, we cn gurntee the existence of finite number of solutions whose derivtive dmits t most one discontinuity point. More precisely, we show tht if Z f is the union of n + positive nd n negtive grphs of continuous functions f i +(t, u), f i (t, u) : [, b] R R, with f i 0 f i +, then there re solutions to (1) with t most one point of discontinuity of the derivtive, nd there exist t most 2n + n such solutions. If we ssume tht the zeros do not intersect the plne ξ = 0, mening tht f i < 0 < f i +, we cn then prove tht the solutions of (1) with miniml number of discontinuity points hve exctly one singulrity, nd there exist t most 2n + n solutions of this type. Note tht, we cn lwys suppose, without chnging the problem (1), tht f i + nd f i re defined over the entire spce [, b] R (but clerly without supposing tht they re continuous on [, b] R in generl) by considering f i +(t, u) := mx{f i +(t, u), 0} nd f i (t, u) := min{f i (t, u), 0}. Theorem 14. Assume tht the set Z f of zeros of f is finite union of n + positive nd n negtive continuous grphs, nmely where Z f = n + i=1 P i +(t, u, ξ) := ξ f i +(t, u), Z P i + n Z P i i=1 P i (t, u, ξ) := ξ f i (t, u),
12 12 BERNARD DACOROGNA AND ALESSANDRO FERRIERO f i +, f i : [, b] R R re loclly Lipschitz with respect to u, continuous with respect to t, f i 0 f i + nd one of them hs sub-liner growth, i.e. f i +(t, u) (or f i (t, u) ) m u + q, for certin m > 0, q R nd for ny (t, u) [, b] R. Then, the solutions to (1) with miniml number of discontinuity points hve derivtive in C 2 piec ([, b]), i.e. the derivtive hs t most one singulrity, nd there exist t lest 2 nd t most 2n + n solutions of this type. Remrk 15. Theorem 14 sttes the existence of t most 2n + n solutions. The fct tht we might lose some solutions is due to the structure of the zeros of f. If, for instnce, we ssume tht the functions f i + nd f i do not intersect one with echother, then, we do not lose ny solution nd therefore we obtin exctly 2n + n distinct solutions. Proof. We first prove the existence of solution to (1). For ny i = 1,, n +, consider the Cuchy problem { u(t) = f i +(t, u(t)), t >, (6) u() = 0. By the Cuchy-Lipschitz Theorem nd the growth ssumption on f+ i this problem dmits globl solution ū i l C 1 ([, b]), with ū i l () = 0. We lso hve tht ūi l is incresing since f + 0. Anlogously, for ny j = 1,, n, considering the Cuchy problem { u(t) = f j (t, u(t)), t < b, (7) u(b) = 0, we hve C 1 solution ū j r in right neighbourhood of t = b, with ū j r(b) = 0 nd ū j r + t the left extreme of tht neighbourhood, nd ū j r is decresing. Defining ū i,j (t) := min{ū i l(t), ū j r(t)}, t [, b], we obtin tht ū i,j belongs to W 1, 0 (, b) nd ū i,j belongs to the spce C 2 piec ([, b]). Indeed, by the monotonicity of ū i l, ūj r, there exists exctly one point t i,j such tht ū i,j (t) = ū i l(t)χ [,ti,j)(t) + ū j r(t)χ [ti,j,b](t). Note tht, if ū i l (t i,j) = ū j r(t i,j ), then both derivtives ū i l (t i,j), ū j r(t i,j ) must be equl to 0 nd, hence, ū i,j hs continuous derivtive on the whole [, b]. (If we hd considered f j sub-liner insted of f i +, proceeding s bove we would hve obtined the sme result.) Now, if we consider problem (6), for every i = 1,, n +, nd problem (7), for every j = 1,, n, we define t most 2n + n solutions to (1) nd no more thn 2n + n, by the locl Lipschitzinity of f i + nd f j. If we suppose tht f i +, f i do not ssume the vlue zero, i.e. f i < 0 < f i + on [, b] R, then, from the proof of Theorem 14, it follows tht the solutions to (1) with miniml number of discontinuity points hve derivtive with exctly one singulrity. The eikonl eqution belongs to this clss. We therefore obtin the following corollry.
13 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES 13 Corollry 16. Assume tht the set Z f of zeros of f is finite union of n + positive nd n negtive continuous grphs, nmely where Z f = n + i=1 P i +(t, u, ξ) := ξ f i +(t, u), Z P i + n Z P i i=1 P i (t, u, ξ) := ξ f i (t, u), f i +, f i : [, b] R R re loclly Lipschitz with respect to u, continuous with respect to t, f i < 0 < f i + nd one of them hs sub-liner growth. Then, the solutions to (1) with miniml number of discontinuity points hve derivtive with exctly one singulrity, nd there exist t lest 2 nd t most solutions of this type. 2n + n Proof. It follows directly from Theorem 14 tht, since ū i r < 0 < ū j l on [, b] nd ū i,j () = ū i,j (b) = 0, the function ū i,j cnnot hve continuous derivtive on [, b]. As consequence of Theorem 14, we obtin tht, for n + = n = 1, there exist exctly two solutions, one positive nd one negtive, to (1) with derivtive in 1, C 2 piec ([, b]). For instnce, the problem of finding u in W0 (, b) solution to u(t) = f(t, u(t)), for.e. t in (, b), with f loclly Lipschitz with respect to u nd f 0, for ny (t, u) [, b] R, dmits exctly positive nd negtive solution in W 1, 0 (, b) with derivtive with t most one discontinuity. In the sme spirit of the observtion bove, if we ssume the strict convexity of f with respect to ξ, we cn prove the essentil uniqueness of the most regulr solution. Theorem 17. Assume tht f is continuously differentible function, strictly convex with respect to ξ, f(t, u, 0) < 0 nd f(t, u, ξ) χ [,b] {(u,ξ) R2 : ξ m u +q}(t, u, ξ), for certin m > 0, q in R nd for ny (t, u) [, b] R. Then, the solutions of (1) with miniml number of discontinuity points hve derivtive in C 2 piec ([, b]) nd there exist exctly 2 solutions of this type, one positive nd one negtive. Proof. From the Implicit Function Theorem, there exists two functions f + (t, u) nd f (t, u) in C 1 ([, b] R) such tht f(t, u, f ± (t, u)) = 0. Therefore, the result follows from Corollry 16. The eikonl eqution (5) stisfies the ssumptions of Theorem 17 nd, in fct, it dmits exctly 2 solutions, one positive nd one negtive, with one discontinuity point of the derivtives, nd it does not dmit C 1 solutions. A prticulr cse of Theorem 14 is provided by function f which is polynomil in ξ of even degree.
14 14 BERNARD DACOROGNA AND ALESSANDRO FERRIERO Corollry 18. Let f i : [, b] R R, i = 0,, 2N, be continuous functions, loclly Lipschitz with respect to u, such tht f 0 (t, 0) < 0, for ny t in [, b]. Let f(t, u, ξ) := 2N i=0 ξ i f i (t, u). Then, the solutions of (1) with miniml number of discontinuity points hve derivtive in C 2 piec ([, b]) nd there exist t lest 2 nd t most 2n + n solutions of this type, where n + is the number of ξ > 0 such tht f(t, 0, ξ) = 0 nd n is the number of ξ < 0 such tht f(t, 0, ξ) = 0. Proof. The proof follows directly from Theorem 14. We now discuss the optimlity of our Theorem 14 through two simple exmples. Exmple 19. If we drop the Lipschitz ssumption with respect to u, we might end up with more solutions thn the ones stted by Theorem 14. Indeed, consider f(u, ξ) := (ξ 1 u 2 )(ξ + 1 u 2 ), for.e. t in (0, 2π). (8) Eqution (1) dmits exctly four solutions with continuous derivtive, tht re ū 1 (t) := sin t, ū 2 (t) := sin t, ū 3 (t) := sin(t)χ [0,π/2) (t) + χ [π/2,3π/2] (t) sin(t)χ (3π/2,2π] (t) nd ū 4 (t) := ū 3 (t), while if f + nd f were Lipschitz in u, the solutions would be only two (cf. lso Exmple 21). Exmple 20. The ssumption on the zeros of f to be the grph of continuous functions defined for ny u in R is optiml. In fct, consider the modified eikonl eqution u(t) 3 8 χ { ξ u 8/3}(u(t), u(t)) u(t) 1 χ { ξ > u 8/3}(u(t), u(t)) = 0,.e. t (0, 1). This problem dmit infinitely mny solutions with derivtive in C k piec ([0, 1]), for ny k 3, but it does not dmit solutions for k = 1, 2. Observe tht f(u, ξ) = u 3 8 χ { ξ u 8/3}(u, ξ) ξ 1 χ { ξ > u 8/3}(u, ξ) is convex in ξ (nd lso in u). The set Z f is the rectngle with sides prllel to the xis u nd ξ of coordintes ξ = 3/8, 3/8 nd u = 1, 1. Finlly we conclude with nother exmple showing tht there is non-uniqueness even mong smooth solutions. Exmple 21. Consider Let α i C ([0, 1]), i = 1,, n, f (t, ξ) = with 1 n [ξ α i (t)], i=1 0 α i (t) dt = 0.
15 REGULARITY AND SELECTING PRINCIPLES FOR IMPLICIT ODES 15 then re smooth solutions of u i (t) = t 0 α i (s) ds, i = 1,, n, f (t, u i (t)) = 0 with u i (0) = u i (1) = 0. Note tht when n = 2, the function ξ f (t, ξ) is even strictly convex. Acknowledgement. The second uthor wishes to thnk the Section de Mthémtiques, EPFL, Switzerlnd, where the work ws prtilly written, nd the Spnish Ministry of Eduction nd Science (MEC) which prtilly supported this reserch. REFERENCES [1] ( ) Brdi, M., Cpuzzo-Dolcett, I., Optiml control nd viscosity solutions of Hmilton-Jcobi-Bellmn equtions, Systems nd Control: Foundtions nd Applictions. Birkhäuser Boston, Inc., Boston, MA, [2] ( ) Bressn, A., Flores, F., On totl differentil inclusions, Rend. Sem. Mt. Univ. Pdov 92 (1994), [3] ( ) Cellin, A., On the differentil inclusion x { 1, 1}, Atti Accd. N. Lincei Rend. Cl. Sci. Fis. Mt. Ntur. (8) 69 (1980), n. 1-2, 1 6. [4] ( ) Cellin, A., Ferriero, A., Mrchini, E.M.,On the existence of solutions to clss of minimum time control problems nd pplictions to Fermt s principle nd the Brchistochrone, Systems Control Lett. 55 (2006), n. 2, [5] ( ) Crndll, M.G.; Lions, P.-L., Viscosity solutions of Hmilton-Jcobi equtions, Trns. Amer. Mth. Soc. 277 (1983), n. 1, [6] ( ) Cutrì, A., Some remrks on Hmilton-Jcobi equtions nd nonconvex minimiztion problems, Rend. Mt. Appl. (7) , n. 4, (1994). [7] ( ) Dcorogn, B., Mrcellini, P.,Implicit Prtil Differentil Equtions, Progress in Nonliner Equtions nd their Applictions, 37 Birkhäuser Boston, Inc., Boston, MA, [8] Georgy, N., Equtions de type implicite du premiere ordre, Ph.D. Thesis, EPFL (1999). [9] ( ) Georgy, N., On existence nd non existence of viscosity solutions for Hmilton- Jcobi equtions in one spce dimension, Ricerche Mt., 49 (2000), n. 2, [10] ( ) Lions, P.-L., Generlized solutions of Hmilton-Jcobi equtions, Pitmn, London, [11] ( ) Mrcellini, P., Nonconvex integrnds of the clculus of vritions, Methods of nonconvex nlysis (Vrenn, 1989), 16 57, Lecture Notes in Mth., 1446, Springer, Berlin, [12] ( ) Pinigini, G., Differentil Inclusions. The Bire ctegory method, Methods of nonconvex nlysis (Vrenn, 1989), , Lecture Notes in Mth., 1446, Springer, Berlin, [13] ( ) Wheeden, R., Zygmund, A., Mesure nd Integrl, Mrcel Dekker, E-mil ddress: bernrd.dcorogn@epfl.ch E-mil ddress: lessndro.ferriero@gmil.com
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 informationTHE 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 informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationW. 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 informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationReview 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 informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationFrobenius numbers of generalized Fibonacci semigroups
Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
More informationCalculus 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 informationUNIFORM 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 information1.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 informationLECTURE. INTEGRATION AND ANTIDERIVATIVE.
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development
More information1.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 informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationON THE C-INTEGRAL BENEDETTO BONGIORNO
ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives
More informationS. S. Dragomir. 2, we have the inequality. b a
Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationThe Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.
Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationA 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 informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
More informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More informationExam 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 informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More informationS. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:
FACTA UNIVERSITATIS NIŠ) Ser Mth Inform 9 00) 6 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Dedicted to Prof G Mstroinni for his 65th birthdy
More informationMath 1431 Section M TH 4:00 PM 6:00 PM Susan Wheeler Office Hours: Wed 6:00 7:00 PM Online ***NOTE LABS ARE MON AND WED
Mth 43 Section 4839 M TH 4: PM 6: PM Susn Wheeler swheeler@mth.uh.edu Office Hours: Wed 6: 7: PM Online ***NOTE LABS ARE MON AND WED t :3 PM to 3: pm ONLINE Approimting the re under curve given the type
More informationMath 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 informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationThe Henstock-Kurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
More informationTRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS
TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS S.S. DRAGOMIR AND A. SOFO Abstrct. In this pper by utilising result given by Fink we obtin some new results relting to the trpezoidl inequlity
More informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
More informationWHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =
WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationBernoulli 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 informationNEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS. := f (4) (x) <. The following inequality. 2 b a
NEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS MOHAMMAD ALOMARI A MASLINA DARUS A AND SEVER S DRAGOMIR B Abstrct In terms of the first derivtive some ineulities of Simpson
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More information4.4 Areas, Integrals and Antiderivatives
. res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order
More informationConvex 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 informationPositive Solutions of Operator Equations on Half-Line
Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com
More informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
More informationMath 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 informationThe Riemann-Lebesgue Lemma
Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More informationIntroduction 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 informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationMAA 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 informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationNote 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
More informationMultiple Positive Solutions for the System of Higher Order Two-Point Boundary Value Problems on Time Scales
Electronic Journl of Qulittive Theory of Differentil Equtions 2009, No. 32, -3; http://www.mth.u-szeged.hu/ejqtde/ Multiple Positive Solutions for the System of Higher Order Two-Point Boundry Vlue Problems
More informationDuality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.
Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we
More informationSummary of Elementary Calculus
Summry of Elementry Clculus Notes by Wlter Noll (1971) 1 The rel numbers The set of rel numbers is denoted by R. The set R is often visulized geometriclly s number-line nd its elements re often referred
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationMain 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 informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationNotes 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 informationDYNAMICAL SYSTEMS SUPPLEMENT 2007 pp Natalija Sergejeva. Department of Mathematics and Natural Sciences Parades 1 LV-5400 Daugavpils, Latvia
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 920 926 ON THE UNUSUAL FUČÍK SPECTRUM Ntlij Sergejev Deprtment of Mthemtics nd Nturl Sciences Prdes 1 LV-5400
More informationSOLUTIONS 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 informationCalculus 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 informationThe Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
More informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationLecture 14: Quadrature
Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationConservation 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 informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationMath 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 informationAbstract 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