UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY
|
|
- Everett Cummings
- 5 years ago
- Views:
Transcription
1 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY YIFEI PAN, MEI WANG, AND YU YAN ABSTRACT We study ordinry differentil equtions of the type u n t = fut with initil conditions u0 = u 0 = = u 1 0 = 0 nd u 0 0 where n, no dditionl ssuption is de on f We estblish soe uniqueness results nd show tht f is lwys Hölder continuous 1 INTRODUCTION The question of finding criteri for the uniqueness of solutions hs been constnt thee in the study of ordinry differentil equtions for very long tie, nd welth of results hve been estblished The ost quoted one in textbooks is perhps the Lipschitz uniqueness theore, which sttes tht in the eqution y n x = fx, y, y,, y n 1, if the function fx, z 1, z 2, z n is Lipschitz continuous with respect to z 1, z 2, z n, then the initil vlue proble hs unique locl solution Generlly speking, to ensure the uniqueness of solutions to n ODE, we need to ssue soe condition on the function f besides continuity, the Lipschitz condition being one exple Most of the reserch in this topic hs been devoted to finding the pproprite condition, nd there re ny nice results such s the clssicl theores by Peno, Osgood, Montel-Tonelli, nd Nguo The onogrph 1] provides n extensive nd systetic tretent of the vilble results In this pper, we pproch the uniqueness proble fro different perspective nd relte it to the unique continution proble We study utonoous ODEs of the type u n t = f u t where u C 0, 1] nd no dditionl ssuption is de on the function f If we ssue the initil conditions u0 = u 0 = = u n 1 0 = 0, the solution is not unique The following is trivil exple Exple 1 ut = t 3 stisfies u t = 6u 1 3 nd u0 = u 0 = 0 Another solution to this initil vlue proble is u 0 It is no surprise tht uniqueness fils in this exple becuse the function fu = 6u 1 3 is not Lipschitz ner 0 Fro nother perspective, this exple shows tht if solution nd its derivtives up to order n 1 ll vnish t 0, it is not gurnteed to be the zero function On the other hnd, however, even if ll its derivtive vnish t 0, the solution still y not be identiclly 0 Exple 2 The function is in C 0, 1] nd ut = { e 1 t 0 < t 1 0 t = 0 1 u k 0 = 0 for ll k N Let 1
2 2 YIFEI PAN, MEI WANG, AND YU YAN Then ut stisfies the eqution fs = { sln s 2 s > 0 0 s = 0 u = fu However, this eqution hs nother solution u 0, which lso stisfies?? This function ut is lso clssicl exple in the study of the unique continution proble, tht is, when cn we conclude tht function is loclly identiclly zero if its derivtives ll vnish t point One result long this line is given in 3] Theore 11 3] Let gx C, b], 0, b], nd g k x 2 g n x C n 1 k=1 for soe constnt C nd soe n 1 Then iplies, x, b] x n k g k 0 = 0 k 0 g 0 on, b] The order of singulrity of x t 0 in??, ie n k, is shrp, s one exple in 3] shows This theore is crucil to the proof of our in theore below The previous two exples suggest tht to gurntee uniqueness ner 0, the solution needs to vnish to sufficiently high order, but not to the infinite order So we ssue tht it stisfies the initil conditions u0 = u 0 = = u 1 0 = 0 nd u 0 = 0, where n Tht is, the order of the lowest non-vnishing derivtive of u t 0 is no less thn the order of the eqution Fro the eqution it is not difficult to see tht f is differentible wy fro 0, however, it is not differentible t 0 In fct, f is not Lipschitz ner 0, s shown by Exple 1 with = 3 Due to the lck of infortion bout the regulrity of f, the vilble uniqueness theory no longer pplies to this type of equtions We will show tht becuse u hs sufficiently high vnishing order t 0, such solutions re unique ner 0 Specificlly, we hve the following result Theore 12 Let ut C 0, 1 be solution of the differentil eqution 3 u n t = f u t, where n 1 nd f is function Assue tht u stisfies 4 u0 = u 0 = = u 1 0 = 0 nd u 0 = 0 with n Then such solution ut is unique for t ner 0 The proof of Theore?? is crried out in two steps First, we show the following result concerning the derivtives of u t 0
3 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 3 Le 13 Let ut be solution tht stisfies Equtions?? nd?? The derivtive of u t 0 of ny order equl to or higher thn, tht is, u k 0 for ny k, depends only on, n, nd the behvior of the function f ner 0 In the second step, suppose there re two solutions u nd v, both stisfying?? nd??, then by the previous le the function ut vt nd ll its derivtives vnish t 0 Mking use of Theore??, we cn show tht u v 0 Typiclly, for n n-th order ODE we need only n initil conditions This theore shows tht in soe sense, the lck of infortion bout f cn be copensted by ssuing dditionl derivtive infortion t the initil point Interestingly, it turns out tht the solution is unique s long s the vnishing order is no less thn the order of the eqution, but the ctul vnishing order nd the vlue of the lowest non-zero derivtive re not essentil Theore 14 Suppose u 1 nd u 2 re two solutions of Eqution?? nd they stisfy 5 u 1 0 = u 10 = = u = 0, u 1 0 = 0 nd 6 u 2 0 = u 20 = = u l = 0, u l 2 0 = b 0 where, l n Then = l, = b nd u 1 u 2 for sll t The proof of Le?? will be given in Section??, nd the proof of Theores?? nd?? will be given in Section?? Nturlly, we would like to sk if the result still holds if one of the solutions in Theore?? hs vnishing order lower thn n, the order of the eqution We propose the following conjecture Conjecture 1 Suppose Eqution?? hs solution ut which stisfies?? with n Then it cnnot possess nother solution vt which stisfies initil conditions where l < n v0 = v 0 = = v l 1 0 = 0 nd v l 0 = b 0, We cn show tht this conjecture is true if = n + 1 or l nd re reltively prie However, there re soe difficulties in the generl cse nd we hve not been ble to prove the full conjecture Although in Theores?? nd?? we do not need to ke ny ssuptions bout the function f, we cn ctully obtin interesting infortion bout it Suppose there is function ut which stisfies Condition??, then s shown in Section??, loclly t cn be expressed s function of u, therefore we cn express u n t loclly s function f of u, so u n t = fu The next theore shows tht the function f is Hölder continuous in n intervl 0, δ] for sll δ > 0 Theore 15 Suppose function ut stisfies Condition??, then Eqution?? holds for soe function f where n, nd there is constnt δ > 0 such tht f is uniforly Hölder continuous in the intervl 0, δ]
4 4 YIFEI PAN, MEI WANG, AND YU YAN This theore is proved fter Theore?? in Section?? A sury of Theores?? nd?? is tht ny sooth function of finite order vnishing t 0 is unique locl solution of differentil eqution in the for of??, where f is differentible in the interior nd uniforly Hölder continuous up to the boundry In Theores?? nd??, the high order vnishing condition?? llows us to obtin uniqueness results without ny extr ssuption on f This phenoenon is only found in utonoous equtions like?? For generl ODEs of the for dn u = f t, u, du,, dn 1 u, such results n n 1 cnnot be expected becuse there is ore thn one expression for f For exple, Exple 3 Let ut = t 4 It stisfies the initil conditions Its derivtives re u0 = u 0 = u 0 = u 3 0 = 0 nd u 4 0 = 24 u t = 4t 3, nd u t = 12t 2 We cn express u s function f of u nd u in different wys such s or or or u t = 192u2 u 2, u t = 3u 2 4u, 2 1 u 7 t = 12 4 uu, u t = 12u u In the first two equtions f is not continuous t the origin, while in the lst two equtions f is Hölder continuous t the origin This siple exple shows tht the function f cn be expressed in vrious wys nd tht in order to study the uniqueness we need to ipose very specific ssuptions on f Our work ws otivted by 2] in which Li nd Nirenberg studied siilr second order PDE: u = fu, where u = ut, x C R k+1 hs non-vnishing prtil derivtive t 0 which cn be expressed in the for ut, x = t + Ot +1, 0, t R nd x R k They showed tht if two solutions u nd v stisfy u v, then u v Theore?? cn be viewed s n iproveent of their result in the one-diensionl cse to rbitrry order nd without the coprison condition u v 2 THE PROOF OF LEMMA?? Without loss of generlity, we cn ssue tht > 0 First, we show tht, the -th derivtive of u t 0, only depends on, n, nd the function f
5 Define UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 5 7 x = Then This iplies tht u 1 x = t + O t +1 1 = t 1 + Ot x 8 1 s t 0 t We cn lso write u = x Tking the derivtive with respect to t, we get du 1 d x = x t 1 + Ot = x t 1 t x + O = d x 1 x 1 1 d x In the second eqution bove nd in the nlysis tht follows, we forlly differentite the Tylor expnsion with the big-o nottion A detiled discussion of this differentition is provided in the Appendix In light of??, it follows tht d x 9 t=0 = 1 By the Inverse Function Theore, t cn be expressed s function of x: t = x + O x 2 Then Siilrly, t n+1 t n = x + O x 2 n = x n 1 + O x = x n O x Thus 10 fu = u n = 1 n + 1t n + O t n+1 x n+1 = 1 n + 1 x n + O u n = 1 n O = n n 1 n + 1u + O u n+1 u n+1 by Eqution?? Therefore, 11 n = li u 0 fu 1 n + 1u n This shows tht is copletely deterined by, n, nd the behvior of the function f ner 0
6 6 YIFEI PAN, MEI WANG, AND YU YAN Next, we show tht the + 1-th derivtive of u t 0 lso only depends on, n, nd f Write u s 12 ut = t + +1 t +1 + Ot +2 We will show tht +1 only depends on, n, nd the behvior of f t 0 Express t s 13 t = x + b 2 x 2 + O x 3 We would like to obtin n expression for b 2 in ters of the derivtives of u t 0 To do this, we tke the derivtive with respect to t on both sides of d x = 1 By the Product Rule nd Chin d x Rule, we hve 14 d d x d x + d x d d x d 2 t d x d x 2 d x d 2 x 2 d x + d x d 2 x 2 d x + We would like to evlute Eqution?? t t = 0 Fro u 1 x = = = t = t t + +1 t+1 + O t t + Ot ] 1 +1 t + Ot2 = t + +1 t2 + Ot 3, we know tht 15 Fro?? we know tht = 0 = 0 2 d2 t d x 2 = t + Ot2 + Ot ] 3 d 2 x 2 t=0 = 2 +1 d x d 2 t t=0 = 1 nd d x 2 t=0 = 2b 2 Thus if we evlute Eqution?? t t = 0, we get b 2 = 0, therefore
7 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 7 16 b 2 = +1 Now, fro Eqution?? we hve t n = x + b 2 x 2 + O x 3 n = x n 1 + b 2 x + O x 2] n = x n 1 + n b 2 x + O x 2 + O x 2] = x n + nb 2 x n+1 + O x n+2 Siilrly t n+1 = x n+1 + n + 1b 2 x n+2 + O x n+3 t n+2 = O x n+2 Then fro Eqution?? nd the bove expressions for the powers of t, we hve u n = 1 n + 1t n n + 2t n+1 + O t n+2 = 1 n + 1 x n + nb 2 x n+1 + O x n+2] n + 2 x n+1 + n + 1b 2 x n+2 + O +O x n+2 = 1 n + 1 x n + 1 nb n + 2] x n+1 + O Thus by fu = u n nd??, we hve x n+3] x n+2 fu = 1 n + 1 x n + 1 nb n + 2 ] x n+1 + O u n = 1 n nb n + 2 u n+2 +O = n n 1 n + 1u + +O n 1 This ens tht ] u n+1 ] 1 nb2 + n n + 2 u n+2 x n+2 u n+1
8 8 YIFEI PAN, MEI WANG, AND YU YAN n 1 1 nb2 + n n + 2 fu n 1 n + 1u n = li u 0 u n+1 By??, this cn be written s n 1 1 n +1 fu n 1 n + 1u n = li u 0 u n+1 After collecting siilr ters, we get Consequently, n 1 + n n n n] fu n 1 n + 1u n = li u 0 +1 = n+1 li u 0 u n+1 fu n 1 n + 1u n u n n n Since we hve proved tht only depends on, n, nd f, Eqution?? shows tht +1 is lso copleted deterined by, n, nd the behvior of f ner 0 By??, this lso shows tht b 2 depends only on, n, nd f Then, we will use theticl induction to show tht ll the derivtives of u t 0 of order higher thn re copletely deterined by, n, nd f Express u nd t s 18 ut = t + +1 t k t +k + +k+1 t +k+1 + O t +k+2, 19 t = x + b 2 x b k+1 x k+1 + b k+2 x k+2 + O x k+3 Suppose tht for k 1,, +1,, +k, b 2,, b k+1 re ll deterined only by by, n, nd f, we will show tht +k+1 nd b k+2 lso re deterined only by by, n, nd f We strt by obtining n expression for b k+2 in ters of +1,, +k nd +k+1 Tking the derivtive with respect to t on both sides of??, we obtin 20 0 = d3 x 3 d x + d2 x d 2 t 2 d x d x + 2 d x 2 0 = d3 x 3 d x + 3 d x d2 x 2 d2 t d x 2 + d x d2 x d2 t 2 d x d3 t d x 3 2 d x d 3 t d x d x 3
9 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 9 Tking the derivtive of both sides of??, we get 21 0 = d4 x 4 d x + d3 x d2 t 3 d x d x 2 + d x d2 x d3 t 2 d x d x 3 0 = d4 x 4 +6 d x + 3 d 2 x + 3 d2 x 2 d2 t 2 d x + d x 2 d3 x d2 t 3 d x 2 2 d x d2 x 3 d3 t d x 2 d x + d4 t 3 d x d x 4 d x + 4 d3 x d x 3 d2 t d x + 3 d2 x 2 d2 x 2 d2 t 2 d x 2 2 d2 x 4 d3 t d x 2 d x + d4 t 3 d x 4 If we keep tking the derivtive with respect to t for k ties nd collect the siilr ters fter ech differentition s shown bove, eventully we will rrive t n expression of the for 22 0 = dk+2 x k+2 d x + ters involving dk+1 x dk x d x,,, k+1 k, d x, d2 t d x,, dk+1 t 2 d x k+1 k+2 d x + dk+2 t d x k+2 Fro?? we know tht 23 d x t=0 = 1 d 2 t d x 2 t=0 = 2b 2 = d k+1 t d x k+1 t=0 = k + 1!b k+1 d k+2 t d x k+2 t=0 = k + 2!b k+2 Then we look t d x t=0,, dk+1 x k+1 t=0, nd dk+2 x k+2 t=0
10 10 YIFEI PAN, MEI WANG, AND YU YAN By definition?? nd Eqution??, t + +1 t t k t +k + +k+1 t +k+1 + O t +k+2 x = = t { = t t t t k t k t k + 1! k tk + +k+1 t k+1 + O t k+2 1 tk + +k+1 t k+1 + O t k+2] t k + +k+1 t k+1 + O t k+2 ] k+1 } + O t k+2 After collecting siilr ters we cn write t + +2 tk + +k+1 t k+1 + O t k+2] 2 t k tk 1 24 x = t + λ 2 t 2 + λ 3 t λ k+1 t k+1 + where +k+1 + λ k+2 t k+2 + O t k+3, λ 2 is constnt involving,, nd +1 λ 3 is constnt involving,, +1 nd +2 λ k+1 is constnt involving,, +1,, +k 1, +k λ k+2 is constnt involving,, +1,, +k 1, +k By the inductive hypothesis, λ 2, λ 3, λ k+1, λ k+2 re ll constnts tht only depend on, n, nd the function f Fro Eqution?? we obtin 25 d x t=0 = 1 d 2 x 2 t=0 = 2λ 2 d k+1 x = k+1 t=0 = k + 1!λ k+1 d k+2 x k+2 t=0 = k + 2! +k+1 + λ k+2 Now we evlute?? t t = 0 nd ke use of?? nd??:
11 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 11 +k+1 0 = k+2! Thus we obtin + λ k+2 1+ ters involving b 2,, b k+1, λ 2,, λ k+1 +1 k+2!b k+2 26 b k+2 = +k+1 + Q, where Q is constnt depending on b 2,, b k+1, λ 2,, λ k+1, λ k+2, hence Q is copletely deterined by, n, nd f Next we will nlyze +k+1 Fro?? we hve t n = x n 1 + b 2 x + + b k+1 x k + b k+2 x k+1 + O x k+2] n { = x n 1 + n b 2 x + + b k+1 x k + b k+2 x k+1 + O x k+2] n n 1 + b2 x + + b k+1 x k + b k+2 x k+1 + O x k+2] n n 1 n k + b2 x + + b k+1 x k + b k+2 x k+1 + O x k+2] k+1 k + 1! } +O x k+2 After collecting siilr ters we cn express t n s t n = x n { 1 + c 1, n x + c 2, n x c k, n x k + nb k+2 + c k+1, n ] x k+1 + O x k+2 }, where c 1, n is constnt depending on nd b 2 ; c 2, n is constnt depending on, b 2 nd b 3 ; ; c k, n is constnt depending on, b 2,, b k+1 ; c k+1, n is constnt depending on, b 2,, b k+1 By the inductive hypothesis, c 1, n, c 2, n,, c k, n nd c k+1, n re ll deterined only by, n, nd f Thus we hve 27 t n = x n + c 1, n x n+1 + c 2, n x n c k, n x n+k + nb k+2 + c k+1, n ] x n+k+1 + O x n+k+2, where c 1, n, c 2, n,, c k, n nd c k+1, n re constnts depending on, n, nd f By the se type of nlysis we obtin siilr expressions for the other powers of t: 28 t n+1 = x n+1 + c 1, n+1 x n+2 + c 2, n+1 x n c k, n+1 x n+k+1 + n + 1b k+2 + c k+1, n+1 ] x n+k+2 + O x n+k+3,
12 12 YIFEI PAN, MEI WANG, AND YU YAN where c 1, n+1, c 2, n+1,, c k, n+1 nd c k+1, n+1 re constnts depending on, n, nd f 29 t n+2 = x n+2 + c 1, n+2 x n+3 + c 2, n+2 x n c k, n+2 x n+k+2 + n + 2b k+2 + c k+1, n+2 ] x n+k+3 + O x n+k+4, where c 1, n+2, c 2, n+2,, c k, n+2 nd c k+1, n+2 re constnts depending on, n, nd f t n+k = x n+k + c 1, n+k x n+k+1 + c 2, n+k x n+k c k, n+k x n+2k 30 + n + kb k+2 + c k+1, n+k ] x n+2k+1 + O x n+2k+2, where c 1, n+k, c 2, n+k,, c k, n+k nd c k+1, n+k re constnts depending on, n, nd f t n+k+1 = x n+k+1 + c 1, n+k+1 x n+k+2 +c 2, n+k+1 x n+k c k, n+k+1 x n+2k n + k + 1b k+2 + c k+1, n+k+1 ] x n+2k+2 + O x n+2k+3, where c 1, n+k+1, c 2, n+k+1,, c k, n+k+1 nd c k+1, n+k+1 re constnts depending on, n, nd f 32 t n+k+2 = O x n+k+2 Fro?? we obtin u n = 1 n + 1t n n + 2t n k + k + k 1 n + k + 1t n+k + +k+1 + k k n + k + 2t n+k+1 + O t n+k+2
13 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 13 Then by?? to?? we cn write { u n = 1 n + 1 x n + c 1, n x n+1 + c 2, n x n+2 + } +c k, n x n+k + nb k+2 + c k+1, n ] x n+k+1 + O x n+k+2 { n + 2 x n+1 + c 1, n+1 x n+2 + c 2, n+1 x n c k, n+1 x n+k+1 + n + 1b k+2 + c k+1, n+1 ] x n+k+2 +O x n+k+3 } + { + +k + k + k 1 + k n + 1 x n+k + c 1, n+k x n+k+1 +c 2, n+k x n+k c k, n+k x n+2k + } n + kb k+2 + c k+1, n+k ] x n+2k+1 + O x n+2k+2 { + +k+1 + k k + k n + 2 x n+k+1 + c 1, n+k+1 x n+k+2 + c 2, n+k+1 x n+k c k, n+k+1 x n+2k+1 } + n + k + 1b k+2 + c k+1, n+k+1 ] x n+2k+2 + O x n+2k+3 +O x n+k+2 = 1 n + 1 x n + C,, +1, c 1, n x n+1 +C,, +1, +2, c 1, n+1, c 2, n x n+2 + +C,, +1,, +k, c k, n, c k 1, n+1,, c 1, n+k 1 x n+k + 1 nb k+2 + +k+1 + k k + k n + 2 ] +C,, +1,, +k, c k+1, n, c k, n+1,, c 1, n+k x n+k+1 +O x n+k+2 Here C,, +1, c 1, n is constnt depending on,, +1 nd c 1, n ; we denote it s p n+1 to siplify nottions Since, +1 nd c 1, n only depend on, n, nd f, we know tht p n+1 only depends on, n, nd f Siilrly, the other constnts C,, +1, +2, c 1, n+1, c 2, n,, nd C,, +1,, +k, c k+1, n, c k, n+1,, c 1, n+k ll depend only on, n, nd f, nd cn be denoted siply s p n+2,, p n+k, nd p n+k+1 Thus we cn rewrite the bove eqution s u n = 1 n + 1 x n + p n+1 x n p n+2 x n p n+k x n+k + 1 nb k+2 + +k+1 + k k + k n + 2 ] +p n+k+1 x n+k+1 + O x n+k+2
14 14 YIFEI PAN, MEI WANG, AND YU YAN Now becuse of u n = fu nd definition??, we hve u n u n+1 fu = 1 n p n+1 + n+2 n+k u u p n p n+k + 1 nb k+2 + +k+1 + k k + k n + 2 +p n+k+1 ] u n+k+1 + O Due to??, we cn rewrite the bove eqution s u n+k+2 u n u n+1 fu = 1 n p n+1 + n+2 n+k u u p n p n+k + ] +{ + k k + k n n +k nq + p n+k+1 } u n+k+1 + O u n+k+2 Fro?? we get ] + k k + k n n +k nq + p n+k+1 n u = li u 0 fu n + 1 p u n+1 n+k+1 u n+1 p n+k u n+k Note tht + k k + k n n 0, then since the constnts Q,, p n+1,, p n+k+1 ll depend only on, n, nd f, we know tht +k+1 only depends on, n, nd f Consequently, b k+2 lso only depends on, n, nd f becuse of?? Therefore, by theticl induction, ll derivtives of f t 0 re deterined copletely by, n, nd f This copletes the proof of Le?? Theore?? 3 THE PROOFS OF THEOREMS??,?? AND?? Proof: Suppose there re two solutions ut nd vt, both stisfy Equtions?? nd?? By Le??, t t = 0, u nd v hve the se derivtive of ny order Let w = u v, then w k 0 = 0 for ny integer k 0
15 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 15 In order to pply Theore?? we need to show tht w stisfies Condition?? w n t = u n t v n t = fut fvt Without loss of generlity we ssue > 0 By Eqution??, we cn write ] 35 fu = n n 1 n + 1u + αu nd fv = where α is function with the order n 1 n + 1v n + αv ], αs = O s n+1 So we cn write 36 w n t = n 1 n + 1 u n n v + αu αv If = n, then n 1 n + 1 u n n v = 0 If > n, by the Men Vlue Theore, 37 u n n v n n ζ u v where ζt is between ut nd vt Since ut = t + O t +1 nd vt = t + O t +1, we know tht ζt = t + O t +1, which iplies ζ n = n t n 1 + Ot Ct n for soe constnt C > 0 when t is sufficiently sll Thus ζ n u v C 1 u v t n nd by eqution?? we know tht 38 n u n 1 n + 1 for nother constnt C > 0 Next, we estite αu αv n v C u v t n Fro Eqution??, we know tht f is differentible with respect to t, since u n t is differentible with respect to t Condition?? shows tht du t 0 when t > 0 is sufficiently sll Then by the Inverse Function Theore, t is differentible with respect to u Thus, when u is sll nd positive, f is differentible with respect to u nd df du = df du Then by Eqution??, since f is differentible on sll intervl 0, δ, α is lso differentible on sll intervl 0, δ By the Men Vlue Theore
16 16 YIFEI PAN, MEI WANG, AND YU YAN αu αv = α ηu v where ηt is between ut nd vt Becuse ut = t +O t +1 nd vt = t +O t +1, we know tht ηt = t + O t +1 Ct when t is sll, thus Fro αs = O s n+1 Thus for soe C > 0 39 η n 1 = O t n 1 we get α s = O s n 1 Therefore α η = O η n 1 = O t n 1 αu αv Ct n 1 u v Cobining Equtions??,??, nd??, we conclude Ct n u v since 0 < t < 1 w n ut vt t C t n = C wt t n Finlly, extend the doin of wt to 1, 1] by defining wt = w t when 1 t < 0 Then w C 1, 1] nd it stisfies Condition?? By Theore??, w 0, which ens u v This copletes the proof of Theore?? Theore?? Proof: Without loss of generlity we ssue > 0 We pply the se nlysis s in the proof of Le?? to u 1 nd u 2, respectively Siilr to?? we hve nd n = li u1 0 b n l = li u2 0 fu 1 1 n + 1u n 1 fu 2 ll 1 l n + 1u l n l 2 = li s 0 = li s 0 fs 1 n + 1s n fs ll 1 l n + 1s l n l Suppose l, without loss of generlity we ssue < l Dividing the two equtions, we get n b n l = = ll 1 l n n + 1 li s l n l s 0 n ll 1 l n n + 1 li s 0 s n n l Since < l, li s 0 s n n l = 0 However, n b n l 0 This is contrdiction Therefore = l, consequently = b Then by Theore?? we know tht u 1 u 2 for sll t
17 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY 17 Theore??: Proof: : The proof of Le?? shows tht ner 0, t is function of u, therefore u n t cn be expressed s function f of u Thus Eqution?? holds when t > 0 is sll Fro Condition?? we define f0 = 0 By the first two equtions in?? nd the discussions in Appendix??, we know tht there is function h which is C 1 on the closed intervl 0, ɛ] for soe ɛ > 0, such tht By definition?? we hve fu = 1 n + 1 x n + h x x n 40 fu = 1 n + 1 u n Since 0 n < 1 nd 0 < 1 on the closed intervl 0, 1] with Hölder coefficients n the first ter in?? is Hölder continuous on 0, 1] u + h 1 u n < 1, it is well known tht u n nd u 1 re Hölder continuous nd 1, respectively This iplies tht Since h is C 1 on 0, ɛ], it is lso Hölder continuous on 0, ɛ] Then since the coposition of two Hölder continuous functions is Hölder continuous, we know tht h u 1 is Hölder continuous with respect to u on closed intervl 0, δ] with δ > 0 Next, becuse the product of two Hölder continuous functions is lso Hölder continuous, we know tht h u 1 n u is Hölder continuous Thus the second ter in?? is Hölder continuous on 0, δ] Therefore, f is Hölder continuous on 0, δ] nd the theore is proved APPENDIX A DIFFERENTIATION OF THE TAYLOR EXPANSION We will discuss the regulrity of the reinder ter in the Tylor expnsion of function tht is used in the proof of Theore?? nd the differentition of the Tylor expnsion tht is frequently used in the proof of Le?? In generl, suppose function gx C k+1, b], by the Tylor Theore we cn write 41 gx = g + g x + g 2! where li x hx = 0 An explicit expression for hx is 42 where < ξ < x x gk x k + hxx k k! hx = gk+1 ξ x k + 1! Fro?? we know tht hx is C 1 on, b] Next we show tht it is ctully C 1 up to the boundry, on, b] Tking the derivtive on both sides of Eqution??, we get
18 18 YIFEI PAN, MEI WANG, AND YU YAN 43 g x = g +g x + + gk k 1! x k 1 +h xx k +khxx k 1 Define h = 0, so h is continuous on, b] Denote then P x = g + g x + g 2! By the definition of liits, hx = x gk x k, k! gx P x x k 44 h = hx h li x x = gx P x li x x k+1 = gk+1 P k+1 k + 1! = gk+1 k + 1!, by pplying the L Hospitl Rule k + 1 ties where we hve used the fct tht P k+1 = 0 When x >, h x = d dx gx P x x k = g x P x x k gx P xkx k 1 x 2k = g x P x x k k gx P x x k+1 By repetedly pplying the L Hospitl Rule, we know tht nd Therefore g x P x li = gk+1 P k+1 x x k k! k gx P x li = k g k+1 P k+1 x x k+1 k + 1! = gk+1 k! = kgk+1 k + 1!
19 UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY li x h x = gk+1 kgk+1 k! k + 1! = gk+1 k + 1! Equtions?? nd?? show tht hx is C 1 on the closed intervl, b] Furtherore, we know tht for ny x, b], h x C for soe constnt C 1, thus h xx k C1 x k Since gx C k+1, b], fro?? we know tht hx C 2 x for soe constnt C 2, thus khxx k 1 kc2 x k Therefore,?? cn be denoted s 46 g x = g + g x + + gk k 1! x k 1 + O x k Since the first, second,, nd k 1-th derivtives of g x t re g, g 3,, nd g k, respectively, Eqution?? is the Tylor expnsion of g x t to order k 1 Usully we denote?? s 47 gx = g + g x + g 2! This shows tht we cn forlly differentite?? to get?? x gk x k + O x k+1 k! Acknowledgent: The reserch of Yu Yn ws prtilly supported by the Scholr in Residence progr t Indin University-Purdue University Fort Wyne REFERENCES 1] R P Agrwl nd V Lkshiknth Uniqueness nd Nonuniqueness Criteri for Ordinry Differentil Equtions World Scientific, ] YnYn Li nd Louis Nirenberg A geoetric proble nd the hopf le ii Chinese Annls of Mthetics, Series B, 27B2: , ] Yifei Pn nd Mei Wng When is function not flt? Journl of Mtheticl Anlysis nd Applictions, 3401: , 2008
20 20 YIFEI PAN, MEI WANG, AND YU YAN DEPARTMENT OF MATHEMATICAL SCIENCES, INDIANA UNIVERSITY-PURDUE UNIVERSITY FORT WAYNE, FORT WAYNE, INDIANA E-il ddress: DEPARTMENT OF STATISTICS, UNIVERSITY OF CHICAGO, CHICAGO, ILLINOIS E-il ddress: DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE, HUNTINGTON UNIVERSITY, HUNTINGTON, INDIANA E-il ddress:
UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY
UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH HÖLDER CONTINUITY YIFEI PAN, MEI WANG, AND YU YAN ABSTRACT We estblish soe uniqueness results ner 0 for ordinry differentil equtions of the
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 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 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 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 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 informationPHYS 601 HW3 Solution
3.1 Norl force using Lgrnge ultiplier Using the center of the hoop s origin, we will describe the position of the prticle with conventionl polr coordintes. The Lgrngin is therefore L = 1 2 ṙ2 + 1 2 r2
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 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 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 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 informationVariational 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 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 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 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 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 informationThe 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 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 informationLyapunov-type inequalities for Laplacian systems and applications to boundary value problems
Avilble online t www.isr-publictions.co/jns J. Nonliner Sci. Appl. 11 2018 8 16 Reserch Article Journl Hoepge: www.isr-publictions.co/jns Lypunov-type inequlities for Lplcin systes nd pplictions to boundry
More informationSummary: Method of Separation of Variables
Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 1 Summry: Method of Seprtion of Vribles 1. Seprtion of Vribles in Crtesin Coordintes 2. Fourier Series Suggested Reding: Griffiths: Chpter 3, Section
More 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 informationF (x) dx = F (x)+c = u + C = du,
35. The Substitution Rule An indefinite integrl of the derivtive F (x) is the function F (x) itself. Let u = F (x), where u is new vrible defined s differentible function of x. Consider the differentil
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 informationDefinition 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 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 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 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 information1.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 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 informationMA 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(4.1) D r v(t) ω(t, v(t))
1.4. Differentil inequlities. Let D r denote the right hnd derivtive of function. If ω(t, u) is sclr function of the sclrs t, u in some open connected set Ω, we sy tht function v(t), t < b, is solution
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 information63. 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 information221B Lecture Notes WKB Method
Clssicl Limit B Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using
More 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 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 information1 2-D Second Order Equations: Separation of Variables
Chpter 12 PDEs in Rectngles 1 2-D Second Order Equtions: Seprtion of Vribles 1. A second order liner prtil differentil eqution in two vribles x nd y is A 2 u x + B 2 u 2 x y + C 2 u y + D u 2 x + E u +
More information1 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 information1.1. Linear Constant Coefficient Equations. Remark: A differential equation is an equation
1 1.1. Liner Constnt Coefficient Equtions Section Objective(s): Overview of Differentil Equtions. Liner Differentil Equtions. Solving Liner Differentil Equtions. The Initil Vlue Problem. 1.1.1. Overview
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More 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 informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationP 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 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 information1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
More informationStuff You Need to Know From Calculus
Stuff You Need to Know From Clculus For the first time in the semester, the stuff we re doing is finlly going to look like clculus (with vector slnt, of course). This mens tht in order to succeed, you
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 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 informationImproper Integrals. Type I Improper Integrals How do we evaluate an integral such as
Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph
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 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 informationAQA Further Pure 2. Hyperbolic Functions. Section 2: The inverse hyperbolic functions
Hperbolic Functions Section : The inverse hperbolic functions Notes nd Emples These notes contin subsections on The inverse hperbolic functions Integrtion using the inverse hperbolic functions Logrithmic
More informationPHYS 705: Classical Mechanics. Small Oscillations: Example A Linear Triatomic Molecule
PHYS 75: Clssicl echnics Sll Oscilltions: Exple A Liner Tritoic olecule A Liner Tritoic olecule x b b x x3 x Experientlly, one ight be interested in the rdition resulted fro the intrinsic oscilltion odes
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 informationThe presentation of a new type of quantum calculus
DOI.55/tmj-27-22 The presenttion of new type of quntum clculus Abdolli Nemty nd Mehdi Tourni b Deprtment of Mthemtics, University of Mzndrn, Bbolsr, Irn E-mil: nmty@umz.c.ir, mehdi.tourni@gmil.com b Abstrct
More informationCalculus II: Integrations and Series
Clculus II: Integrtions nd Series August 7, 200 Integrls Suppose we hve generl function y = f(x) For simplicity, let f(x) > 0 nd f(x) continuous Denote F (x) = re under the grph of f in the intervl [,x]
More informationMA 124 January 18, Derivatives are. Integrals are.
MA 124 Jnury 18, 2018 Prof PB s one-minute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More 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 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 informationIndefinite 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 information8.3 THE TRIGONOMETRIC FUNCTIONS. skipped 8.4 THE ALGEBRAIC COMPLETENESS OF THE COMPLEX FIELD. skipped 8.5 FOURIER SERIES
8.5 FOURIER SERIES 0 8.3 THE TRIGONOMETRIC FUNCTIONS skipped 8.4 THE ALGEBRAIC COMPLETENESS OF THE COMPLEX FIELD skipped 8.5 FOURIER SERIES 8.9 Orthogonl Functions, Orthonorl: Let { n }, n, 2, 3,...,besequence
More informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
More informationOXFORD H i g h e r E d u c a t i o n Oxford University Press, All rights reserved.
Renshw: Mths for Econoics nswers to dditionl exercises Exercise.. Given: nd B 5 Find: () + B + B 7 8 (b) (c) (d) (e) B B B + B T B (where 8 B 6 B 6 8 B + B T denotes the trnspose of ) T 8 B 5 (f) (g) B
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 information0.1 Properties of regulated functions and their Integrals.
MA244 Anlysis III Solutions. Sheet 2. NB. THESE ARE SKELETON SOLUTIONS, USE WISELY!. Properties of regulted functions nd their Integrls.. (Q.) Pick ny ɛ >. As f, g re regulted, there exist φ, ψ S[, b]:
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 informationIN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,
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 informationOverview of Calculus I
Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,
More informationHyers-Ulam and Hyers-Ulam-Aoki-Rassias Stability for Linear Ordinary Differential Equations
Avilble t http://pvu.edu/ Appl. Appl. Mth. ISSN: 1932-9466 Vol. 10, Issue 1 (June 2015, pp. 149 161 Applictions nd Applied Mthetics: An Interntionl Journl (AAM Hyers-Ul nd Hyers-Ul-Aoki-Rssis Stbility
More informationMAC-solutions of the nonexistent solutions of mathematical physics
Proceedings of the 4th WSEAS Interntionl Conference on Finite Differences - Finite Elements - Finite Volumes - Boundry Elements MAC-solutions of the nonexistent solutions of mthemticl physics IGO NEYGEBAUE
More informationKeywords : Generalized Ostrowski s inequality, generalized midpoint inequality, Taylor s formula.
Generliztions of the Ostrowski s inequlity K. S. Anstsiou Aristides I. Kechriniotis B. A. Kotsos Technologicl Eductionl Institute T.E.I.) of Lmi 3rd Km. O.N.R. Lmi-Athens Lmi 3500 Greece Abstrct Using
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 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 information21.6 Green Functions for First Order Equations
21.6 Green Functions for First Order Equtions Consider the first order inhomogeneous eqution subject to homogeneous initil condition, B[y] y() = 0. The Green function G( ξ) is defined s the solution to
More informationGreen s functions. f(t) =
Consider the 2nd order liner inhomogeneous ODE Green s functions d 2 u 2 + k(t)du + p(t)u(t) = f(t). Of course, in prctice we ll only del with the two prticulr types of 2nd order ODEs we discussed lst
More informationBest 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 informationPressure Wave Analysis of a Cylindrical Drum
Pressure Wve Anlysis of Cylindricl Drum Chris Clrk, Brin Anderson, Brin Thoms, nd Josh Symonds Deprtment of Mthemtics The University of Rochester, Rochester, NY 4627 (Dted: December, 24 In this pper, hypotheticl
More informationINTRODUCTION 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 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 informationThe Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5
The Dirichlet Prolem in Two Dimensionl Rectngle Section 13.5 1 Dirichlet Prolem in Rectngle In these notes we will pply the method of seprtion of vriles to otin solutions to elliptic prolems in rectngle
More informationCalculus 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 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 information1 Probability Density Functions
Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our
More informationReversing the Chain Rule. As we have seen from the Second Fundamental Theorem ( 4.3), the easiest way to evaluate an integral b
Mth 32 Substitution Method Stewrt 4.5 Reversing the Chin Rule. As we hve seen from the Second Fundmentl Theorem ( 4.3), the esiest wy to evlute n integrl b f(x) dx is to find n ntiderivtive, the indefinite
More informationCAAM 453 NUMERICAL ANALYSIS I Examination There are four questions, plus a bonus. Do not look at them until you begin the exam.
Exmintion 1 Posted 23 October 2002. Due no lter thn 5pm on Mondy, 28 October 2002. Instructions: 1. Time limit: 3 uninterrupted hours. 2. There re four questions, plus bonus. Do not look t them until you
More informationChapter 0. What is the Lebesgue integral about?
Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous
More 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 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 informationContact Analysis on Large Negative Clearance Four-point Contact Ball Bearing
Avilble online t www.sciencedirect.co rocedi ngineering 7 0 74 78 The Second SR Conference on ngineering Modelling nd Siultion CMS 0 Contct Anlysis on Lrge Negtive Clernce Four-point Contct Bll Bering
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 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 informationFirst 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 informationSecond degree generalized gauss-seidel iteration method for solving linear system of equations. ABSTRACT
Ethiop. J. Sci. & Technol. 7( 5-, 0 5 Second degree generlized guss-seidel itertion ethod for solving liner syste of equtions Tesfye Keede Bhir Dr University, College of Science, Deprtent of Mthetics tk_ke@yhoo.co
More informationChapter 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 informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
More informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More information