PENALIZED LEAST SQUARES FITTING. Manfred von Golitschek and Larry L. Schumaker

Size: px
Start display at page:

Download "PENALIZED LEAST SQUARES FITTING. Manfred von Golitschek and Larry L. Schumaker"

Transcription

1

2 Serdic Mth. J ), PENALIZED LEAST SQUARES FITTING Mnfred von Golitschek nd Lrry L. Schumker Communicted by P. P. Petrushev Dedicted to the memory of our collegue Vsil Popov Jnury 4, 942 My 3, 990 Abstrct. Bounds on the error of certin penlized lest squres dt fitting methods re derived. In ddition to generl results in firly bstrct setting, more detiled results re included for severl prticulrly interesting specil cses, including splines in both one nd severl vribles.. Introduction. We begin with n bstrct definition of wht we men by penlized lest squres fit. Suppose X, Y nd S re liner spces over IR, where S Y X. Let X : X IR nd Y : Y IR be semi-norms induced by semi-definite inner products, on X nd [, ] on Y, respectively. Given f X nd > 0, suppose there exists s f,s) in S such tht Φs f,s)) = min u S Φu), 2000 Mthemtics Subject Clssifiction: Primry 4A5; Secondry 4A25. Key words: Penlized lest squres, Tikhonov regulriztion, Spline pproximtion. * Supported by the Army Reserch Office under grnt DAAD

3 330 Mnfred von Golitschek nd Lrry L. Schumker where Φu) := f u 2 X + u 2 Y. Then we cll s f,s) penlized lest squres fit of f corresponding to. If there exists unique minimizer of Φ in S for ech f X, then Q : X S defined by Q f := s f,s) defines liner opertor which is not in generl liner projection. Our im in this pper is to investigte the behvior of f Q f X s function of both nd the pproximtion properties of S. The pper is orgnized s follows. In Section 2 we give detiled tretment of the penlized lest squres problem for pproximtion by trigonometric polynomils. The next section is devoted to Tikhonov regulriztion with weights) for univrite functions defined on n intervl. The results include error bounds for certin clsses of functions. In Section 4 we derive n explicit formul for the Tikhonov regulriztion of rbitrry functions in C[,π]. Our min L 2 error bounds for penlized lest squres fits of univrite functions re contined in Section 5. Generl penlized lest squres is treted in Section 6. We conclude the pper by outlining two typicl pplictions: univrite splines nd bivrite splines on tringultions. 2. Penlized Fourier series. Throughout this section, we tke X = π L 2 [,π] with the inner product f,g = fg, nd set Y = W2 2 [T] with the semi-definite inner product [f, g] = π f g, where T denotes the circle. We let S = T n be the set of ll rel-vlued trigonometric polynomils of degree t most n, with n IN fixed. Clerly, for ech f L 2 [,π] nd > 0, there exists unique miniml solution s,n := s,n f) of the penlized lest squres problem { π min f T) 2 dx + T T n π } T ) 2 dx. Our first theorem compres s,n with the n-th prtil sum s n f) := s 0,n f) of the Fourier series of f. Theorem 2.. Suppose f L 2 [,π], nd tht fx) = 0 + ) k cos kx) + b k sin kx)

4 Penlized Lest Squres Fitting 33 is its Fourier series. Then for ech > 0 nd n IN, s,n = s f, T n ) is given by n ) 2.) s,n x) = k 4 k cos kx) + b k sin kx), or equivlently, 2.2) s n f) = s,n + s 4),n. Proof. The miniml solution s,n is chrcterized by the orthogonlity reltions π π 2.3) f s,n )T = s,n T, for ll T T n. A simple computtion shows tht the function s,n given by 2.) is the only function in T n which stisfies 2.3). This implies tht s,n is the unique miniml solution. The proof of 2.2) is eqully simple. Tking the limit s n in Theorem 2., we get Corollry 2.2. Let f be s in Theorem 2.. Then for ech > 0, the function s, x) = 0 + ) + k 4 k cos kx) + b k sin kx), x IR, lies in W 4 2 T), nd f = s, + s 4),. Moreover, s, is the unique solution of the minimum problem { π min f g) 2 dx + π g ) 2 dx, g W 2 2 T) }. Let 2 nd denote the L 2 nd uniform norms on [,π], respectively. Since f s n f) 2 f T 2 for ll T T n, we hve f s,n 2 f s n f) 2. In the next theorem we will see tht the L 2 -norm f s,n f) 2 chnges very little for incresing n > /4. Hence, for numericl purposes, it is not worthwhile to compute s,n f) for n lrger thn /4.

5 332 Mnfred von Golitschek nd Lrry L. Schumker Theorem 2.3. Let f L 2 [,π] nd 0 <. Let N = /4 be the lrgest integer smller thn or equl to /4. Then 2.4) ε,n f s,n f) 2 ε,n, 2 where ε,n := ε,n f) is defined by { ε,n := f sn f) s 4) n f) 2 2, if n N, ε,n, if n > N. P r o o f. We pply the orthogonlity reltion π f s n f))t = 0, T T n, π for T = s 4),n = s4),n f). This gives f s n f))s 4),n = 0, nd 2.2) implies 2.5) f s,n 2 2 = f s nf) + s 4),n 2 2 = f s nf) s 4),n 2 2. It follows from 2.) tht s 4),n 2 2 = n If n N, this implies If n > N, then k 4 ) 2 n + k 4 k cos kx) + b k sin kx) = π 2 s 4),n 2 2 π s 4),n 2 2 π 4 n n s 4),n 2 2 = s 4),N π s 4),N π k 8 2 k + b2 k ) = s4) n 2 2 k 8 2 k + b2 k ) = 4 s4) n 2 2. n k=n + n k=n + k 8 2 k + b2 k ) + k 4 ) 2 2 k + b2 k 2 = s 4),N f s N 2 2 f s n 2 2 k 8 2 k + b2 k ) + k 4 ) 2. ).

6 Penlized Lest Squres Fitting 333 Moreover, if n > N, then s 4),n 2 2 = s 4),N π s 4),N π n k=n + n k=n + k 8 2 k + b2 k ) + k 4 ) 2 2 k + b2 k 4 2 = s 4),N ) 4 2 f s N 2 2 f s n 2 2. Inserting these estimtes into 2.5) yields 2.4). 3. Tikhonov regulriztion on [, b] with weights. Suppose w : [,b] IR is piecewise continuous nonnegtive function on [,b] with In this section we tke X = L 2,b) with the inner product f,g = set Y = S = W2 2 b [,b] with the semi-definite inner product [f,g] = w > 0. wfg, nd f g. Definition 3.. Let f L 2,b) nd > 0. We cll φ,w = φ f,w) W2 2 [,b] the nonperiodic) Tikhonov regulriztion of f corresponding to nd w provided it minimizes 3.) with respect to ll u W 2 2 [,b]. ) 2 wx) f u dx + u ) 2 dx For the weight w =, Rgozin [5] proved tht the Tikhonov regulriztion φ stisfies f q) φ q) 2 C q 2 q)/4 f 2, q = 0,,2, for some bsolute constnts C q > 0. The next theorem sttes, mong other things, tht C 0 nd C 2 2 for the weight w =. Theorem 3.2. Let f C[,b] nd > 0. Let φ := φ f,w) be the Tikhonov regulriztion of f corresponding to,w. Then φ C 3 [,b], φ 4) is piecewise continuous on [, b], nd

7 334 Mnfred von Golitschek nd Lrry L. Schumker ) wx)[fx) φ x)] = φ 4) x), for ll x [,b] where w is continuous, 2) φ ) ) = φ ) b) = φ 3) If f W2 2[,b], then φ ) 2 f 2 nd ) = φ3) b) = 0. wf φ ) 2) /2 /2 f ) Proof. Let f C[,b]. The orthogonlity reltions for 3.) re wf φ )u We define the function F by Fx) := x t φ ) u = 0, for ll u W 2 2 [,b]. ) ws) fs) φ s) ds dt, x b. Then, F) = F ) = 0. Applying 3.2) for u = nd ux) = x yields wf φ )dx = fx) φ x))xdx = 0, nd thus F b) = 0 nd Fb) = 0. Therefore, integrting by prts gives Hence 3.2) is equivlent to nd thus This implies tht Differentiting twice yields wf φ )u = Fu. F φ ) )u = 0, for ll u W 2 2 [,b], F φ ) )g = 0, for ll g L 2 [,b]. Fx) = φ ) x), x b. wx)fx) φ x)) = φ 4) x)

8 Penlized Lest Squres Fitting 335 t ll points x [,b] where w is continuous. Then F = φ ) nd F) = Fb) = 0 imply φ ) ) = φ ) b) = 0, while F = φ 3) nd F ) = F b) = 0 imply φ 3) ) = φ3) b) = 0. Let f W2 2 [,b]. We denote the miniml vlue in 3.) by M. Then 3.) nd 3.2) imply tht M = wf φ )f u) + Tking u = f, it follows tht M = φ ) u, for ll u W 2 2 [,b]. φ ) f φ ) 2 f 2. Therefore, nd thus wf φ ) 2 + φ ) 2 2 φ ) 2 f 2, φ ) 2 f 2, wf φ ) 2 /2 f 2. This concludes the proof. Theorem 3.3. Let w =. Let f W 4 2 [,b] nd f ) = f b) = f 3) ) = f 3) b) = 0. Then the Tikhonov regulriztion φ of f corresponding to > 0 stisfies f φ 2 f 4) 2, f φ ) 2 /2 f 4) 2, φ 4) 2 f 4) 2. Proof. We write U := {u W 4 2 [,b] : u ) = u b) = u 3) ) = u 3) b) = 0}. Clerly, f U by ssumption nd φ U by Theorem 3.2. For ech u U we obtin by integrtion by prts tht f φ )u 4) = f φ ) )u.

9 336 Mnfred von Golitschek nd Lrry L. Schumker Inserting the identity f φ = φ 4), it follows tht 3.3) f φ ) )u φ 4) u4) = 0, for ll u U. But 3.3) re the orthogonlity reltions for the minimum problem 3.4) M := min u U f u u 4) 2 2, nd so φ is the miniml solution of 3.4). Since f U, it follows tht M f 4) 2 2, nd thus Finlly, we hve φ 4) 2 f 4) 2, f φ ) 2 /2 f 4) 2. f φ 2 = φ 4) 2 f 4) 2, which concludes the proof of the theorem. 4. An explicit formul for the Tikhonov regulriztion In this section we consider the inner product spces X = L 2,b) nd Y = S = [,b] of Section 3 with the weight function w = on [,b], tht is, f,g = W2 2 fg, [f,g] = f g. In Theorem 2. we hve given n explicit formul for the periodic Tikhonov regulriztion. In this section we wnt to pply the methods of Section 2 to the nonperiodic cse. We my ssume for convenience tht the intervl is [,b] = [,π]. Otherwise, under the liner trnsformtion xt) = + b )t + π), t π, 2π of the intervl [,π] onto [,b], the Tikhonov regulriztions φ x) on [,b] of f nd ψ µ t) on [,π] of gt) := fxt)) re relted by 4.) ψ µ t) = φ xt)), = b ) 4µ. 2π To prove 4.), we simply compre the orthogonlity reltions 4.2) fx) φ x))ux)dx = φ ) x)u x)dx, u W 2 2 [,b],

10 Penlized Lest Squres Fitting 337 nd 4.3) π π gt) ψ µ t))vt)dt = µ ψ µ t)v t)dt, v W2 2 [,π], where the equivlence of 4.2) nd 4.3) follows from the bijection vt) = uxt)) of W 2 2 [,b] onto W 2 2 [,π]. The min ide of this section is contined in the next lemm. Lemm 4. Ech function v C [,π] hs unique representtion of the form 4.4) vt) = c t + c 2 t 2 + wt), c IR, c 2 IR, w C T). In other words, 4.4) defines bijection from IR 2 C T) onto C [,π]. Proof. Given c,c 2 IR nd w C T), the function v in 4.4) lies in C [,π]. Conversely, for function v C [,π], the condition w) = wπ) is equivlent to nd thus to v) + c π c 2 π 2 = vπ) c π c 2 π 2, c = vπ) v). 2π The condition w ) = w π) is equivlent to v )+2c 2 π = v π) 2c 2 π, nd thus to c 2 = v π) v ). 4π This concludes the proof of the lemm. As corollry, ech function f C [,π] hs unique representtion 4.5) ft) = c t + c 2 t k cos kt) + b k sin kt)), where c = fπ) f) 2π, c 2 = f π) f ). 4π

11 338 Mnfred von Golitschek nd Lrry L. Schumker Theorem 4.2. Let f C[,π] be given by 4.5). If f C [,π], then we tke c 2 = 0. Then the nonperiodic Tikhonov regulriztion φ of f corresponding to is given by φ t) = γ t + γ 2 t 2 + α 0 + α k cos kt) + β k sin kt)) with 4.6) 4.7) 4.8) 4.9) 4.0) where γ = c ) k k 3 b k 2B) + k 4, ) ) k k 2 k γ 2 = 4A)c A) + k 4, α 0 = 0 + c 2 γ 2 )π 2, 3 α k = + k 4 β k = + k 4 A) := k + 4 )k c 2 γ 2 ) k 2 b k + 2 )k c γ ) k ), k, ), k, + k 4, B) := k 2 + k 4. Proof. The Fourier series of t nd t 2 on,π) re 2 ) k sin kt) t =, < t < π, k t 2 = π ) k cos kt) k 2, t π, with pointwise convergence. From Theorem 3.2, we know tht f = φ + φ 4) Compring the Fourier coefficients of f nd φ + φ 4) ft) = c ) k sinkt) k + c 2 π k cos kt) + b k sin kt)) in the expnsions 4 ) k cos kt) ) k 2.

12 Penlized Lest Squres Fitting 339 nd φ t) + φ 4) t) = γ we obtin the equlities +α ) k sin kt) k + γ 2 π k 4 )α k cos kt) + β k sin kt)), 4 ) k cos kt) ) k 2 c 2 π = γ 2π 2 + α c 2 ) k k 2 + k = 4γ 2 ) k k k 4 )α k, k, 2c ) k + b k = 2γ ) k + + k 4 )β k, k k k, which re equivlent to 4.8) 4.0). From Theorem 3.2 we know tht φ ) π) = 0 nd φ 3) π) = 0, nd thus, φ ) π) = 2γ 2 ) k k 2 α k = 0, 4.) φ 3) Inserting 4.8) 4.0) into 4.) yields nd 0 = 2γ 2 = π) = ) k k 3 β k = 0. ) k k 3 β k = ) k k 2 k + k 4 + 4c 2 γ 2 ) These two conditions re equivlent to 4.2) nd 4.3) 2γ 2 = ) k k 3 b k + k 4 2c γ ) + k 4 ) k k 2 k + k 4 + 4c 2 γ 2 )A) 2c γ )B) = ) k k 3 b k + k 4. k 2 + k 4.

13 340 Mnfred von Golitschek nd Lrry L. Schumker Now 4.6) follows from 4.2), nd 4.7) follows from 4.3). 5. L 2 -error bounds for penlized lest squres fitting. In this section we consider the inner product spces X = L 2,b) nd Y = W2 2 [,b] of Section 4 with the sme inner products f, g = fg nd [f,g] = f g, but we now tke S to be proper subspce of Y. For f L 2 [,b] nd > 0, we compre the penlized lest squres fit φ Y of Section 3 with weight function w = ) stisfying { } f φ ) 2 + φ )2 = min f u) 2 + u ) 2 u Y with the penlized lest squres fit s = Q f) from S stisfying { } f s ) 2 + s )2 = min f u) 2 + u ) 2. u S Theorem 5.. Let f W2 2[,b] nd > 0. Then s minimizes the expression 5.) φ u φ ) u 2 2 with respect to ll u S. Proof. s is chrcterized by the orthogonlity reltions 5.2) f s )u s ) u = 0, for ll u S. Since f = φ + φ 4) φ s )u + by Theorem 3.2, 5.2) is equivlent to φ 4) u s ) u ) = 0, for ll u S, nd since φ ) = φ b) = φ3) ) = φ3) b) = 0 by Theorem 3.2, integrtion by prts shows tht 5.2) is equivlent to 5.3) φ s )u + φ s ) )u = 0, for ll u S. But 5.3) re the orthogonlity reltions for the minimum problem 5.).

14 Penlized Lest Squres Fitting 34 Corollry 5.2. Let S W2 2 [,b] be liner spce. Suppose tht for ech g W2 2 [,b] there exists u S such tht 5.4) g u 2 Ch 2 g 2, g u 2 C g 2, for positive numbers C nd h independent of g. Then the penlized lest squres fit s of f in S corresponding to stisfies f s 2 /2 + C ) 5.5) h 4 + f 2 nd 5.6) s ) 2 + C ) h 4 + f 2. Proof. By Theorem 3.2, the Tikhonov regulriztion φ of f stisfies f φ 2 /2 f 2. Let M 0 be the minimum in 5.). Applying 5.4) for g := φ, it follows tht M 0 C 2 ) h 4 + φ ) 2 2. Then, since φ ) 2 f 2 by Theorem 3.2, f s 2 f φ 2 + φ s 2 /2 f 2 + M /2 0 /2 + C ) h 4 + f 2, which yields 5.5). Since φ ) 2 f 2 by Theorem 3.2, while 5.7) φ ) s ) 2 2 M 0, it follows tht s ) 2 φ ) 2 + /2 M /2 0 [ ] /2 ) + C h 4 + f 2, which proves 5.6).

15 342 Mnfred von Golitschek nd Lrry L. Schumker Corollry 5.3. Let S W2 2 [,b] be liner spce. Suppose tht for ech g W2 4 [,b] there exists u S such tht 5.8) g u 2 Ch 4 g 4) 2, g u 2 Ch 2 g 4) 2, for positive numbers C nd h independent of g. Let f W2 4[,b] nd f ) = f b) = f 3) ) = f 3) b) = 0. Then the penlized lest squres fit s of f in S corresponding to stisfies ) 5.9) f s 2 + C[ + h 4 ] f 4) 2, 5.0) f s ) 2 /2 + Ch 2 [h 4 + ] /2) f 4) 2, Proof. By Theorem 3.3, the Tikhonov regulriztion φ of f stisfies f φ 2 f 4) 2. Let M 0 be the minimum in 5.). Applying 5.8) for g := φ, it follows tht M 0 C 2 h 8 + h 4) φ 4) 2 2. Then, since φ 4) 2 f 4) 2 by Theorem 3.3, f s 2 f φ 2 + φ s 2 f 4) 2 + M /2 0 + Ch 2 ) h 4 + f 4) 2, which implies 5.9). Since f φ ) 2 /2 f 4) 2 by Theorem 3.3, using 5.7) gives f s ) 2 /2 f 4) 2 + /2 M /2 0, nd 5.0) follows. 6. A generl penlized lest squres problem. Keeping in mind the problems nd results of Sections 2 5, we now investigte the more generl

16 Penlized Lest Squres Fitting 343 setting described in the introduction. Let X, Y nd S be liner spces on IR, where S Y X; X : X IR nd Y : Y IR re semi-norms induced by semi-definite inner products, on X nd [, ] on Y, respectively. For simplicity, we ssume throughout the rest of this pper tht S hs dimension n nd tht the restriction X onto S is norm on S. This implies tht for ny f X nd > 0, there exists unique s := s f,s) := Q f in S with the property { } f s 2 X + s 2 Y = inf f u 2 X + u S u 2 Y. We denote the nonpenlized lest squres fit in S by s 0, i.e., f s 0 2 X = min u S f u 2 X. The penlized lest squres pproximtion s of f is chrcterized by the orthogonlity reltions 6.) f s,u = [s,u], for ll u S, while s 0 is chrcterized by 6.2) f s 0,u = 0, for ll u S. By 6.) 6.2), we hve 6.3) s 0 s,u = [s,u], for ll u S, which proves tht s = Q s 0, tht is s 0 s 2 X + s 2 Y = min u S { } s 0 u 2 X + u 2 Y. In wht follows, we will discuss the error function s 0 s which indictes the consequences of the penlty, nd is esier to nlyse thn the error function f s itself. This suffices since f s 0 X f s X f s 0 X + s 0 s X. In nlogy with Theorem 3.2, we hve

17 344 Mnfred von Golitschek nd Lrry L. Schumker Theorem 6.. For ech f X nd > 0, s := s f,s) stisfies 6.4) nd 6.5) Proof. Becuse of 6.3), s Y s 0 Y s 0 s X s 0 Y. Ms 0,) := s 0 s 2 X + s 2 Y = s 0 s,s 0 u + [s,u], for ll u S. Inserting u = s 0 yields nd inequlities 6.4) nd 6.5) follow. tht Ms 0,) = [s,s 0 ] s Y s 0 Y, Our next result provides n improvement of 6.5) for smll which implies s 0 s X = O) s 0. Theorem 6.2. For ech f X nd > 0, s := s f,s) stisfies 6.6) where s 0 s X K S s 0 Y. { } u Y K S := sup : u S, u 0. u X Proof. Coupling the orthogonlity reltion 6.3) for u = s 0 s with the Cuchy-Schwrz inequlity nd 6.4), we hve which implies 6.6). s 0 s 2 X = s 0 s,s 0 s = [s,s 0 s ] s Y s 0 s Y s 0 Y K S s 0 s X, We conclude this section by exmining the specil cse where X, Y, S re function spces on some set Ω IR d, d IN. Our next result gives bound on s 0 s L Ω) which implies tht s 0 s L Ω) = O) s 0.

18 Penlized Lest Squres Fitting 345 Theorem 6.3. Suppose X L Ω), nd let { } u L Ω) κ S := sup : u S, u 0 <. u X Then } s 0 s L Ω) κ S s0 Y min {,K S. Proof. The ssertion follows directly from 6.5), Theorem 6.2, nd the definition of κ S. 7. Applictions. 7.. Cubic splines on n intervl. Let X = C[,b], Y = W2 2[,b], nd suppose S := S 4 ) C 2 [,b] is the liner spce of cubic splines with simple knots : = x 0 < x < < x n = b. Suppose tht D := {t i } m i= re distinct points in [,b] so tht the restriction of S 4 ) onto D hs full dimension n + 3. We cn now pply the results of Section 6 for the inner products f,g = m m ft i )gt i ), i= f,g C[,b] nd [f,g] = In the nottion of Sect. 6, f g, f,g W 2 2 [,b]. ) /2 m u X = ut i ) 2, u S. m i= We write 2 for the L 2 -norm on [,b] nd suppose tht D nd re such tht { } u 2 δ := sup : u S, u 0 u X is finite. Let h 0 := h 0 ) := min{x j+ x j : j = 0,...,n }. Since u 2 δ u X, u S, it follows tht for some bsolute constnt C 0, u Y = u 2 C 0 h 2 0 u 2 C 0 δ h 2 0 u X,

19 346 Mnfred von Golitschek nd Lrry L. Schumker nd thus K S C 0 δ h 2 0. Moreover, for some other bsolute constnt C, κ S C δ h /2 0. For given rel numbers {y i } m i=, let s 0 S be such tht m m i= 2 y i s 0 t i )) = min u S m m i= y i ut i )) 2. Recll tht the penlized lest squres spline s minimizes the expression m m y i ut i )) 2 + i= u t)) 2 dt. The following result follows immeditely from Theorems Moreover, Theorem 7.. For ll > 0, s 0 s 2 δ min{,k S } s 0 2. s 0 s L [,b] C δ h /2 0 min {,C0 δ h 2 0 } s Bivrite spline spces with stble locl bses. Let Ω be bounded set in IR 2 with polygonl boundry, nd suppose tht X L Ω), Y = W2 2 Ω). Let S X be liner spce of polynomil splines defined on regulr tringultion of Ω. For results on the pproximtion properties of these types of spces, see [, 2, 4]. Suppose tht D = {t i } m i= re distinct points in Ω so tht the restriction of S onto D hs the sme dimension s S. We pply the results of Section 6 for the inner products f,g = m m ft i )gt i ), f,g X, i=

20 Penlized Lest Squres Fitting 347 nd [f,g] := Ω f xx g xx + 2f xy g xy + f yy g yy ) dxdy, f,g Y. For given rel numbers z i ) m i=, s 0 S is the unique function in S which stisfies m m i= In the nottion of Sect. 6, 2 z i s 0 t i )) = min u S m m i= z i ut i )) 2. ) /2 m u X = ut i ) 2, u S. m i= We hve investigted properties of s 0 S in [3]. Let 2 denote the L 2 -norm on Ω, nd suppose tht D nd re such tht { } u 2 δ := sup : u S, u 0 u X is finite. Let h 0 := h 0 ) be the minimum side length of the tringles in. Since u 2 δ u X, u S, it follows tht for some bsolute constnt C 0 so tht u Y C 0 h 2 0 u 2 C 0 δ h 2 0 u X K S C 0 δ h 2 0. Moreover, for some other bsolute constnt C, κ S C δ h 0. As for univrite splines, we cn now pply Theorems to get bounds on s 0 s in both the L 2 nd uniform norms on Ω. REFERENCES [] C. K. Chui, D. Hong, R.-Q. Ji. Stbility of optiml order pproximtion by bivrite splines over rbitrry tringultions. Trns. Amer. Mth. Soc ),

21 348 Mnfred von Golitschek nd Lrry L. Schumker [2] O. Dvydov, L. L. Schumker. On stble locl bses for bivrite polynomil spline spces. Constr. Approx ), [3] Mnfred v. Golitschek, Lrry L. Schumker. Bounds on projections onto bivrite polynomil spline spces with stble locl bsis. Constr. Approx ), [4] M. J. Li, L. L. Schumker. On the pproximtion power of bivrite splines. Advnces in Comp. Mth ), [5] Dvid L. Rgozin. Error bounds for derivtive estimtes bsed on spline smoothing for exct or noisy dt. J. Approx. Theory ) [6] John Rice, Murry Rosenbltt. Integrted men squred error of smoothing spline; J. Approx. Theory 33 98), Mnfred von Golitschek Institut für Angewndte Mthemtik und Sttistik der Universität Würzburg, Würzburg, Germny e-mil: goli@mthemtik.uni-wuerzburg.de Lrry L. Schumker Deprtment of Mthemtics Vnderbilt University, Nshville TN 37240, USA e-mil: s@mrs.cs.vnderbilt.edu Received September 9, 2002

S. S. Dragomir. 2, we have the inequality. b a

S. S. Dragomir. 2, we have the inequality. b a Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Abstract inner product spaces

Abstract inner product spaces WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the

More information

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

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

Best Approximation in the 2-norm

Best Approximation in the 2-norm Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion

More information

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f 1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where

More information

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =

More information

Math Advanced Calculus II

Math Advanced Calculus II Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused

More information

Some estimates on the Hermite-Hadamard inequality through quasi-convex functions

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

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir RGMIA Reserch Report Collection, Vol., No., 999 http://sci.vu.edu.u/ rgmi AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS I. Fedotov nd S. S. Drgomir Astrct. An

More information

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all 3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the

More information

New Expansion and Infinite Series

New Expansion and Infinite Series Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University

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

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS. THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

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

Lecture 6: Singular Integrals, Open Quadrature rules, and Gauss Quadrature

Lecture 6: Singular Integrals, Open Quadrature rules, and Gauss Quadrature Lecture notes on Vritionl nd Approximte Methods in Applied Mthemtics - A Peirce UBC Lecture 6: Singulr Integrls, Open Qudrture rules, nd Guss Qudrture (Compiled 6 August 7) In this lecture we discuss 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

1 The Lagrange interpolation formula

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

More information

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner

More information

(4.1) D r v(t) ω(t, v(t))

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

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015 Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n

More information

Main topics for the First Midterm

Main topics for the First Midterm Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the

More information

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

Regulated functions and the regulated integral

Regulated functions and the regulated integral Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed

More information

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd

More 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

QUADRATURE is an old-fashioned word that refers to

QUADRATURE is an old-fashioned word that refers to World Acdemy of Science Engineering nd Technology Interntionl Journl of Mthemticl nd Computtionl Sciences Vol:5 No:7 011 A New Qudrture Rule Derived from Spline Interpoltion with Error Anlysis Hdi Tghvfrd

More information

II. Integration and Cauchy s Theorem

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

More information

Inner-product spaces

Inner-product spaces Inner-product spces Definition: Let V be rel or complex liner spce over F (here R or C). An inner product is n opertion between two elements of V which results in sclr. It is denoted by u, v nd stisfies:

More information

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

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

More information

8 Laplace s Method and Local Limit Theorems

8 Laplace s Method and Local Limit Theorems 8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved

More information

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

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

More information

ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II

ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LV, Number 3, September 2010 ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II TIBERIU TRIF Dedicted to Professor Grigore Ştefn

More information

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b. Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn

More information

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

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

More information

Numerical Integration

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

More information

1.9 C 2 inner variations

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

More information

Math 426: Probability Final Exam Practice

Math 426: Probability Final Exam Practice Mth 46: Probbility Finl Exm Prctice. Computtionl problems 4. Let T k (n) denote the number of prtitions of the set {,..., n} into k nonempty subsets, where k n. Argue tht T k (n) kt k (n ) + T k (n ) by

More information

1. On some properties of definite integrals. We prove

1. On some properties of definite integrals. We prove This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.

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

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

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

More information

Discrete Least-squares Approximations

Discrete Least-squares Approximations Discrete Lest-squres Approximtions Given set of dt points (x, y ), (x, y ),, (x m, y m ), norml nd useful prctice in mny pplictions in sttistics, engineering nd other pplied sciences is to construct curve

More information

Notes on length and conformal metrics

Notes on length and conformal metrics Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued

More information

Frobenius numbers of generalized Fibonacci semigroups

Frobenius numbers of generalized Fibonacci semigroups Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:

More information

ON A CONVEXITY PROPERTY. 1. Introduction Most general class of convex functions is defined by the inequality

ON A CONVEXITY PROPERTY. 1. Introduction Most general class of convex functions is defined by the inequality Krgujevc Journl of Mthemtics Volume 40( (016, Pges 166 171. ON A CONVEXITY PROPERTY SLAVKO SIMIĆ Abstrct. In this rticle we proved n interesting property of the clss of continuous convex functions. This

More information

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly

More information

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f

More 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

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =

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

Orthogonal Polynomials

Orthogonal Polynomials Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils

More information

p-adic Egyptian Fractions

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

Lecture 19: Continuous Least Squares Approximation

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

More information

Presentation Problems 5

Presentation Problems 5 Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).

More information

Numerical Methods I Orthogonal Polynomials

Numerical Methods I Orthogonal Polynomials Numericl Methods I Orthogonl Polynomils Aleksndr Donev Cournt Institute, NYU 1 donev@cournt.nyu.edu 1 MATH-GA 2011.003 / CSCI-GA 2945.003, Fll 2014 Nov 6th, 2014 A. Donev (Cournt Institute) Lecture IX

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

Properties of the Riemann Integral

Properties of the Riemann Integral Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2

More information

Chapter 3 Polynomials

Chapter 3 Polynomials Dr M DRAIEF As described in the introduction of Chpter 1, pplictions of solving liner equtions rise in number of different settings In prticulr, we will in this chpter focus on the problem of modelling

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

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

More information

NEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS. := f (4) (x) <. The following inequality. 2 b a

NEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS. := f (4) (x) <. The following inequality. 2 b a NEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS MOHAMMAD ALOMARI A MASLINA DARUS A AND SEVER S DRAGOMIR B Abstrct In terms of the first derivtive some ineulities of Simpson

More 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

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

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson

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

1 The Riemann Integral

1 The Riemann Integral The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re

More information

ON THE C-INTEGRAL BENEDETTO BONGIORNO

ON THE C-INTEGRAL BENEDETTO BONGIORNO ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives

More information

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), ) Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s

More information

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i MATH 85: COMPLEX ANALYSIS FALL 9/ PROBLEM SET 5 SOLUTIONS. Let R nd z C. () Evlute the following integrls Solution. Since e it cos t nd For the first integrl, we hve e it cos t cos t cos t + i t + i. sin

More information

Problem Set 4: Solutions Math 201A: Fall 2016

Problem Set 4: Solutions Math 201A: Fall 2016 Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true

More information

p(x) = 3x 3 + x n 3 k=0 so the right hand side of the equality we have to show is obtained for r = b 0, s = b 1 and 2n 3 b k x k, q 2n 3 (x) =

p(x) = 3x 3 + x n 3 k=0 so the right hand side of the equality we have to show is obtained for r = b 0, s = b 1 and 2n 3 b k x k, q 2n 3 (x) = Norwegin University of Science nd Technology Deprtment of Mthemticl Sciences Pge 1 of 5 Contct during the exm: Elen Celledoni, tlf. 73593541, cell phone 48238584 PLESE NOTE: this solution is for the students

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

AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION

AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION Applied Mthemtics E-Notes, 5(005), 53-60 c ISSN 1607-510 Avilble free t mirror sites of http://www.mth.nthu.edu.tw/ men/ AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION

More information

Functional Analysis I Solutions to Exercises. James C. Robinson

Functional Analysis I Solutions to Exercises. James C. Robinson Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,

More information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)

More information

P 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)

P 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0) 1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this

More information

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2. ACM 05: Applied Rel nd Functionl Anlysis. Solutions to Homework # 2. Andy Greenberg, Alexei Novikov Problem. Riemnn-Lebesgue Theorem. Theorem (G.F.B. Riemnn, H.L. Lebesgue). If f is n integrble function

More information

INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV FUNCTIONAL. Mohammad Masjed-Jamei

INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV FUNCTIONAL. Mohammad Masjed-Jamei Fculty of Sciences nd Mthemtics University of Niš Seri Aville t: http://www.pmf.ni.c.rs/filomt Filomt 25:4 20) 53 63 DOI: 0.2298/FIL0453M INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV

More information

MAA 4212 Improper Integrals

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

More information

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

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

More information

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

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

More information

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).

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

4.4 Areas, Integrals and Antiderivatives

4.4 Areas, Integrals and Antiderivatives . res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy

More information

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

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

More information

Asymptotic behavior of intermediate points in certain mean value theorems. III

Asymptotic behavior of intermediate points in certain mean value theorems. III Stud. Univ. Bbeş-Bolyi Mth. 59(2014), No. 3, 279 288 Asymptotic behvior of intermedite points in certin men vlue theorems. III Tiberiu Trif Abstrct. The pper is devoted to the study of the symptotic behvior

More information

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry dierentil eqution (ODE) du f(t) dt with initil condition u() : Just

More information

Euler-Maclaurin Summation Formula 1

Euler-Maclaurin Summation Formula 1 Jnury 9, Euler-Mclurin Summtion Formul Suppose tht f nd its derivtive re continuous functions on the closed intervl [, b]. Let ψ(x) {x}, where {x} x [x] is the frctionl prt of x. Lemm : If < b nd, b Z,

More information

Quadratic Forms. Quadratic Forms

Quadratic Forms. Quadratic Forms Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte

More information

2 Fundamentals of Functional Analysis

2 Fundamentals of Functional Analysis Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October 2015 2 Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results

More information

TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS

TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS S.S. DRAGOMIR AND A. SOFO Abstrct. In this pper by utilising result given by Fink we obtin some new results relting to the trpezoidl inequlity

More information

p n m q m s m. (p q) n

p n m q m s m. (p q) n Int. J. Nonliner Anl. Appl. (0 No., 6 74 ISSN: 008-68 (electronic http://www.ijn.com ON ABSOLUTE GENEALIZED NÖLUND SUMMABILITY OF DOUBLE OTHOGONAL SEIES XHEVAT Z. ASNIQI Abstrct. In the pper Y. Ouym, On

More information

1 Linear Least Squares

1 Linear Least Squares Lest Squres Pge 1 1 Liner Lest Squres I will try to be consistent in nottion, with n being the number of dt points, nd m < n being the number of prmeters in model function. We re interested in solving

More information

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, ) Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions

More information

POSITIVE SOLUTIONS FOR SINGULAR THREE-POINT BOUNDARY-VALUE PROBLEMS

POSITIVE SOLUTIONS FOR SINGULAR THREE-POINT BOUNDARY-VALUE PROBLEMS Electronic Journl of Differentil Equtions, Vol. 27(27), No. 156, pp. 1 8. ISSN: 172-6691. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu (login: ftp) POSITIVE SOLUTIONS

More information

Definite integral. Mathematics FRDIS MENDELU

Definite integral. Mathematics FRDIS MENDELU Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the

More information

Section 6.1 INTRO to LAPLACE TRANSFORMS

Section 6.1 INTRO to LAPLACE TRANSFORMS Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform

More information

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1 MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further

More information