Generalized differential equations: differentiability of solutions with respect to initial conditions and parameters

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Generalized differential equations: differentiability of solutions with respect to initial conditions and parameters"

Transcription

1 Generlize ifferentil equtions: ifferentibility of solutions with respect to initil conitions n prmeters Antonín Slvík Chrles University, Fculty of Mthemtics n Physics, Sokolovská 83, Prh 8, Czech Republic E-mil: Abstrct We show tht uner certin ssumptions, solutions of generlize orinry ifferentil equtions re ifferentible with respect to initil conitions n prmeters. This result unifies n extens severl existing theorems for other types of equtions, such s impulsive ifferentil equtions or ynmic equtions on time scles. Keywors: Generlize orinry ifferentil equtions, ifferentibility of solutions, Kurzweil integrl, ifferentil equtions with impulses, ynmic equtions on time scles 1 Introuction In the clssicl theory of orinry ifferentil equtions, it is well known tht uner certin ssumptions, solutions of the problem x (t) = f(x(t), t), t [, b], x(t 0 ) = x 0, re ifferentible with respect to the initil conition; tht is, if x(t, x 0 ) enotes the vlue of the solution t t [, b], then the function x 0 x(t, x 0 ) is ifferentible. The key requirement is tht the righthn sie f shoul be ifferentible with respect to x. Moreover, the erivtive s function of t is known to stisfy the so-clle vritionl eqution, which might be helpful in etermining the vlue of the erivtive. Similrly, uner suitble ssumptions, solutions of ifferentil eqution whose right-hn sie epens on prmeter re ifferentible with respect to tht prmeter. These two types of theorems concerning ifferentibility of solutions with respect to initil conitions n prmeters cn be foun in mny ifferentil equtions textbooks, see e.g. [3]. Theorems of similr type re lso vilble for other types of equtions, such s ifferentil equtions with impulses (see [6]) or ynmic equtions on time scles (see [2]). In 1957, Jroslv Kurzweil introuce clss of integrl equtions clle generlize orinry ifferentil equtions (see [4]). His originl motivtion ws to use them in the stuy of continuous epenence of solutions with respect to prmeters. However, it becme cler tht generlize equtions encompss vrious other types of equtions, incluing equtions with impulses (see [8]), ynmic equtions on time scles (see [11]), or mesure ifferentil equtions (see [8]). The im of this pper is to obtin ifferentibility theorems for generlize orinry ifferentil equtions. Despite the fct tht solutions of generlize equtions nee not be ifferentible or even continuous with respect to t, we show tht ifferentibility of the right-hn sie with respect to x (n possibly with respect to prmeters) still gurntees tht the solutions re ifferentible with respect to initil conitions (n prmeters, respectively). Consequently, our result unifies n extens existing theorems for other types of equtions. 1

2 2 The Kurzweil integrl n generlize ifferentil equtions We strt this section by presenting short overview of the Kurzweil integrl, which is funmentl for the stuy of generlize orinry ifferentil equtions. For more informtion on Kurzweil integrtion, see [5, 8]. A function δ : [, b] R + is clle guge on [, b]. A tgge prtition of the intervl [, b] with ivision points = t 0 t 1 t k = b n tgs τ i [t i 1, t i ], i {1,..., k}, is clle δ-fine if [t i 1, t i ] (τ i δ(τ i ), τ i + δ(τ i )), i {1,..., k}. A mtrix-vlue function U : [, b] [, b] R n m is clle Kurzweil integrble on [, b], if there is mtrix K R n m such tht for every ε > 0, there is guge δ on [, b] such tht k (U(τ i, t i ) U(τ i, t i 1 )) K < ε i=1 for every δ-fine tgge prtition of [, b]. In this cse, we efine D tu(τ, t) = K. Obviously, mtrix-vlue function U is integrble if n only if ll its components re integrble. Note lso tht we restrict ourselves to functions with vlues in finite-imensionl spces; in this cse, the Kurzweil integrl coincies with the strong Kurzweil integrl (see Chpter 19 in [5]). An importnt specil cse is the Kurzweil-Stieltjes integrl (lso known s the Perron-Stieltjes, Henstock-Stieltjes or Henstock-Kurzweil-Stieltjes integrl) of function f : [, b] R n with respect to function g : [, b] R, which correspons to the choice U(τ, t) = f(τ)g(t) n will be enote by f(t) g(t). We re now rey to introuce generlize orinry ifferentil equtions. Consier set B R n, n intervl [, b] R n function F : B [, b] 2 R n. A generlize orinry ifferentil eqution with the right-hn sie F hs the form which is shorthn nottion for the integrl eqution x(s) = x() + t x = D tf (x, τ, t), (1) D t F (x(τ), τ, t), s [, b]. (2) In other wors, function x : [, b] B is solution of (1) if n only if (2) is stisfie. We emphsize tht (1) is symbolic nottion only n oes not men tht x hs to be ifferentible. Equtions of the form (1) hve been introuce by J. Kurzweil in [5]. In mny situtions, it is sufficient to consier the less generl type of eqution t x = D tf (x, t), (3) where the right-hn sie oes not epen on τ (in fct, most existing sources evote to generlize equtions focus on this less generl type; see e.g. the pioneering pper [4] by J. Kurzweil, or the monogrph [8] by Š. Schwbik). The corresponing integrl eqution hs the form x(s) = x() + D t F (x(τ), t), s [, b]. Uner certin conitions, n eqution of the form (1) cn be trnsforme to n eqution of the form (3) (see Chpter 27 in [5]). However, s will be cler in Section 4, the more generl type (1) is quite useful for our purposes. The rest of this section summrizes some bsic fcts concerning the Kurzweil integrl tht will be neee lter. The following existence theorem cn be foun in [8, Corollry 1.34] or [5, Chpter 20]. 2

3 Theorem 2.1. If f : [, b] R n is regulte function n g : [, b] R is nonecresing function, then the integrl f(s) g(s) exists. The next estimte follows irectly from the efinition of the Kurzweil integrl. Lemm 2.2. Let U : [, b] 2 R n n be Kurzweil integrble function. Assume there exists pir of functions f : [, b] R n g : [, b] R such tht f is regulte, g is nonecresing, n U(τ, t) U(τ, s) f(τ) g(t) g(s), τ, t, s [, b]. Then D t U(τ, t) f(τ) g(τ). For the first prt of the following sttement, see [5, Corollry 14.18] or [8, Theorem 1.16]; the secon prt is irect consequence of Lemm 2.2. Theorem 2.3. Assume tht U : [, b] 2 R n m is Kurzweil integrble n u : [, b] R n m is its primitive, i.e., u(s) = u() + D t U(τ, t), s [, b]. If U is regulte in the secon vrible, then u is regulte n stisfies u(τ+) = u(τ) + U(τ, τ+) U(τ, τ), τ [, b) u(τ ) = u(τ) + U(τ, τ ) U(τ, τ), τ (, b]. Moreover, if there exists nonecresing function h : [, b] R such tht U(τ, t) U(τ, s) h(t) h(s), τ, t, s [, b], then u(t) u(s) h(t) h(s), t, s [, b]. The following theorem represents n nlogue of Gronwll s inequlity for the Kurzweil-Stieltjes integrl; the proof cn be foun in [8, Corollry 1.43]. Theorem 2.4. Let h : [, b] [0, ) be nonecresing left-continuous function, k > 0, l 0. Assume tht ψ : [, b] [0, ) is boune n stisfies ψ(ξ) k + l Then ψ(ξ) ke l(h(ξ) h()) for every ξ [, b]. 3 Liner equtions ξ ψ(τ) h(τ), ξ [, b]. In this section, we consier the homogeneous liner generlize orinry ifferentil eqution t z = D t[a(τ, t)z], (4) where A : [, b] 2 R n n is given mtrix-vlue function n the solution z tkes vlues in R n. The integrl form of this eqution is z(s) = z() + D t [A(τ, t)z(τ)], s [, b]. The cse when A oes not epen on τ hs been stuie in numerous works (see e.g. [8, 9]). However, to prove the min result of this pper, we nee some bsic fcts concerning the more generl type (4). For convenience, let us introuce the following conition: 3

4 (A) There exists nonecresing function h : [, b] R such tht A(τ, t) A(τ, s) h(t) h(s), τ, t, s [, b]. Note tht if (A) is stisfie, then for every fixe τ [, b], the function t A(τ, t) is regulte (this follows from the Cuchy conition for the existence of one-sie limits). Also, if h is left-continuous, then t A(τ, t) is left-continuous s well. Lemm 3.1. Assume tht A : [, b] 2 R n n stisfies (A). Let y, z : [, b] R n be pir of functions such tht Then z is regulte on [, b]. z(s) = z() + Proof. Let U(τ, t) = A(τ, t)y(τ); note tht D t [A(τ, t)y(τ)], s [, b]. z(s) = z() + D t U(τ, t), s [, b]. By conition (A), U is regulte in the secon vrible. By Theorem 2.3, z is regulte. A simple consequence of the previous lemm is tht every solution of the liner generlize ifferentil eqution (4) is regulte. Lemm 3.2. Assume tht A : [, b] 2 R n n stisfies (A) with left-continuous function h. Then for every z 0 R n, the initil vlue problem hs t most one solution. t z = D t[a(τ, t)z], z() = z 0 Proof. Consier pir of functions z 1, z 2 : [, b] R n such tht Then t z i = D t [A(τ, t)z i ], for i {1, 2}. z 1 (s) z 2 (s) z 1 () z 2 () + z 1 () z 2 () + D t [A(τ, t)(z 1 (τ) z 2 (τ))] z 1 (τ) z 2 (τ) h(τ), s [, b] (the lst inequlity follows from Lemm 2.2). By Gronwll s inequlity from Theorem 2.4, we obtin z 1 (s) z 2 (s) z 1 () z 2 () e h(b) h(), s [, b]. Thus, if z 1 () = z 2 (), then z 1, z 2 coincie on [, b]. The proof of the following lemm is lmost ienticl to the proof of Theorem 3.14 in [8]; however, since our ssumptions re ifferent, we repet the proof here for reer s convenience. Lemm 3.3. Let z k : [, b] R n, k N, be uniformly boune sequence of functions, which is pointwise convergent to function z : [, b] R n. Assume tht A : [, b] 2 R n n stisfies (A) n the integrl D t[a(τ, t)z k (τ)] exists for every k N. Then D t[a(τ, t)z(τ)] exists s well n equls lim k D t[a(τ, t)z k (τ)]. 4

5 Proof. Let A i enote the i-th row of A. Clerly, it is enough to prove tht for every i {1,..., n}, the integrl D t[a i b (τ, t)z(τ)] exists n equls lim k D t[a i (τ, t)z k (τ)]. Let i {1,..., n} be fixe, U(τ, t) = A i (τ, t)z(τ) n U k (τ, t) = A i (τ, t)z k (τ) for every k N (note tht U n U k re sclr functions). Consier n rbitrry fixe ε > 0. For every τ [, b], there is number p(τ) N such tht z k (τ) z(τ) < ε h(b) h() + 1, k p(τ). Let M > 0 be such tht z k (τ) M for every k N, τ [, b]. The function µ(t) = εh(t) h(b) h() + 1, t [, b], is nonecresing n µ(b) µ() < ε. If τ, t 1, t 2 [, b], t 1 t 2, n k p(τ), we hve n U k (τ, t 2 ) U k (τ, t 1 ) U(τ, t 2 ) + U(τ, t 1 ) A i (τ, t 2 ) A i (τ, t 1 ) z k (τ) z(τ) A(τ, t 2 ) A(τ, t 1 ) z k (τ) z(τ) ε(h(t 2) h(t 1 )) h(b) h() + 1 = µ(t 2) µ(t 1 ) M( h(t 2 ) + h(t 1 )) U k (τ, t 2 ) U k (τ, t 1 ) M(h(t 2 ) h(t 1 )). The conclusion now follows from the ominte convergence theorem for the Kurzweil integrl ([8, Corollry 1.31]). Lemm 3.4. Assume tht A : [, b] 2 R n n is Kurzweil integrble n stisfies (A). Then for every regulte function y : [, b] R n, the integrl D t[a(τ, t)y(τ)] exists. Proof. Every regulte function is uniform limit of step functions. Thus, in view of Lemm 3.3, it is sufficient to prove tht the sttement is true for every step function y : [, b] R n. Let = t 0 < t 1 < < t k = b be prtition of [, b] such tht y is constnt on ech intervl (t i 1, t i ). For t i 1 < u < σ < v < t i, the integrbility of A implies tht the integrls σ u D t[a(τ, t)y(τ)] n v σ D t[a(τ, t)y(τ)] exist n re regulte functions of u, v (this follows from (A) n Lemm 3.1). Accoring to Hke s theorems for the Kurzweil integrl (see Theorems n in [5], or Theorem 1.14 n Remrk 1.15 in [8]), the integrls σ t i 1 D t [A(τ, t)y(τ)] n i σ D t[a(τ, t)y(τ)] exist s well. Thus, i t i 1 D t [A(τ, t)y(τ)] exists for every i {1,..., k}, which proves the sttement. Up to smll etil, the proof of the following theorem is the sme s the proof of Theorem 23.4 in [5]. Therefore, we provie only sketch of the proof n leve the etils to the reer. Theorem 3.5. Assume tht A : [, b] 2 R n n is Kurzweil integrble n stisfies (A) with leftcontinuous function h. Then for every z 0 R n, the initil vlue problem hs unique solution z : [, b] R n. t z = D t[a(τ, t)z], z() = z 0 (5) Proof. Uniqueness of solutions follows immeitely from Lemm 3.2. To prove the existence of solution of (5) on [, b], choose prtition = s 0 < s 1 < < s k = b of [, b] such tht h(s i ) h(s i 1 +) 1 2 for every i {1,..., k}. Now, it is sufficient to prove tht for every w 0 R n n i {1,..., k}, the initil vlue problem t z = D t[a(τ, t)z], z(s i 1 ) = w 0 5

6 hs solution on [s i 1, s i ]. This solution cn be obtine by the metho of successive pproximtions: Let v 0 (s) = w 0, s [s i 1, s i ], v j (s) = w 0 + s i 1 D t [A(τ, t)v j 1 (τ)], s [s i 1, s i ], j N. The existence of the integrl on the right-hn sie is gurntee by Lemm 3.4 (this is the only ifference ginst the proof of Theorem 23.4 in [5]). By Theorem 2.3, we hve v j (s) = ŵ 0 + D t [A(τ, t)v j 1 (τ)], s [s i 1, s i ], j N, s i 1+ where ŵ 0 = w 0 + A(s i 1, s i 1 +)w 0 A(s i 1, s i 1 )w 0. Using Lemm 2.2, it is not ifficult to see tht v j+1 (s) v j (s) v 1 (s) v 0 (s) w 0 (h(s i ) h(s i 1 )), s [s i 1, s i ], sup v j (τ) v j 1 (τ) (h(s i ) h(s i 1 +)), s (s i 1, s i ], j N. τ [s i 1,s i] Since h(s i ) h(s i 1 +) 1 2, it follows by inuction tht v j+1 (s) v j (s) w 0 ( ) j 1 (h(s i ) h(s i 1)), s (s i 1, s i ], j N. 2 This implies tht {v j } j=1 is uniformly convergent to function v : [s i 1, s i ] R n, which stisfies v(s) = lim j(s) = w 0 + lim j j D t [A(τ, t)v j 1 (τ)] = w 0 + s i 1 D t [A(τ, t)v(τ)] s i 1 for every s [s i 1, s i ] (we hve use Lemm 3.3). Throughout this section, we focuse our ttention on equtions of the form t z = D t[a(τ, t)z], z() = z 0, where z tkes vlues in R n. More generlly, it is possible to consier equtions where the unknown function hs vlues in R n n. For exmple, if Z 0 R n n is n rbitrry mtrix, then is shorthn nottion for the integrl eqution t Z = D t[a(τ, t)z], Z() = Z 0 Z(s) = Z 0 + D t [A(τ, t)z(τ)], s [, b]. (6) For n rbitrry mtrix X R n n, let X i be the i-th column of X. Then it is obvious tht (6) hols if n only if Z i (s) = Z i 0 + D t [A(τ, t)z i (τ)], s [, b], i {1,..., n}. We will encounter equtions with mtrix-vlue solutions in the following section. 6

7 4 The min results Consier generlize orinry ifferentil eqution of the form t x = D tf (x, τ, t), x() = x 0 (λ), (7) where the solution x tkes vlues in R n, n x 0 : R l R n is function which escribes the epenence of the initil conition on prmeter λ R l. Let x(s, λ) be the vlue of the solution t s [, b]. Our gol is to show tht uner certin conitions, x(s, λ) is ifferentible with respect to λ. Using the efinition of the Kurzweil integrl, we see tht the vlue of x(s, λ) cn be pproximte by x 0 (λ) + k (F (x(τ j, λ), τ j, t j ) F (x(τ j, λ), τ j, t j 1 )), j=1 where = t 0 < t 1 < < t k = s is sufficiently fine prtition of [, s] with tgs τ j [t j 1, t j ], j {1,..., k}. Assuming tht ll expressions re ifferentible with respect to λ t λ 0 R l, we see tht the erivtive x λ (s, λ 0 ), i.e., the mtrix { xi λ j (s, λ 0 )} i,j R n l, shoul be pproximtely equl to x 0 λ(λ 0 ) + k (F x (x(τ j, λ 0 ), τ j, t j )x λ (τ j, λ 0 ) F x (x(τ j, λ), τ j, t j 1 )x λ (τ j, λ 0 )). j=1 Now, the right-hn sie is n pproximtion to x 0 λ(λ 0 ) + D t [F x (x(τ, λ 0 ), τ, t)x λ (τ, λ 0 )]. Thus, it seems resonble to expect tht the erivtive Z(t) = x λ (t, λ 0 ), t [, b], is solution of the liner eqution t z = D tg(z, τ, t), z() = x 0 λ(λ 0 ), (8) where G(z, τ, t) = F x (x(τ, λ 0 ), τ, t)z. This provies motivtion for the following theorem. Note tht even in the cse when the right-hn sie of Eq. (7) oes not epen on τ n hs the form F (x, t), the right-hn sie of Eq. (8) hs the form G(z, τ, t) = F x (x(τ, λ 0 ), t)z, i.e., still epens on τ. Tht is why we h to stuy the more generl type of equtions in the previous section. The following proof is bse on elementry estimtes n Gronwll s inequlity; it is inspire by proof of Theorem 3.1 in the pper [2], which is concerne with ynmic equtions on time scles. Theorem 4.1. Let B R n be n open set, λ 0 R l, ρ > 0, Λ = {λ R l ; λ λ 0 < ρ}, x 0 : Λ B, F : B [, b] 2 R n. Assume tht F is regulte n left-continuous in the thir vrible, n tht for every λ Λ, the initil vlue problem t x = D tf (x, τ, t), x() = x 0 (λ) (9) hs solution efine on [, b]; let x(t, λ) be the vlue of tht solution t t [, b]. Moreover, let the following conitions be stisfie: 1. For every fixe pir (t, τ) [, b] 2, the function x F (x, τ, t) is continuously ifferentible on B. 2. The function x 0 is ifferentible t λ There exists left-continuous nonecresing function h : [, b] R such tht F x (x, τ, t) F x (x, τ, s) h(t) h(s), s, t, τ [, b], x B. 7

8 4. There exists continuous incresing function ω : [0, ) [0, ) such tht ω(0) = 0 n F x (x, τ, t) F x (x, τ, s) F x (y, τ, t)+f x (y, τ, s) ω( x y ) h(t) h(s), s, t, τ [, b], x, y B. 5. There exists left-continuous nonecresing function k : [, b] R such tht F (x, τ, t) F (x, τ, s) F (y, τ, t) + F (y, τ, s) x y k(t) k(s), s, t, τ [, b], x, y B. 6. There exists number η > 0 such tht if x R n stisfies x x(t, λ 0 ) < η for some t [, b], then x B (i.e., the η-neighborhoo of the solution t x(t, λ 0 ) is contine in B). Then the function λ x(t, λ) is ifferentible t λ 0, uniformly for ll t [, b]. Moreover, its erivtive Z(t) = x λ (t, λ 0 ), t [, b], is the unique solution of the generlize ifferentil eqution Z(s) = x 0 λ(λ 0 ) + Proof. Accoring to the ssumptions, we hve D t [F x (x(τ, λ 0 ), τ, t)z(τ)], s [, b]. (10) x(s, λ) = x 0 (λ) + D t F (x(τ, λ), τ, t), λ Λ, s [, b]. By Theorem 2.3, every solution x is regulte n left-continuous function on [, b]. If λ R l is such tht < ρ, then x(s, λ 0 + λ) x(s, λ 0 ) x 0 (λ 0 + λ) x 0 (λ 0 ) + D t V (τ, t), where V (τ, t) = F (x(τ, λ 0 + λ), τ, t) F (x(τ, λ 0 ), τ, t). By ssumption 5, we obtin V (τ, t 1 ) V (τ, t 2 ) x(τ, λ 0 + λ) x(τ, λ 0 ) k(t 1 ) k(t 2 ), n consequently (using Lemm 2.2) x(s, λ 0 + λ) x(s, λ 0 ) x 0 (λ 0 + λ) x 0 (λ 0 ) + for every s [, b]. Gronwll s inequlity from Theorem 2.4 implies x(τ, λ 0 + λ) x(τ, λ 0 ) k(τ). x(s, λ 0 + λ) x(s, λ 0 ) x 0 (λ 0 + λ) x 0 (λ 0 ) e k(b) k(), s [, b]. Thus we see tht for λ 0, x(s, λ 0 + λ) pproches x(s, λ 0 ) uniformly for ll s [, b]. By ssumption 3, the function A(τ, t) = F x (x(τ, λ 0 ), τ, t) stisfies conition (A). By Theorem 3.5, Eq. (10) hs unique solution Z : [, b] R n n. By Lemm 3.1, the solution is regulte. Consequently, there exists constnt M > 0 such tht Z(t) M for every t [, b]. For every λ R l such tht < ρ, let ξ(r, λ) = x(r, λ 0 + λ) x(r, λ 0 ) Z(r) λ, r [, b]. Our gol is to prove tht if λ 0, then ξ(r, λ) 0 uniformly for r [, b]. Let ε > 0 be given. There exists δ > 0 such tht if λ R l n < δ, then x(t, λ 0 + λ) x(t, λ 0 ) < min(ε, η), t [, b], n x 0 (λ 0 + λ) x 0 (λ 0 ) x 0 λ (λ 0) λ < ε. 8

9 Observe tht where ξ(, λ) = x0 (λ 0 + λ) x 0 (λ 0 ) x 0 λ (λ 0) λ, ξ(r, λ) ξ(, λ) = x(r, λ 0 + λ) x(, λ 0 + λ) = r D t U(τ, t), x(r, λ 0) x(, λ 0 ) (Z(r) Z()) λ U(τ, t) = F (x(τ, λ 0 + λ), τ, t) F (x(τ, λ 0 ), τ, t) F x (x(τ, λ 0 ), τ, t)z(τ) λ. For every τ [, b] n u [0, 1], we hve ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ) x(τ, λ 0 ) x(τ, λ 0 + λ) x(τ, λ 0 ) < η. By ssumption 6, the point ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ) is n element of B. In other wors, the segment connecting x(τ, λ 0 + λ) n x(τ, λ 0 ) is contine in B. Thus we cn use the men-vlue theorem for vector-vlue functions (see e.g. [3, Lemm 8.11]) to exmine the following ifference: U(τ, t) U(τ, s) = F (x(τ, λ 0 + λ), τ, t) F (x(τ, λ 0 ), τ, t) F (x(τ, λ 0 + λ), τ, s) + F (x(τ, λ 0 ), τ, s) (F x(x(τ, λ 0 ), τ, t) F x (x(τ, λ 0 ), τ, s))(x(τ, λ 0 + λ) x(τ, λ 0 )) + (F x(x(τ, λ 0 ), τ, t) F x (x(τ, λ 0 ), τ, s))(x(τ, λ 0 + λ) x(τ, λ 0 ) Z(τ) λ) ( = 1 1 (F x (ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ), τ, t) F x (ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ), τ, s)) u 0 ) 1 0 (F x (x(τ, λ 0 ), τ, t) F x (x(τ, λ 0 ), τ, s)) u +(F x (x(τ, λ 0 ), τ, t) F x (x(τ, λ 0 ), τ, s))ξ(τ, λ) (x(τ, λ 0 + λ) x(τ, λ 0 )) (In the secon integrl bove, we re simply integrting constnt function.) If < δ, then (by ssumption 4) F x (ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ), τ, t) F x (ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ), τ, s) F x (x(τ, λ 0 ), τ, t) +F x (x(τ, λ 0 ), τ, s) ω( ux(τ, λ 0 + λ) + (1 u)x(τ, λ 0 ) x(τ, λ 0 ) ) h(t) h(s) n thus (using ssumption 3) = ω( u(x(τ, λ 0 + λ) x(τ, λ 0 )) ) h(t) h(s) ω(ε) h(t) h(s), U(τ, t) U(τ, s) ω(ε) h(t) h(s) x(τ, λ 0 + λ) x(τ, λ 0 ) + h(t) h(s) ξ(τ, λ) ( h(t) h(s) ω(ε) x(τ, λ ) 0 + λ) x(τ, λ 0 ) Z(τ) λ + Z(τ) λ + ξ(τ, λ) Consequently, by Lemm 2.2, ξ(r, λ) ξ(, λ) = h(t) h(s) (ω(ε)( ξ(τ, λ) + M) + ξ(τ, λ) ). r r D t U(τ, t) (ω(ε)( ξ(τ, λ) + M) + ξ(τ, λ) ) h(τ) 9

10 It follows tht = ω(ε)m(h(r) h()) + (1 + ω(ε)) ω(ε)m(h(b) h()) + (1 + ω(ε)) r r ξ(τ, λ) h(τ) ξ(τ, λ) h(τ). ξ(r, λ) ξ(r, λ) ξ(, λ) + ξ(, λ) ε + ω(ε)m(h(b) h()) + (1 + ω(ε)) Finlly, Gronwll s inequlity les to the estimte r ξ(τ, λ) h(τ). ξ(r, λ) (ε + ω(ε)m(h(b) h()))e (1+ω(ε))(h(r) h()) (ε + ω(ε)m(h(b) h()))e (1+ω(ε))(h(b) h()). Since lim ε 0+ ω(ε) = 0, we see tht if λ 0, then ξ(r, λ) 0 uniformly for r [, b]. In the simplest cse when l = n, Λ B n x 0 (λ) = λ for every λ Λ, the previous theorem sys tht solutions of t x = D tf (x, τ, t), x() = λ re ifferentible with respect to λ, n the erivtive Z(t) = x λ (t, λ 0 ), t [, b], is the unique solution of the generlize ifferentil eqution Z(s) = I + D t [F x (x(τ, λ 0 ), τ, t)z(τ)], s [, b]. Remrk 4.2. In Theorem 4.1, we re ssuming the existence of ρ > 0 such tht for every λ R l stisfying λ λ 0 < ρ, the initil vlue problem (9) hs solution t x(t, λ) efine on [, b] n tking vlues in B. For equtions whose right-hn sie F oes not epen on τ, this ssumption cn be replce by the following simple conition: F (x, t) F (x, s) k(t) k(s), s, t [, b], x B. (11) Let us explin why this conition is sufficient. (We re still ssuming tht conitions 1 6 from Theorem 4.1 re stisfie. In prticulr, we re ssuming tht the initil vlue problem (9) hs solution corresponing to λ = λ 0.) Observe tht if c [, b) n y x(c+, λ 0 ) < η/2, then y B. (Choose δ > 0 such tht x(c+, λ 0 ) x(c + δ, λ 0 ) < η/2; then y x(c + δ, λ 0 ) y x(c+, λ 0 ) + x(c+, λ 0 ) x(c + δ, λ 0 ) < η, n thus y B by ssumption 6.) Following the first prt of proof of Theorem 4.1, we observe tht there is δ > 0 such tht if λ λ 0 < δ n if the solution t x(t, λ) exists on [, c] [, b], then x(t, λ) x(t, λ 0 ) < η ) (1, 4 min 1, t [, c]. k(b) k() + 1 If λ R l stisfies λ λ 0 < δ n the solution t x(t, λ) exists on [, c] [, b] with c [, b), then (x(c, λ) + F (x(c, λ), c+) F (x(c, λ), c)) (x(c, λ 0 ) + F (x(c, λ 0 ), c+) F (x(c, λ 0 ), c)) x(c, λ) x(c, λ 0 ) + F (x(c, λ), c+) F (x(c, λ), c) F (x(c, λ 0 ), c+) + F (x(c, λ 0 ), c) < η/4 + x(c, λ) x(c, λ 0 ) (k(c+) k(c)) < η/4 + x(c, λ) x(c, λ 0 ) (k(b) k()) < η/2 (we hve use ssumption 5). By Theorem 2.3, x(c+, λ 0 ) = x(c, λ 0 ) + F (x(c, λ 0 ), c+) F (x(c, λ 0 ), c). Thus the previous inequlity n ssumption 6 imply x(c, λ) + F (x(c, λ), c+) F (x(c, λ), c) B. All ssumptions of the locl existence theorem for generlize ifferentil equtions (see [8, Theorem 4.2]) re stisfie (we nee (11) t this moment), n thus the solution t x(t, λ) cn be extene to lrger intervl [, ], (c, b]. Consequently, for λ λ 0 < δ, the solution must exist on the whole intervl [, b]. 10

11 Remrk 4.3. Assume tht the set B from Theorem 4.1 is convex. Then it is esy to see tht ssumption 5 in this theorem is reunnt. Inee, the men-vlue theorem for vector-vlue functions n ssumption 3 le to the estimte ( 1 0 F (x, τ, t) F (x, τ, s) F (y, τ, t) + F (y, τ, s) ) F x (ux + (1 u)y, τ, t) F x (ux + (1 u)y, τ, s) u x y h(t) h(s) x y for ll s, t, τ [, b], x, y B, i.e., ssumption 5 is stisfie with k = h. With the help of Theorem 4.1, it is esy to obtin n even more generl theorem for equtions where not only the initil conition, but lso the right-hn sie of the eqution epens on the prmeter λ. The proof is inspire by similr proof of Theorem 8.49 in [3]. Theorem 4.4. Let B R n be n open set, λ 0 R l, ρ > 0, Λ = {λ R l ; λ λ 0 < ρ}, x 0 : Λ B, F : B [, b] 2 Λ R n. Assume tht F is regulte n left-continuous in the thir vrible, n tht for every λ Λ, the initil vlue problem t x = D tf (x, τ, t, λ), x() = x 0 (λ) hs solution in B; let x(t, λ) be the vlue of tht solution t t [, b]. Moreover, let the following conitions be stisfie: 1. For every fixe pir (t, τ) [, b] 2, the function (x, λ) F (x, τ, t, λ) is continuously ifferentible on B Λ. 2. The function x 0 is ifferentible t λ There exists left-continuous nonecresing function h : [, b] R such tht for ll s, t, τ [, b], x B, λ Λ. F x (x, τ, t, λ) F x (x, τ, s, λ) h(t) h(s), F λ (x, τ, t, λ) F λ (x, τ, s, λ) h(t) h(s) 4. There exists continuous incresing function ω : [0, ) [0, ) such tht ω(0) = 0 n F x (x, τ, t, λ 1 ) F x (x, τ, s, λ 1 ) F x (y, τ, t, λ 2 )+F x (y, τ, s, λ 2 ) ω( x y + λ 1 λ 2 ) h(t) h(s), F λ (x, τ, t, λ 1 ) F λ (x, τ, s, λ 1 ) F λ (y, τ, t, λ 2 )+F λ (y, τ, s, λ 2 ) ω( x y + λ 1 λ 2 ) h(t) h(s) for ll s, t, τ [, b], x, y B, λ 1, λ 2 Λ. 5. There exists left-continuous nonecresing function k : [, b] R such tht F (x, τ, t, λ 1 ) F (x, τ, s, λ 1 ) F (y, τ, t, λ 2 ) + F (y, τ, s, λ 1 ) ( x y + λ 1 λ 2 ) k(t) k(s) for ll s, t, τ [, b], x, y B, λ 1, λ 2 Λ. 6. There exists number η > 0 such tht if x R n stisfies x x(t, λ 0 ) < η for some t [, b], then x B (i.e., the η-neighborhoo of the solution t x(t, λ 0 ) is contine in B). Then the function λ x(t, λ) is ifferentible t λ 0, uniformly for ll t [, b]. Moreover, its erivtive Z(t) = x λ (t, λ 0 ), t [, b], is the unique solution of the generlize ifferentil eqution Z(s) = x 0 λ(λ 0 ) + D t [F x (x(τ, λ 0 ), τ, t, λ 0 )Z(τ) + F λ (x(τ, λ 0 ), τ, t, λ 0 )], s [, b]. 11

12 Proof. Let B = B Λ. Without loss of generlity, ssume tht ll finite-imensionl spces we re working with re equippe with the L 1 norm. In prticulr, when (x, λ) B, then (x, λ) = Define F : B [, b] 2 R n+l by n l x i + λ j = x + λ. i=1 j=1 F ((x, λ), τ, t) = (F (x, τ, t, λ), 0,..., 0) R n+l, x B, λ Λ, t, τ [, b], n y 0 : Λ B by y 0 (λ) = (x 0 (λ), λ), λ Λ. From these efinitions, it is cler tht for every λ Λ, the function y(t, λ) = (x(t, λ), λ), t [, b], is solution of the initil vlue problem t y = D t F (y, τ, t), y() = y 0 (λ) (note tht by the efinition of F, the lst l components of every solution re constnt on [, b]). Without loss of generlity, ssume tht η < ρ. If (x, λ) B is such tht (x, λ) (x(t, λ 0 ), λ 0 ) < η for some t [, b], then x x(t, λ 0 ) < η n λ λ 0 < η, i.e., x B n λ Λ. In other wors, the η-neighborhoo of the solution t y(t, λ 0 ) is contine in B. The erivtive of F with respect to y is the (n + l) (n + l) mtrix F 1 y 1 (y, τ, t) F 1 y n+l (y, τ, t) F y (y, τ, t) =..... F n+l y 1 (y, τ, t) F n+l y n+l (y, τ, t) F 1 F x 1 (x, τ, t, λ) 1 F x n (x, τ, t, λ) 1 F λ 1 (x, τ, t, λ) 1 λ l (x, τ, t, λ) F n F = x 1 (x, τ, t, λ) n F x n (x, τ, t, λ) n F λ 1 (x, τ, t, λ) n λ l (x, τ, t, λ) , where y = (x, λ) B Λ n t, τ [, b]. Similrly, the erivtive of y 0 with respect to λ t λ 0 is the (n + l) l mtrix x 0 1 x λ 1 (λ 0 ) 0 1 λ l (λ 0 )..... yλ(λ 0 x 0 n x 0 ) = λ 1 (λ 0 ) 0 n λ l (λ 0 ) Using ssumptions 3, 4 n 5, it is not ifficult to see tht F n F y stisfy ssumptions 3, 4 n 5 of Theorem 4.1. For exmple, let s, t, τ [, b], y 1, y 2 B, where y 1 = (x 1, λ 1 ) n y 2 = (x 2, λ 2 ). Then F y (y 1, τ, t) F y (y 1, τ, s) F y (y 2, τ, t) + F y (y 2, τ, s) 12

13 = F x (x 1, τ, t, λ 1 ) F x (x 1, τ, s, λ 1 ) F x (x 2, τ, t, λ 2 ) + F x (x 2, τ, s, λ 2 ) + F λ (x 1, τ, t, λ 1 ) F λ (x 1, τ, s, λ 1 ) F λ (x 2, τ, t, λ 2 ) + F λ (x 2, τ, s, λ 2 ) 2ω( x 1 x 2 + λ 1 λ 2 ) h(t) h(s) = ω( y 1 y 2 ) 2h(t) 2h(s), which verifies ssumption 4 of Theorem 4.1. Now, ccoring to Theorem 4.1, the function λ y(t, λ) is ifferentible t λ 0, uniformly for ll t [, b], n its erivtive Z(t) = y λ (t, λ 0 ), t [, b], is the unique solution of the generlize ifferentil eqution Z(s) = y 0 λ(λ 0 ) + D t [ F y (y(τ, λ 0 ), τ, t) Z(τ)], s [, b]. Let Z(t) = x λ (t, λ 0 ), t [, b]; observe tht Z is the submtrix of Z corresponing to the first n rows. Also, note tht the lst l rows of Z form the ientity mtrix. Thus it follows tht Z(s) = x 0 λ(λ 0 ) + D t [F x (x(τ, λ 0 ), τ, t, λ 0 )Z(τ) + F λ (x(τ, λ 0 ), τ, t, λ 0 )], 5 Reltion to other types of equtions s [, b]. In this section, we show tht for impulsive ifferentil equtions n for ynmic equtions on time scles, ifferentibility of solutions with respect to initil conitions follows from our Theorem 4.1. (Similrly, it cn be shown tht ifferentibility with respect to prmeters follows from Theorem 4.4). The reson is tht both types of equtions cn be rewritten s generlize equtions, whose right-hn sies o not epen on τ. Assume tht r > 0 is fixe number. We restrict ourselves to the cse B = {x R n ; x < r}; we use B to enote the closure of B. Lemm 5.1. Let µ be the Lebesgue-Stieltjes mesure generte by left-continuous nonecresing function g : [, b] R (i.e., µ([c, )) = g() g(c) for every intervl [c, ) [, b]). Assume tht f : B [, b] R m n stisfies the following conitions: For every x B, the function s f(x, s) is mesurble on [, b] with respect to the mesure µ. There exists µ-mesurble function M : [, b] R such tht M(s) µ < + n f(x, s) M(s), x B, s [, b]. For every s [, b], the function x f(x, s) is continuous in B. Consier the function F given by F (x, t) = f(x, s) µ = [,t) f(x, s) g(s), x B, t [, b]. Then the following sttements re true: 1. There exists nonecresing left-continuous function h : [, b] R n continuous incresing function ω : [0, ) [0, ) such tht ω(0) = 0 n F (x, t) F (x, s) h(t) h(s), s, t [, b], x B, F (x, t) F (x, s) F (y, t) + F (y, s) ω( x y ) h(t) h(s), s, t [, b], x, y B. 2. If x : [, b] B, Z : [, b] R n l re regulte functions, then D t [F (x(τ), t)z(τ)] = f(x(τ), τ)z(τ) g(τ). (12) 13

14 Proof. For the first sttement, see Proposition 5.9 in [8] n the references given there. Let us prove the secon sttement. Accoring to Proposition 5.12 in [8], we hve D t F (x(τ), t) = f(x(τ), τ) g(τ) (13) for every regulte function x : [, b] B. Let [α, β] [, b] n ssume tht Z : [α, β] R n l is constnt on (α, β). Then, by (13) n Theorem 2.3, = lim ε 0+ = lim ε 0+ ( β ε α+ε β ( β ε D t [F (x(τ), t)z(τ)] + α+ε f(x(τ), τ)z(τ) g(τ) ) D t [F (x(τ), t)z(τ)] α α+ε α ) β D t [F (x(τ), t)z(τ)] + D t [F (x(τ), t)z(τ)] β ε +(F (x(α), α+) F (x(α), α))z(α)+(f (x(β), β) F (x(β), β ))Z(β) ( β ε ) = lim ε 0+ f(x(τ), τ)z(τ) g(τ) + f(x(α), α)z(α)(g(α+) g(α)) + f(x(β), β)z(β)(g(β) g(β )) α+ε = β α f(x(τ), τ)z(τ) g(τ). This shows tht (12) is stisfie for ll step functions Z : [, b] R n l. For generl regulte function Z, let {Z k } k=1 be sequence of step functions tht is uniformly convergent to Z. Then = lim k D t [F (x(τ), t)z(τ)] = lim k f(x(τ), τ)z k (τ) g(τ) = D t [F (x(τ), t)z k (τ)] f(x(τ), τ)z(τ) g(τ), where the first equlity follows from Lemm 3.3 n the lst equlity from [8, Corollry 1.32]. Let us strt by consiering ifferentil equtions with impulses. Assume tht C is n open neighborhoo of B, f : C [, b] R n is continuous function whose erivtive f x exists n is continuous on C [, b], n I 1,..., I k : C R n re continuously ifferentible functions. Then it is known (see [8, Chpter 5]) tht the impulsive ifferentil eqution x (t) = f(x(t), t), t [, b]\{t 1,..., t k }, x(t i +) x(t i ) = I i (x(t i )), i {1,..., k}, x() = x 0 (λ), whose solutions re ssume to be left-continuous, is equivlent to the generlize ifferentil eqution where F (x, t) = F 1 (x, t) + F 2 (x, t) n F 1 (x, t) = t x = D tf (x, t), t [, b], x() = x 0 (λ), f(x, s) s, F 2 (x, t) = k I i (x)χ (ti, )(t) (the symbol χ A enotes the chrcteristic function of set A R). More precisely, x : [, b] B is solution of the impulsive eqution (14) if n only if it is solution of the generlize eqution (see [8, Theorem 5.20]). Now, F 1 n F 2 re ifferentible with respect to x n F 1 x (x, t) = f x (x, s) s, F 2 x (x, t) = 14 i=1 k Ix(x)χ i (ti, )(t). i=1 (14)

15 By the first prt of Lemm 5.1 (where we tke g(s) = s n µ is the Lebesgue mesure), we obtin the existence of functions h 1 : [, b] R n ω 1 : [0, ) [0, ) such tht F 1 x (x, t) F 1 x (x, s) h 1 (t) h 1 (s), s, t [, b], x B, F 1 x (x, t) F 1 x (x, s) F 1 x (y, t) + F 1 x (y, s) ω 1 ( x y ) h 1 (t) h 1 (s), s, t [, b], x, y B. By continuity, there exists K 1 such tht Ix(x) i K for ll x B, i {1,..., k}. Let h 2 (t) = K k i=1 χ (t i, )(t) for t [, b], n let ω 2 be the common moulus of continuity of the mppings I 1,..., I k on B. Then simple clcultion revels tht F 2 x (x, t) F 2 x (x, s) h 2 (t) h 2 (s), s, t [, b], x B, F 2 x (x, t) F 2 x (x, s) F 2 x (y, t) + F 2 x (y, s) ω 2 ( x y ) h 2 (t) h 2 (s), s, t [, b], x, y B. Consequently, the function F x = F 1 x + F 2 x stisfies ssumptions 3, 4 of Theorem 4.1 with h = h 1 + h 2 n ω = ω 1 + ω 2. By Remrk 4.3, ssumption 5 is stisfie with k = h. It follows tht solutions of the impulsive eqution (14) re ifferentible with respect to λ, uniformly on [, b]. (Actully, the whole proceure still works uner weker hypotheses on f; the crucil thing is to ensure tht f n f x stisfy the ssumptions of Lemm 5.1.) To obtin n eqution for the erivtive Z(s) = x λ (s, λ 0 ), we mke use of the fct tht F x (x, t) = f x (x, s) g(s), t [, b], where g(s) = s + k i=1 χ (t i, )(s), n { f x (x, t) if t [, b]\{t 1,..., t k }, f x (x, t) = Ix(x) i if t = t i for some i {1,..., k} (see e.g. [1, Remrk 3.12]). By Theorem 4.1 n the secon prt of Lemm 5.1, Z(s) = x 0 λ(λ 0 ) + D t [F x (x(τ, λ 0 ), t)z(τ)] = x 0 λ(λ 0 ) + f x (x(τ, λ 0 ), τ)z(τ) g(τ), s [, b]. This integrl eqution cn be rewritten bck (see gin [1, Remrk 3.12]) s the impulsive eqution Z (t) = f x (x(t, λ 0 ), t)z(t), t [, b]\{t 1,..., t k }, Z(t i +) Z(t i ) = Ix(x(t i i, λ 0 ))Z(t i ), i {1,..., k}, x() = x 0 λ (λ 0), which grees with the result from [6]. Next, let us turn our ttention to ynmic equtions on time scles. Let T be time scle,, b T, < b. We use the nottion [, b] T = [, b] T. For every t [, b], let t = inf{s [, b] T ; s t}. Given n rbitrry function f : [, b] T R n, we efine function f : [, b] R n by f (t) = f(t ), t [, b]. Similrly, for every function f : C [, b] T R n, where C R n, let f : C [, b] R n be efine by f (x, t) = f(x, t ), t [, b], x C. Assume tht C is n open neighborhoo of B n f : C [, b] T R n stisfies the following conitions: For every t [, b] T, the function x f(x, t) is continuously ifferentible on C. 15

16 For every continuous function x : [, b] T B, the functions t f(x(t), t) n t f x (x(t), t) re r-continuous. f x is boune in B [, b] T. A consequence of these conitions is tht f is boune in B [, b] T (use the estimte f(x, t) f(x, t) f(0, t) + f(0, t) n pply the men-vlue theorem in the first norm). Uner these ssumptions, it is known (see [11, Theorem 12]) tht the ynmic eqution x (t) = f(x(t), t), t [, b] T, x() = x 0 (λ) (15) is equivlent to the generlize orinry ifferentil eqution where t x = D tf (x, t), t [, b], x() = x 0 (λ), (16) F (x, t) = f (x, s) g(s), n g(s) = s for every s [, b]. More precisely, if x : [, b] T B is solution of (15), then the function x : [, b] B is solution of (16). Conversely, every solution y : [, b] B of (16) hs the form y = x, where x : [, b] T B is solution of (15). We hve F x (x, t) = f x(x, s) g(s). By the first prt of Lemm 5.1, there exist functions h : [, b] R n ω : [0, ) [0, ) such tht F x (x, t) F x (x, s) h(t) h(s), s, t [, b], x B, F x (x, t) F x (x, s) F x (y, t) + F x (y, s) ω( x y ) h(t) h(s), s, t [, b], x, y B. Thus, F x stisfies ssumptions 3, 4 of Theorem 4.1. By Remrk 4.3, ssumption 5 is stisfie with k = h. This mens tht solutions of the ynmic eqution (15) re ifferentible with respect to λ, uniformly on [, b] T. Let Z(s) = x λ (s, λ 0 ) be the corresponing erivtive t λ 0. By Theorem 4.1 n the secon prt of Lemm 5.1, Z(s) = x 0 λ(λ 0 ) + D t [F x (x(τ, λ 0 ), t)z(τ)] = x 0 λ(λ 0 ) + f x(x(τ, λ 0 ), τ)z(τ) g(τ), s [, b]. Consequently (see [11, Theorem 5]), n therefore Z(s) = x 0 λ(λ 0 ) + which grees with the result obtine in [2]. 6 Conclusion f x (x(τ, λ 0 ), τ)z(τ) τ, s [, b] T, Z (t) = f x (x(t, λ 0 ), t)z(t), t [, b] T, Z() = x 0 λ(λ 0 ), Besies impulsive ifferentil equtions n ynmic equtions on time scles, our ifferentibility results re lso pplicble to the so-clle mesure ifferentil equtions of the form x(t) = x() + f(x(s), s) s + g(x(s), s) u(s), t [, b], 16

17 where u is left-continuous function with boune vrition. It ws shown in [8, Chpter 5] tht uner certin ssumptions, this eqution is equivlent to the generlize orinry ifferentil eqution whose right-hn sie is F (x, t) = f(x, s) s + g(x, s) u(s). As in the previous section, simple ppliction of Lemm 5.1 shows tht uner suitble ssumptions on f n g, the hypotheses of Theorem 4.1 re stisfie, i.e., solutions of mesure ifferentil equtions re ifferentible with respect to initil conitions. An interesting open question is whether the results in this pper cn be extene to generlize equtions whose solutions tke vlues in infinite-imensionl Bnch spces. Numerous uthors hve lrey investigte equtions of this type (see e.g. [5, 7]). For exmple, it is known tht uner certin ssumptions, mesure functionl ifferentil equtions re equivlent to generlize orinry ifferentil equtions with vector-vlue solutions (see e.g. [1, 10] n the references there). Therefore, ifferentibility results for the ltter type of equtions woul be irectly pplicble in the stuy of functionl ifferentil equtions. References [1] M. Feerson, J. G. Mesquit, A. Slvík, Mesure functionl ifferentil equtions n functionl ynmic equtions on time scles, J. Differentil Equtions 252 (2012), [2] R. Hilscher, V. Zein, n W. Krtz, Differentition of Solutions of Dynmic Equtions on Time Scles with Respect to Prmeters, Av. Dyn. Syst. Appl. 4 (2009), no. 1, [3] W. G. Kelley n A. C. Peterson, The Theory of Differentil Equtions (Secon Eition), Springer, [4] J. Kurzweil, Generlize orinry ifferentil equtions n continuous epenence on prmeter, Czechoslovk Mth. J. 7 (82), 1957, [5] J. Kurzweil, Generlize Orinry Differentil Equtions. Not Absolutely Continuous Solutions, Worl Scientific, [6] V. Lkshmiknthm, D. D. Binov, P. S. Simeonov, Theory of Impulsive Differentil Equtions, Worl Scientific, [7] G. Monteiro, M. Tvrý, Generlize liner ifferentil equtions in Bnch spce: Continuous epenence on prmeter, Discrete Contin. Dyn. Syst. 33 (2013), [8] Š. Schwbik, Generlize Orinry Differentil Equtions, Worl Scientific, [9] Š. Schwbik, M. Tvrý, n O. Vejvo, Differentil n Integrl Equtions: Bounry Vlue Problems n Ajoints, Acemi, Prh, [10] A. Slvík, Mesure functionl ifferentil equtions with infinite ely, Nonliner Anl. 79 (2013), [11] A. Slvík, Dynmic equtions on time scles n generlize orinry ifferentil equtions, J. Mth. Anl. Appl. 385 (2012),

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

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

More information

Math 211A Homework. Edward Burkard. = tan (2x + z)

Math 211A Homework. Edward Burkard. = tan (2x + z) Mth A Homework Ewr Burkr Eercises 5-C Eercise 8 Show tht the utonomous system: 5 Plne Autonomous Systems = e sin 3y + sin cos + e z, y = sin ( + 3y, z = tn ( + z hs n unstble criticl point t = y = z =

More information

Chapter Five - Eigenvalues, Eigenfunctions, and All That

Chapter Five - Eigenvalues, Eigenfunctions, and All That Chpter Five - Eigenvlues, Eigenfunctions, n All Tht The prtil ifferentil eqution methos escrie in the previous chpter is specil cse of more generl setting in which we hve n eqution of the form L 1 xux,tl

More information

CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS

CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS LEARNING OBJECTIVES After stuying this chpter, you will be ble to: Unerstn the bsics

More information

Math 554 Integration

Math 554 Integration Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 1. Functional series. Pointwise and uniform convergence. 1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is

More information

Math 360: A primitive integral and elementary functions

Math 360: A primitive integral and elementary functions Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:

More information

Henstock Kurzweil delta and nabla integrals

Henstock Kurzweil delta and nabla integrals Henstock Kurzweil delt nd nbl integrls Alln Peterson nd Bevn Thompson Deprtment of Mthemtics nd Sttistics, University of Nebrsk-Lincoln Lincoln, NE 68588-0323 peterso@mth.unl.edu Mthemtics, SPS, The University

More information

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals 2 Definitions nd Bsic Properties of Extended Riemnn Stieltjes Integrls 2.1 Regulted nd Intervl Functions Regulted functions Let X be Bnch spce, nd let J be nonempty intervl in R, which my be bounded or

More information

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1 Int. Journl of Mth. Anlysis, Vol. 7, 2013, no. 41, 2039-2048 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2013.3499 On the Generlized Weighted Qusi-Arithmetic Integrl Men 1 Hui Sun School

More information

New Integral Inequalities for n-time Differentiable Functions with Applications for pdfs

New Integral Inequalities for n-time Differentiable Functions with Applications for pdfs Applied Mthemticl Sciences, Vol. 2, 2008, no. 8, 353-362 New Integrl Inequlities for n-time Differentible Functions with Applictions for pdfs Aristides I. Kechriniotis Technologicl Eductionl Institute

More information

Chapter 4. Lebesgue Integration

Chapter 4. Lebesgue Integration 4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.

More information

The Wave Equation I. MA 436 Kurt Bryan

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

More information

Set Integral Equations in Metric Spaces

Set Integral Equations in Metric Spaces Mthemtic Morvic Vol. 13-1 2009, 95 102 Set Integrl Equtions in Metric Spces Ion Tişe Abstrct. Let P cp,cvr n be the fmily of ll nonempty compct, convex subsets of R n. We consider the following set integrl

More information

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

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

More information

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch

More information

Line Integrals. Partitioning the Curve. Estimating the Mass

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

More information

A New Generalization of Lemma Gronwall-Bellman

A New Generalization of Lemma Gronwall-Bellman Applied Mthemticl Sciences, Vol. 6, 212, no. 13, 621-628 A New Generliztion of Lemm Gronwll-Bellmn Younes Lourtssi LA2I, Deprtment of Electricl Engineering, Mohmmdi School Engineering Agdl, Rbt, Morocco

More information

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

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

More information

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Journl of Inequlities in Pure nd Applied Mthemtics GENERALIZATIONS OF THE TRAPEZOID INEQUALITIES BASED ON A NEW MEAN VALUE THEOREM FOR THE REMAINDER IN TAYLOR S FORMULA volume 7, issue 3, rticle 90, 006.

More information

Lecture 3. Limits of Functions and Continuity

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

More information

Mapping the delta function and other Radon measures

Mapping the delta function and other Radon measures Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support

More information

Math 324 Course Notes: Brief description

Math 324 Course Notes: Brief description Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd

More information

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

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

More information

A basic logarithmic inequality, and the logarithmic mean

A basic logarithmic inequality, and the logarithmic mean Notes on Number Theory nd Discrete Mthemtics ISSN 30 532 Vol. 2, 205, No., 3 35 A bsic logrithmic inequlity, nd the logrithmic men József Sándor Deprtment of Mthemtics, Bbeş-Bolyi University Str. Koglnicenu

More information

MEG6007: Advanced Dynamics -Principles and Computational Methods (Fall, 2017) Lecture 4: Euler-Lagrange Equations via Hamilton s Principle

MEG6007: Advanced Dynamics -Principles and Computational Methods (Fall, 2017) Lecture 4: Euler-Lagrange Equations via Hamilton s Principle MEG6007: Avnce Dynmics -Principles n Computtionl Methos (Fll, 2017) Lecture 4: Euler-Lgrnge Equtions vi Hmilton s Principle This lecture covers: Begin with Alembert s Principle. Cst the virtul work emnting

More information

Necessary and Sufficient Conditions for Differentiating Under the Integral Sign

Necessary and Sufficient Conditions for Differentiating Under the Integral Sign Necessry nd Sufficient Conditions for Differentiting Under the Integrl Sign Erik Tlvil 1. INTRODUCTION. When we hve n integrl tht depends on prmeter, sy F(x f (x, y dy, it is often importnt to know when

More information

Week 7 Riemann Stieltjes Integration: Lectures 19-21

Week 7 Riemann Stieltjes Integration: Lectures 19-21 Week 7 Riemnn Stieltjes Integrtion: Lectures 19-21 Lecture 19 Throughout this section α will denote monotoniclly incresing function on n intervl [, b]. Let f be bounded function on [, b]. Let P = { = 0

More information

WENJUN LIU AND QUÔ C ANH NGÔ

WENJUN LIU AND QUÔ C ANH NGÔ AN OSTROWSKI-GRÜSS TYPE INEQUALITY ON TIME SCALES WENJUN LIU AND QUÔ C ANH NGÔ Astrct. In this pper we derive new inequlity of Ostrowski-Grüss type on time scles nd thus unify corresponding continuous

More information

Matrix & Vector Basic Linear Algebra & Calculus

Matrix & Vector Basic Linear Algebra & Calculus Mtrix & Vector Bsic Liner lgebr & lculus Wht is mtrix? rectngulr rry of numbers (we will concentrte on rel numbers). nxm mtrix hs n rows n m columns M x4 M M M M M M M M M M M M 4 4 4 First row Secon row

More information

Communications inmathematicalanalysis Volume 6, Number 2, pp (2009) ISSN

Communications inmathematicalanalysis Volume 6, Number 2, pp (2009) ISSN Communictions inmthemticlanlysis Volume 6, Number, pp. 33 41 009) ISSN 1938-9787 www.commun-mth-nl.org A SHARP GRÜSS TYPE INEQUALITY ON TIME SCALES AND APPLICATION TO THE SHARP OSTROWSKI-GRÜSS INEQUALITY

More information

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals. MATH 409 Advnced Clculus I Lecture 19: Riemnn sums. Properties of integrls. Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded

More information

Continuous Random Variables

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

More information

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

NUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by. NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with

More information

S. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:

S. 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 information

A unified generalization of perturbed mid-point and trapezoid inequalities and asymptotic expressions for its error term

A unified generalization of perturbed mid-point and trapezoid inequalities and asymptotic expressions for its error term An. Ştiinţ. Univ. Al. I. Cuz Işi. Mt. (N.S. Tomul LXIII, 07, f. A unified generliztion of perturbed mid-point nd trpezoid inequlities nd symptotic expressions for its error term Wenjun Liu Received: 7.XI.0

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

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

Integrals along Curves.

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

More information

The Solution of Volterra Integral Equation of the Second Kind by Using the Elzaki Transform

The Solution of Volterra Integral Equation of the Second Kind by Using the Elzaki Transform Applied Mthemticl Sciences, Vol. 8, 214, no. 11, 525-53 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/1.12988/ms.214.312715 The Solution of Volterr Integrl Eqution of the Second Kind by Using the Elzki

More information

A GENERAL INTEGRAL RICARDO ESTRADA AND JASSON VINDAS

A GENERAL INTEGRAL RICARDO ESTRADA AND JASSON VINDAS A GENERAL INTEGRAL RICARDO ESTRADA AND JASSON VINDAS Abstrct. We define n integrl, the distributionl integrl of functions of one rel vrible, tht is more generl thn the Lebesgue nd the Denjoy-Perron-Henstock

More information

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

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60. Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23

More information

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

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

More information

Numerical integration

Numerical integration 2 Numericl integrtion This is pge i Printer: Opque this 2. Introduction Numericl integrtion is problem tht is prt of mny problems in the economics nd econometrics literture. The orgniztion of this chpter

More information

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

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

More information

MAC-solutions of the nonexistent solutions of mathematical physics

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

More information

The Delta-nabla Calculus of Variations for Composition Functionals on Time Scales

The Delta-nabla Calculus of Variations for Composition Functionals on Time Scales Interntionl Journl of Difference Equtions ISSN 973-669, Volume 8, Number, pp. 7 47 3) http://cmpus.mst.edu/ijde The Delt-nbl Clculus of Vritions for Composition Functionls on Time Scles Monik Dryl nd Delfim

More information

Entropy and Ergodic Theory Notes 10: Large Deviations I

Entropy and Ergodic Theory Notes 10: Large Deviations I Entropy nd Ergodic Theory Notes 10: Lrge Devitions I 1 A chnge of convention This is our first lecture on pplictions of entropy in probbility theory. In probbility theory, the convention is tht ll logrithms

More information

Lecture 14: Quadrature

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

More information

Linear Systems with Constant Coefficients

Linear Systems with Constant Coefficients Liner Systems with Constnt Coefficients 4-3-05 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system

More information

ON THE WEIGHTED OSTROWSKI INEQUALITY

ON THE WEIGHTED OSTROWSKI INEQUALITY ON THE WEIGHTED OSTROWSKI INEQUALITY N.S. BARNETT AND S.S. DRAGOMIR School of Computer Science nd Mthemtics Victori University, PO Bo 14428 Melbourne City, VIC 8001, Austrli. EMil: {neil.brnett, sever.drgomir}@vu.edu.u

More information

Keywords : Generalized Ostrowski s inequality, generalized midpoint inequality, Taylor s formula.

Keywords : 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 information

ON BERNOULLI BOUNDARY VALUE PROBLEM

ON BERNOULLI BOUNDARY VALUE PROBLEM LE MATEMATICHE Vol. LXII (2007) Fsc. II, pp. 163 173 ON BERNOULLI BOUNDARY VALUE PROBLEM FRANCESCO A. COSTABILE - ANNAROSA SERPE We consider the boundry vlue problem: x (m) (t) = f (t,x(t)), t b, m > 1

More information

The Basic Functional 2 1

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

More information

CHEBYSHEV TYPE INEQUALITY ON NABLA DISCRETE FRACTIONAL CALCULUS. 1. Introduction

CHEBYSHEV TYPE INEQUALITY ON NABLA DISCRETE FRACTIONAL CALCULUS. 1. Introduction Frctionl Differentil Clculus Volume 6, Number 2 (216), 275 28 doi:1.7153/fdc-6-18 CHEBYSHEV TYPE INEQUALITY ON NABLA DISCRETE FRACTIONAL CALCULUS SERKAN ASLIYÜCE AND AYŞE FEZA GÜVENILIR (Communicted by

More information

Convex Sets and Functions

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

More information

Eigenfunction Expansions for a Sturm Liouville Problem on Time Scales

Eigenfunction Expansions for a Sturm Liouville Problem on Time Scales Interntionl Journl of Difference Equtions (IJDE). ISSN 0973-6069 Volume 2 Number 1 (2007), pp. 93 104 Reserch Indi Publictions http://www.ripubliction.com/ijde.htm Eigenfunction Expnsions for Sturm Liouville

More information

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

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

More information

u(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.

u(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C. Lecture 4 Complex Integrtion MATH-GA 2451.001 Complex Vriles 1 Construction 1.1 Integrting complex function over curve in C A nturl wy to construct the integrl of complex function over curve in the complex

More information

Polynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230

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

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

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

University of Auckland Research Repository, ResearchSpace

University of Auckland Research Repository, ResearchSpace Librries nd Lerning Services University of Aucklnd Reserch Repository, ReserchSpce Copyright Sttement The digitl copy of this thesis is protected by the Copyright Act 1994 New Zelnd. This thesis my be

More information

Math 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

More information

x ) dx dx x sec x over the interval (, ).

x ) dx dx x sec x over the interval (, ). Curve on 6 For -, () Evlute the integrl, n (b) check your nswer by ifferentiting. ( ). ( ). ( ).. 6. sin cos 7. sec csccot 8. sec (sec tn ) 9. sin csc. Evlute the integrl sin by multiplying the numertor

More information

A new theorem on the existence of the Riemann-Stieltjes integral and an improved version of the Loéve-Young inequality

A new theorem on the existence of the Riemann-Stieltjes integral and an improved version of the Loéve-Young inequality A new theorem on the existence of the Riemnn-Stieltjes integrl nd n improved version of the Loéve-Young inequlity Rfł M. Łochowski rxiv:1403.5413v4 [mth.ca] 2 Dec 2015 Deprtment of Mthemtics nd Mthemticl

More information

arxiv: v1 [math.ca] 9 Jun 2011

arxiv: v1 [math.ca] 9 Jun 2011 Men vlue integrl inequlities rxiv:1106.1807v1 [mth.ca] 9 Jun 2011 June, 2011 Rodrigo López Pouso Deprtment of Mthemticl Anlysis Fculty of Mthemtics, University of Sntigo de Compostel, 15782 Sntigo de Compostel,

More information

dx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω.

dx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω. Chpter 8 Stility theory We discuss properties of solutions of first order two dimensionl system, nd stility theory for specil clss of liner systems. We denote the independent vrile y t in plce of x, nd

More information

Section 6.1 Definite Integral

Section 6.1 Definite Integral Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined

More information

MEAN VALUE PROBLEMS OF FLETT TYPE FOR A VOLTERRA OPERATOR

MEAN VALUE PROBLEMS OF FLETT TYPE FOR A VOLTERRA OPERATOR Electronic Journl of Differentil Equtions, Vol. 213 (213, No. 53, pp. 1 7. ISSN: 172-6691. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu MEAN VALUE PROBLEMS OF FLETT

More information

THIELE CENTRE. Linear stochastic differential equations with anticipating initial conditions

THIELE CENTRE. Linear stochastic differential equations with anticipating initial conditions THIELE CENTRE for pplied mthemtics in nturl science Liner stochstic differentil equtions with nticipting initil conditions Nrjess Khlif, Hui-Hsiung Kuo, Hbib Ouerdine nd Benedykt Szozd Reserch Report No.

More information

INTEGRAL INEQUALITIES SIMILAR TO GRONWALL INEQUALITY

INTEGRAL INEQUALITIES SIMILAR TO GRONWALL INEQUALITY Electronic Journl of Differentil Equtions, Vol. 2007(2007, No. 176, pp. 1 14. ISSN: 1072-6691. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu (login: ftp INTEGRAL INEQUALITIES

More information

Energy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon

Energy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon Phys463.nb 49 7 Energy Bnds Ref: textbook, Chpter 7 Q: Why re there insultors nd conductors? Q: Wht will hppen when n electron moves in crystl? In the previous chpter, we discussed free electron gses,

More information

3.4 Numerical integration

3.4 Numerical integration 3.4. Numericl integrtion 63 3.4 Numericl integrtion In mny economic pplictions it is necessry to compute the definite integrl of relvlued function f with respect to "weight" function w over n intervl [,

More information

Week 10: Riemann integral and its properties

Week 10: Riemann integral and its properties Clculus nd Liner Algebr for Biomedicl Engineering Week 10: Riemnn integrl nd its properties H. Führ, Lehrstuhl A für Mthemtik, RWTH Achen, WS 07 Motivtion: Computing flow from flow rtes 1 We observe the

More information

Math 115 ( ) Yum-Tong Siu 1. Lagrange Multipliers and Variational Problems with Constraints. F (x,y,y )dx

Math 115 ( ) Yum-Tong Siu 1. Lagrange Multipliers and Variational Problems with Constraints. F (x,y,y )dx Mth 5 2006-2007) Yum-Tong Siu Lgrnge Multipliers nd Vritionl Problems with Constrints Integrl Constrints. Consider the vritionl problem of finding the extremls for the functionl J[y] = F x,y,y )dx with

More information

FRACTIONAL DYNAMIC INEQUALITIES HARMONIZED ON TIME SCALES

FRACTIONAL DYNAMIC INEQUALITIES HARMONIZED ON TIME SCALES FRACTIONAL DYNAMIC INEQUALITIES HARMONIZED ON TIME SCALES M JIBRIL SHAHAB SAHIR Accepted Mnuscript Version This is the unedited version of the rticle s it ppered upon cceptnce by the journl. A finl edited

More information

Riemann Stieltjes Integration - Definition and Existence of Integral

Riemann Stieltjes Integration - Definition and Existence of Integral - Definition nd Existence of Integrl Dr. Adity Kushik Directorte of Distnce Eduction Kurukshetr University, Kurukshetr Hryn 136119 Indi. Prtition Riemnn Stieltjes Sums Refinement Definition Given closed

More information

ON SOME NEW FRACTIONAL INTEGRAL INEQUALITIES

ON SOME NEW FRACTIONAL INTEGRAL INEQUALITIES Volume 1 29, Issue 3, Article 86, 5 pp. ON SOME NEW FRACTIONAL INTEGRAL INEQUALITIES SOUMIA BELARBI AND ZOUBIR DAHMANI DEPARTMENT OF MATHEMATICS, UNIVERSITY OF MOSTAGANEM soumi-mth@hotmil.fr zzdhmni@yhoo.fr

More information

Section 14.3 Arc Length and Curvature

Section 14.3 Arc Length and Curvature Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in

More information

On some refinements of companions of Fejér s inequality via superquadratic functions

On some refinements of companions of Fejér s inequality via superquadratic functions Proyecciones Journl o Mthemtics Vol. 3, N o, pp. 39-33, December. Universidd Ctólic del Norte Antogst - Chile On some reinements o compnions o Fejér s inequlity vi superqudrtic unctions Muhmmd Amer Lti

More information

Semigroup of generalized inverses of matrices

Semigroup of generalized inverses of matrices Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure

More information

B Veitch. Calculus I Study Guide

B Veitch. Calculus I Study Guide Clculus I Stuy Guie This stuy guie is in no wy exhustive. As stte in clss, ny type of question from clss, quizzes, exms, n homeworks re fir gme. There s no informtion here bout the wor problems. 1. Some

More information

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

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

More information

CLOSED EXPRESSIONS FOR COEFFICIENTS IN WEIGHTED NEWTON-COTES QUADRATURES

CLOSED EXPRESSIONS FOR COEFFICIENTS IN WEIGHTED NEWTON-COTES QUADRATURES Filomt 27:4 (2013) 649 658 DOI 10.2298/FIL1304649M Published by Fculty of Sciences nd Mthemtics University of Niš Serbi Avilble t: http://www.pmf.ni.c.rs/filomt CLOSED EXPRESSIONS FOR COEFFICIENTS IN WEIGHTED

More information

We know that if f is a continuous nonnegative function on the interval [a, b], then b

We know that if f is a continuous nonnegative function on the interval [a, b], then b 1 Ares Between Curves c 22 Donld Kreider nd Dwight Lhr We know tht if f is continuous nonnegtive function on the intervl [, b], then f(x) dx is the re under the grph of f nd bove the intervl. We re going

More information

Best Approximation. Chapter The General Case

Best Approximation. Chapter The General Case Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given

More information

(2) x't(t) = X> (í)mm0)píj'sgnfoíffyít))], l<i<n, 3 = 1

(2) x't(t) = X> (í)mm0)píj'sgnfoíffyít))], l<i<n, 3 = 1 proceedings of the mericn mthemticl society Volume 104, Number 4, December 1988 SYSTEMS OF FUNCTIONAL DIFFERENTIAL EQUATIONS WITH ASYMPTOTICALLY CONSTANT SOLUTIONS WILLIAM F. TRENCH AND TAKASI KUSANO (Communicted

More information

4. Approximation of continuous time systems with discrete time systems

4. Approximation of continuous time systems with discrete time systems 4. Approximtion of continuous time systems with iscrete time systems A. heory (it helps if you re the course too) he continuous-time systems re replce by iscrete-time systems even for the processing of

More information

a n+2 a n+1 M n a 2 a 1. (2)

a n+2 a n+1 M n a 2 a 1. (2) Rel Anlysis Fll 004 Tke Home Finl Key 1. Suppose tht f is uniformly continuous on set S R nd {x n } is Cuchy sequence in S. Prove tht {f(x n )} is Cuchy sequence. (f is not ssumed to be continuous outside

More information

(0.0)(0.1)+(0.3)(0.1)+(0.6)(0.1)+ +(2.7)(0.1) = 1.35

(0.0)(0.1)+(0.3)(0.1)+(0.6)(0.1)+ +(2.7)(0.1) = 1.35 7 Integrtion º½ ÌÛÓ Ü ÑÔÐ Up to now we hve been concerned with extrcting informtion bout how function chnges from the function itself. Given knowledge bout n object s position, for exmple, we wnt to know

More information

Lecture 14 Numerical integration: advanced topics

Lecture 14 Numerical integration: advanced topics Lecture 14 Numericl integrtion: dvnced topics Weinn E 1,2 nd Tiejun Li 2 1 Deprtment of Mthemtics, Princeton University, weinn@princeton.edu 2 School of Mthemticl Sciences, Peking University, tieli@pku.edu.cn

More information

AP Calculus BC Review Applications of Integration (Chapter 6) noting that one common instance of a force is weight

AP Calculus BC Review Applications of Integration (Chapter 6) noting that one common instance of a force is weight AP Clculus BC Review Applictions of Integrtion (Chpter Things to Know n Be Able to Do Fin the re between two curves by integrting with respect to x or y Fin volumes by pproximtions with cross sections:

More information

Summary of Elementary Calculus

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

Math 4200: Homework Problems

Math 4200: Homework Problems Mth 4200: Homework Problems Gregor Kovčič 1. Prove the following properties of the binomil coefficients ( n ) ( n ) (i) 1 + + + + 1 2 ( n ) (ii) 1 ( n ) ( n ) + 2 + 3 + + n 2 3 ( ) n ( n + = 2 n 1 n) n,

More information

Line and Surface Integrals: An Intuitive Understanding

Line and Surface Integrals: An Intuitive Understanding Line nd Surfce Integrls: An Intuitive Understnding Joseph Breen Introduction Multivrible clculus is ll bout bstrcting the ides of differentition nd integrtion from the fmilir single vrible cse to tht of

More information

Time Optimal Control of the Brockett Integrator

Time Optimal Control of the Brockett Integrator Milno (Itly) August 8 - September, 011 Time Optiml Control of the Brockett Integrtor S. Sinh Deprtment of Mthemtics, IIT Bomby, Mumbi, Indi (emil : sunnysphs4891@gmil.com) Abstrct: The Brockett integrtor

More information

4.4 Geodesics and the Christoffel symbols

4.4 Geodesics and the Christoffel symbols Clssnotes: Geometry & Control of Dynmicl Systems, M. Kwski. April 20, 2009 107 4.4 Geoesics n the Christoffel symbols There re mny wys in which to pproch geoesics: closest to the originl sense of this

More information

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de

More information

MATH 174A: PROBLEM SET 5. Suggested Solution

MATH 174A: PROBLEM SET 5. Suggested Solution MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion

More information

Orthogonal Polynomials and Least-Squares Approximations to Functions

Orthogonal Polynomials and Least-Squares Approximations to Functions Chpter Orthogonl Polynomils nd Lest-Squres Approximtions to Functions **4/5/3 ET. Discrete Lest-Squres Approximtions Given set of dt points (x,y ), (x,y ),..., (x m,y m ), norml nd useful prctice in mny

More information

Problem Set 3

Problem Set 3 14.102 Problem Set 3 Due Tuesdy, October 18, in clss 1. Lecture Notes Exercise 208: Find R b log(t)dt,where0

More information