HERMITE-HADAMARD-TYPE INEQUALITIES FOR GENERALIZED CONVEX FUNCTIONS

Size: px
Start display at page:

Download "HERMITE-HADAMARD-TYPE INEQUALITIES FOR GENERALIZED CONVEX FUNCTIONS"

Transcription

1 HERMITE-HADAMARD-TYPE INEQUALITIES FOR GENERALIZED CONVEX FUNCTIONS MIHÁLY BESSENYEI Institute of Mthemtics University of Debrecen H-4010 Debrecen, Pf. 12, Hungry EMil: Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Received: 21 June, 2008 Accepted: 14 July, 2008 Communicted by: P.S. Bullen 2000 AMS Sub. Clss.: Primry 26A51, 26B25, 26D15. Key words: Abstrct: Hermite Hdmrd inequlity, generlized convexity, Beckenbch fmilies, Chebyshev systems, Mrkov Krein theory. The im of the present pper is to extend the clssicl Hermite-Hdmrd inequlity to the cse when the convexity notion is induced by Chebyshev system. Pge 1 of 101 Go Bck Acknowledgement: This reserch hs been supported by the Hungrin Scientific Reserch Fund (OTKA) Grnts NK

2 1 Introduction 3 2 Polynomil Convexity Orthogonl polynomils nd bsic qudrture formule An pproximtion theorem Hermite Hdmrd-type inequlities Applictions Generlized 2-Convexity Chrcteriztions vi generlized lines Connection with stndrd convexity Hermite Hdmrd-type inequlities Applictions Generlized Convexity Induced by Chebyshev Systems Chrcteriztions nd regulrity properties Moment spces induced by Chebyshev systems Hermite Hdmrd-type inequlities An lterntive pproch in prticulr cse Chrcteriztions vi Hermite Hdmrd Inequlities Further properties of generlized lines Hermite Hdmrd-type inequlities nd (ω 1, ω 2 )-convexity Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 2 of 101 Go Bck

3 1. Introduction Let I be rel intervl, tht is, nonempty, connected nd bounded subset of R. An n-dimensionl Chebyshev system on I consists of set of rel vlued continuous functions ω 1,..., ω n nd is determined by the property tht ech n points of I R with distinct first coordintes cn uniquely be interpolted by liner combintion of the functions. More precisely, we hve the following Definition 1.1. Let I R be rel intervl nd ω 1,..., ω n : I R be continuous functions. Denote the column vector whose components re ω 1,..., ω n in turn by ω, tht is, ω := (ω 1,..., ω n ). We sy tht ω is Chebyshev system over I if, for ll elements x 1 < < x n of I, the following inequlity holds: ω(x 1 ) ω(x n ) > 0. In fct, it suffices to ssume tht the determinnt bove is nonvnishing whenever the rguments x 1,..., x n re pirwise distinct points of the domin. Indeed, Bolzno s theorem gurntees tht its sign is constnt if the rguments re supposed to be in n incresing order, hence the components ω 1,..., ω n cn lwys be rerrnged such tht ω fulfills the requirement of the definition. However, considering Chebyshev systems s vectors of functions insted of sets of functions is widely ccepted in the technicl literture nd lso turns out to be very convenient in our investigtions. Without climing completeness, let us list some importnt nd clssicl exmples of Chebyshev systems. In ech exmple ω is defined on n rbitrry I R except for the lst one where I ] π 2, π 2 [. polynomil system: ω(x) := (1, x,..., x n ); exponentil system: ω(x) := (1, exp x,..., exp nx); hyperbolic system: ω(x) := (1, cosh x, sinh x,..., cosh nx, sinh nx); Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 3 of 101 Go Bck

4 trigonometric system: ω(x) := (1, cos x, sin x,..., cos nx, sin nx). We mke no ttempt here to present n exhustive ccount of the theory of Chebyshev systems, but only mention tht, motivted by some results of A.A. Mrkov, the first systemtic investigtion of the geometric theory of Chebyshev systems ws done by M. G. Krein. However, let us note tht Chebyshev systems ply n importnt role, sometimes indirectly, in numerous fields of mthemtics, for exmple, in the theory of pproximtion, numericl nlysis nd the theory of inequlities. The books [16] nd [15] contin rich literture nd bibliogrphy of the topics for the interested reder. The notion of convexity cn lso be extended by pplying Chebyshev systems: Definition 1.2. Let ω = (ω 1,..., ω n ) be Chebyshev system over the rel intervl I. A function f : I R is sid to be generlized convex with respect to ω if, for ll elements x 0 < < x n of I, it stisfies the inequlity ( 1) n f(x 0 ) f(x n ) ω(x 0 ) ω(x n ) 0. There re other lterntives to express tht f is generlized convex with respect to ω, for exmple, f is generlized ω-convex or simply ω-convex. If the underlying n-dimensionl Chebyshev system cn uniquely be identified from the context, we briefly sy tht f is generlized n-convex. If ω is the polynomil Chebyshev system, the definition leds to the notion of higher-order monotonicity which ws introduced nd studied by T. Popoviciu in sequence of ppers [20, 22, 21, 24, 23, 27, 29, 25, 30, 28, 26, 31, 33, 32, 34, 35]. A summry of these results cn be found in [36] nd [17]. For the ske of uniform terminology, throughout the this pper Popoviciu s setting is clled polynomil convexity. Tht is, function f : I R is sid to be polynomilly n-convex if, for ll Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 4 of 101 Go Bck

5 elements x 0 < < x n of I, it stisfies the inequlity f(x 0 )... f(x n ) ( 1) n x 0... x n x n x n 1 n Observe tht polynomilly 2-convex functions re exctly the stndrd convex ones. The cse, when the generlized convexity notion is induced by the specil two dimensionl Chebyshev system ω 1 (x) := 1 nd ω 2 (x) := x, is termed stndrd setting nd stndrd convexity, respectively. The integrl verge of ny stndrd convex function f : [, b] R cn be estimted from the midpoint nd the endpoints of the domin s follows: ( ) + b f 2 1 b f(x)dx f() + f(b). 2 This is the well known Hdmrd s inequlity ([11]) or, s it is quoted for historicl resons (see [12], [18] for interesting remrks), the Hermite-Hdmrd-inequlity. The im of this pper is to verify nlogous inequlities for generlized convex functions, tht is, to give lower nd upper estimtions for the integrl verge of the function using certin bse points of the domin. Of course, the bse points re supposed to depend only on the underlying Chebyshev system of the induced convexity. For this purpose, we shll follow n inductive pproch since it seems to hve more dvntges thn the deductive one. First of ll, it mkes the originl motivtions cler; on the other hnd, it llows us to use the most suitble mthemticl tools. Hence sophisticted proofs tht sometimes occur when using deductive pproch cn lso be voided. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 5 of 101 Go Bck

6 SECTION 2 investigtes the cse of polynomil convexity. The bse points of the Hermite Hdmrd-type inequlities turn out to be the zeros of certin orthogonl polynomils. The min tools of the section re bsed on some methods of numericl nlysis, like the Guss qudrture formul nd Hermite-interpoltion. A smoothing technique nd two theorems of Popoviciu re lso crucil. In SECTION 3 we present Hermite Hdmrd-type inequlities for generlized 2-convex functions. The most importnt uxiliry result of the proof is chrcteriztion theorem which, in the stndrd setting, reduces to the well known chrcteriztion properties of convex functions. Another theorem of the section estblishes tight reltionship between stndrd nd generlized 2-convexity. This result hs importnt regulrity consequences nd is lso essentil in verifying Hermite Hdmrd-type inequlities. The generl cse is studied in SECTION 4. The min results gurntee only the existence nd lso the uniqueness of the bse points of the Hermite Hdmrd-type inequlities but offer no explicit formule for determining them. The min tool of the section is the Krein Mrkov theory of moment spces induced by Chebyshev systems. In some specil cses (when the dimension of the underlying Chebyshev systems re smll ), n elementry lterntive pproch is lso presented. SECTION 5 is devoted to showing tht, t lest in the two dimensionl cse nd requiring wek regulrity conditions, Hermite Hdmrd-type inequlities re not merely the consequences of generlized convexity, but they lso chrcterize it. Specilizing the members of Chebyshev systems, severl pplictions nd exmples re presented for concrete Hermite Hdmrd-type inequlities in both the cses of polynomil convexity nd generlized 2-convexity. As simple consequence, the clssicl Hermite Hdmrd inequlity is mong the corollries in ech cse s well. The results of this pper cn be found in [3, 4, 5, 6, 7] nd [1]. In wht follows, we present them without ny further references to the mentioned ppers. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 6 of 101 Go Bck

7 2. Polynomil Convexity The min results of this section stte Hermite Hdmrd-type inequlities for polynomilly convex functions. Let us recll tht function f : I R is sid to be polynomilly n-convex if, for ll elements x 0 < < x n of I, it stisfies the inequlity f(x 0 )... f(x n ) ( 1) n x 0... x n x n x n 1 n In order to determine the bse points nd coefficients of the inequlities, Guss-type qudrture formule re pplied. Then, using the reminder term of the Hermiteinterpoltion, the min results follow immeditely for sufficiently smooth functions due to the next two theorems of Popoviciu: Theorem A. ([17, Theorem 1. p. 387]) Assume tht f : I R is continuous nd n times differentible on the interior of I. Then, f is polynomilly n-convex if nd only if f (n) 0 on the interior of I. Theorem B. ([17, Theorem 1. p. 391]) Assume tht f : I R is polynomilly n-convex nd n 2. Then, f is (n 2) times differentible nd f (n 2) is continuous on the interior of I. To drop the regulrity ssumptions, smoothing technique is developed tht gurntees the pproximtion of polynomilly convex functions with smooth polynomilly convex ones. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 7 of 101 Go Bck

8 2.1. Orthogonl polynomils nd bsic qudrture formule In wht follows, ρ denotes positive, loclly integrble function (briefly: weight function) on n intervl I. The polynomils P nd Q re sid to be orthogonl on [, b] I with respect to the weight function ρ or simply ρ-orthogonl on [, b] if P, Q ρ := P Qρ = 0. A system of polynomils is clled ρ-orthogonl polynomil system on [, b] I if ech member of the system is ρ-orthogonl to the others on [, b]. Define the moments of ρ by the formule µ k := x k ρ(x)dx (k = 0, 1, 2,...). Then, the n th degree member of the ρ-orthogonl polynomil system on [, b] hs the following representtion vi the moments of ρ: 1 µ 0 µ n 1 x µ P n (x) := 1 µ n x n µ n µ 2n 1 Clerly, it suffices to show tht P n is ρ-orthogonl to the specil polynomils 1, x,..., x n 1. Indeed, for k = 1,..., n, the first nd the (k + 1) st columns of the determinnt P n (x), x k 1 ρ re linerly dependent ccording to the definition of the moments. In fct, the moments nd the orthogonl polynomils depend hevily on the intervl [, b]. Therefore, we use the notions µ k;[,b] nd P n;[,b] insted of µ k nd P n bove when we wnt to or hve to emphsize the dependence on the underlying intervl. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 8 of 101 Go Bck

9 Throughout this section, the following property of the zeros of orthogonl polynomils plys key role (see [39]). Let P n denote the n th degree member of the ρ-orthogonl polynomil system on [, b]. Then, P n hs n pirwise distinct zeros ξ 1 < < ξ n in ], b[. Let us consider the following (2.1) (2.2) (2.3) (2.4) fρ = n c k f(ξ k ), fρ = c 0 f() + fρ = n c k f(ξ k ), n c k f(ξ k ) + c n+1 f(b), fρ = c 0 f() + n c k f(ξ k ) + c n+1 f(b). Guss-type qudrture formule where the coefficients nd the bse points re to be determined so tht (2.1), (2.2), (2.3) nd (2.4) re exct when f is polynomil of degree t most 2n 1, 2n, 2n nd 2n+1, respectively. The subsequent four theorems investigte these cses. Theorem 2.1. Let P n be the n th degree member of the orthogonl polynomil system on [, b] with respect to the weight function ρ. Then (2.1) is exct for polynomils f of degree t most 2n 1 if nd only if ξ 1,..., ξ n re the zeros of P n, nd Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 9 of 101 Go Bck (2.5) c k = P n (x) (x ξ k )P n(ξ k ) ρ(x)dx.

10 Furthermore, ξ 1,..., ξ n re pirwise distinct elements of ], b[, nd c k 0 for ll k = 1,..., n. This theorem follows esily from well known results in numericl nlysis (see [13], [14], [39]). For the ske of completeness, we provide proof. Proof. First ssume tht ξ 1,..., ξ n re the zeros of the polynomil P n nd, for ll k = 1,..., n, denote the primitive Lgrnge-interpoltion polynomils by L k : [, b] R. Tht is, L k (x) := P n (x) (x ξ k )P n(ξ k ) if x ξ k 1 if x = ξ k. If Q is polynomil of degree t most 2n 1, then, using the Euclidin lgorithm, Q cn be written in the form Q = P P n + R where deg P, deg R n 1. The inequlity deg P n 1 implies the ρ-orthogonlity of P nd P n : P P n ρ = 0. On the other hnd, deg R n 1 yields tht R is equl to its Lgrnge-interpoltion polynomil: n R = R(ξ k )L k. Therefore, considering the definition of the coefficients c 1,..., c n in formul (2.5), Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 10 of 101 Go Bck

11 we obtin tht Qρ = = P P n ρ + n c k R(ξ k ) = Rρ = n R(ξ k ) L k ρ n ( c k P (ξk )P n (ξ k ) + R(ξ k ) ) = n c k Q(ξ k ). Tht is, the qudrture formul (2.1) is exct for polynomils of degree t most 2n 1. Conversely, ssume tht (2.1) is exct for polynomils of degree t most 2n 1. Define the polynomil Q by the formul Q(x) := (x ξ 1 ) (x ξ n ) nd let P be polynomil of degree t most n 1. Then, deg P Q 2n 1, nd thus P Qρ = c 1 P (ξ 1 )Q(ξ 1 ) + + c n P (ξ n )Q(ξ n ) = 0. Therefore Q is ρ-orthogonl to P. The uniqueness of P n implies tht P n = n Q, nd ξ 1,..., ξ n re the zeros of P n. Furthermore, (2.1) is exct if we substitute f := L k nd f := L 2 k, respectively. The first substitution gives (2.5), while the second one shows the nonnegtivity of c k. For further detils, consult the book [39, p. 44]. Theorem 2.2. Let P n be the n th degree member of the orthogonl polynomil system on [, b] with respect to the weight function ρ (x) := (x )ρ(x). Then (2.2) is exct for polynomils f of degree t most 2n if nd only if ξ 1,..., ξ n re the zeros of P n, nd c 0 = 1 (2.6) P P n(x)ρ(x)dx, 2 n() 2 (2.7) c k = 1 ξ k (x )P n (x) (x ξ k )P n(ξ k ) ρ(x)dx. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 11 of 101 Go Bck

12 Furthermore, ξ 1,..., ξ n re pirwise distinct elements of ], b[, nd c k 0 for ll k = 0,..., n. Proof. Assume tht the qudrture formul (2.2) is exct for polynomils of degree t most 2n. If P is polynomil of degree t most 2n 1, then P ρ = (x )P (x)ρ(x)dx = c 1 (ξ 1 )P (ξ 1 ) + + c n (ξ n )P (ξ n ). Applying Theorem 2.1 to the weight function ρ nd the coefficients c ;k := c k (ξ k ), we get tht ξ 1,..., ξ n re the zeros of P n nd, for ll k = 1,..., n, the coefficients c ;k cn be computed using formul (2.5). Therefore, c k (ξ k ) = P n (x) (x ξ k )P n(ξ k ) ρ (x)dx = Substituting f := P 2 n into (2.1), we obtin tht c 0 = 1 P 2 n() P 2 nρ. (x )P n (x) (x ξ k )P n(ξ k ) ρ(x)dx. Thus (2.6) nd (2.7) re vlid, nd c k 0 for k = 0, 1,..., n. Conversely, ssume tht ξ 1,..., ξ n re the zeros of the orthogonl polynomil P n, nd the coefficients c 1,..., c n re given by the formul (2.7). Define the coefficient c 0 by c 0 = ρ (c c n ). If P is polynomil of degree t most 2n, then there exists polynomil Q with deg Q 2n 1 such tht Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 12 of 101 Go Bck P (x) = (x )Q(x) + P ().

13 Indeed, the polynomil P (x) P () vnishes t the point x =, hence it is divisible by (x ). Applying Theorem 2.1 gin to the weight function ρ, Qρ = c ;1 Q(ξ 1 ) + + c ;n Q(ξ n ) holds. Thus, using the definition of c 0, the representtion of the polynomil P nd the qudrture formul bove, we hve tht P (x)ρ(x)dx = = ( (x )Q(x) + P () ) ρ(x)dx n c k (ξ k )Q(ξ k ) + = c 0 P () + = c 0 P () + n P ()c k k=0 n ( c k (ξk )Q(ξ k ) + P () ) n c k P (ξ k ), which yields tht the qudrture formul (2.2) is exct for polynomils of degree t most 2n. Therefore, substituting f := P 2 n into (2.2), we get formul (2.6). Theorem 2.3. Let P n be the n th degree member of the orthogonl polynomil system on [, b] with respect to the weight function ρ b (x) := (b x)ρ(x). Then (2.3) is exct for polynomils f of degree t most 2n if nd only if ξ 1,..., ξ n re the zeros of P n, Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 13 of 101 Go Bck

14 nd (2.8) (2.9) c k = 1 b ξ k c n+1 = 1 Pn(b) 2 (b x)p n (x) (x ξ k )P n(ξ k ) ρ(x)dx, P 2 n(x)ρ(x)dx. Furthermore, ξ 1,..., ξ n re pirwise distinct elements of ], b[, nd c k 0 for ll k = 1,..., n + 1. Hint. Applying similr rgument to the previous one to the weight function ρ b, we obtin the sttement of the theorem. Theorem 2.4. Let P n be the n th degree member of the orthogonl polynomil system on [, b] with respect to the weight function ρ b. Then (2.4) is exct for polynomils f of degree t most 2n + 1 if nd only if ξ 1,..., ξ n re the zeros of P n, nd (2.10) (2.11) (2.12) c 0 = c k = c n+1 = 1 (b )P 2 n() 1 (b ξ k )(ξ k ) 1 (b )P 2 n(b) (b x)p 2 n(x)ρ(x)dx, (b x)(x )P n (x) ρ(x)dx, (x ξ k )P n(ξ k ) (x )P 2 n(x)ρ(x)dx. Furthermore, ξ 1,..., ξ n re pirwise distinct elements of ], b[, nd c k 0 for ll k = 0,..., n + 1. Proof. Assume tht the qudrture formul (2.4) is exct for polynomils of degree Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 14 of 101 Go Bck

15 t most 2n + 1. If P is polynomil of degree t most 2n 1, then P ρ b = (b x)(x )P (x)ρ(x)dx = c 1 (b ξ 1 )(ξ 1 )P (ξ 1 ) + + c n (b ξ n )(ξ n )P (ξ n ). Applying Theorem 2.1 to the weight function ρ b nd the coefficients c,b;k := c k (b ξ k )(ξ k ), we get tht ξ 1,..., ξ n re the zeros of P n nd, for ll k = 1,..., n, the coefficients c,b;k cn be computed using formul (2.5). Therefore, c k (b ξ k )(ξ k ) = = P n (x) (x ξ k )P n(ξ k ) ρb (x)dx (b x)(x )P n (x) ρ(x)dx. (x ξ k )P n(ξ k ) Substituting f := (b x)p 2 n(x) nd f := (x )P 2 n(x) into (2.1), we obtin tht c 0 = c n+1 = 1 (b )Pn() 2 1 (b )P 2 n(b) (b x)p 2 n(x)ρ(x)dx, (x )P 2 n(x)ρ(x)dx. Thus (2.10), (2.11) nd (2.12) re vlid, furthermore, c k 0 for k = 0,..., n + 1. Conversely, ssume tht ξ 1,..., ξ n re the zeros of P n, nd the coefficients c 1,..., c n Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 15 of 101 Go Bck

16 re given by the formul (2.11). Define the coefficients c 0 nd c n+1 by the equtions n (b x)ρ(x)dx = c 0 (b ) + c k (b ξ k ), (x )ρ(x)dx = n c k (ξ k ) + c n+1 (b ). If P is polynomil of degree t most 2n + 1, then there exists polynomil Q with deg Q 2n 1 such tht (b )P (x) = (b x)(x )Q(x) + (x )P (b) + (b x)p (). Indeed, the polynomil (b )P (x) (x )P (b) (b x)p () is divisible by (b x)(x ) since x = nd x = b re its zeros. Applying Theorem 2.1 gin, Qρ b = c,b;1 Q(ξ 1 ) + + c,b;n Q(ξ n ) holds. Thus, using the definition of c 0 nd c n+1, the representtion of the polynomil P nd the qudrture formul bove, we hve tht (b ) = = P (x)ρ(x)dx ( (b x)(x )Q(x) + (x )P (b) + (b x)p () ) ρ(x)dx n c k (b ξ k )(ξ k )Q(ξ k ) + P (b) (x )ρ(x)dx + P () (b x)ρ(x)dx Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 16 of 101 Go Bck

17 = = n c k (b ξ k )(ξ k )Q(ξ k ) + c 0 (b )P () + + n c k (b ξ k )P () n c k (ξ k )P (b) + c n+1 (b )P (b) n ( c k (b ξk )(ξ k )Q(ξ k ) + (ξ k )P (b) + (b ξ k )P () ) + c 0 (b )P () + c n+1 (b )P (b) n = c 0 (b )P () + c k (b )P (ξ k ) + c n+1 (b )P (b), which yields tht the qudrture formul (2.4) is exct for polynomils of degree t most 2n + 1. Therefore, substituting f := (b x)p 2 n(x) nd f := (x )P 2 n(x) into (2.4), formule (2.10) nd (2.12) follow. Let f : [, b] R be differentible function, x 1,..., x n be pirwise distinct elements of [, b], nd 1 r n be fixed integer. We denote the Hermite interpoltion polynomil by H, which stisfies the following conditions: H(x k ) = f(x k ) H (x k ) = f (x k ) (k = 1,..., n), (k = 1,..., r). Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 17 of 101 Go Bck We recll tht deg H = n + r 1. From well known result, (see [13, Sec. 5.3, pp.

18 ]), for ll x [, b] there exists θ such tht (2.13) f(x) H(x) = ω n(x)ω r (x) f (n+r) (θ), (n + r)! where 2.2. An pproximtion theorem ω k (x) = (x x 1 ) (x x k ). It is well known tht there exists function ϕ which possesses the following properties: (i) ϕ : R R + is C, i. e., it is infinitely mny times differentible; (ii) supp ϕ [ 1, 1]; (iii) R ϕ = 1. Using ϕ, one cn define the function ϕ ε for ll ε > 0 by the formul ϕ ε (x) = 1 ( x ) ε ϕ (x R). ε Then, s it cn esily be checked, ϕ ε stisfies the following conditions: (i ) ϕ ε : R R + is C ; Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 18 of 101 Go Bck (ii ) supp ϕ ε [ ε, ε]; (iii ) R ϕ ε = 1.

19 Let I R be nonempty open intervl, f : I R be continuous function, nd choose ε > 0. Denote the convolution of f nd ϕ ε by f ε, tht is f ε (x) := f(y)ϕ ε (x y)dy (x R) R where f(y) = f(y) if y I, otherwise f(y) = 0. Let us recll, tht f ε f uniformly s ε 0 on ech compct subintervl of I, nd f ε is infinitely mny times differentible on R. These importnt results cn be found for exmple in [40, p. 549]. Theorem 2.5. Let I R be n open intervl, f : I R be polynomilly n- convex continuous function. Then, for ll compct subintervls [, b] I, there exists sequence of polynomilly n-convex nd C functions (f k ) which converges uniformly to f on [, b]. Proof. Choose, b I nd ε 0 > 0 such tht the inclusion [ ε 0, b + ε 0 ] I holds. We show tht the function τ ε f : [, b] R defined by the formul τ ε f(x) := f(x ε) is polynomilly n-convex on [, b] for 0 < ε < ε 0. Let x 0 < < x n b nd k n 1 be fixed. By induction, we re going to verify the identity τ ε f(x 0 ) τ ε f(x n ) τ ε f(x 0 ) τ ε f(x n ) x 0 x n x 0 ε x n ε (2.14) x k 1 0 x k 1 = n (x 0 ε) k 1 (x n ε) k 1. x k 0 x k n x k 0 x k n x0 n 1 x n 1 n x n 1 0 x n 1 n Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 19 of 101 Go Bck

20 If k = 1, then this eqution obviously holds. Assume, for fixed positive integer k n 2, tht (2.14) remins true. The binomil theorem implies the identity x k = ( ) k ε k + 0 ( ) k ε k 1 (x ε) ( ) k (x ε) k. k Tht is, (x ε) k is the liner combintion of the elements 1, x ε,..., (x ε) k nd x k. Therefore, dding the pproprite liner combintion of the 2 nd,..., (k + 1) st rows to the (k + 2) nd row, we rrive t the eqution τ ε f(x 0 ) τ ε f(x n ) 1 1 x 0 ε x n ε..... (x 0 ε) k 1 (x n ε) k 1 = x k 0 x k n x k+1 0 x k+1 n..... x n 1 0 x n 1 n τ ε f(x 0 ) τ ε f(x n ) 1 1 x 0 ε x n ε..... (x 0 ε) k 1 (x n ε) k 1. (x 0 ε) k (x n ε) k x k+1 0 x k+1 n..... x n 1 0 x n 1 n Hence formul (2.14) holds for ll fixed positive k whenever 1 k n 1. The prticulr cse k = n 1 gives the polynomil n-convexity of τ ε f. Applying chnge of vribles nd the previous result, we get tht Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 20 of 101 Go Bck

21 f ε (x 0 ) f ε (x n ) 1 1 ( 1) n x 0 x n..... x n 1 0 x n 1 n f(t)ϕ ε (x 0 t) f(t)ϕε (x n t) 1 1 = ( 1) n x 0 x n dt R..... x n 1 0 x n 1 n f(x 0 s) f(xn s) 1 1 = ( 1) n x 0 x n R. ϕ ε (s)ds.... x n 1 0 x n 1 n τ s f(x 0 ) τ s f(x n ) 1 1 = ( 1) n x 0 x n R. ϕ ε (s)ds 0,.... x n 1 0 x n 1 n which shows the polynomil n-convexity of f ε on [, b] for 0 < ε < ε 0. To complete the proof, choose positive integer n 0 such tht the reltion 1 n 0 < ε 0 holds. If we define ε k nd f k by ε k := 1 n 0 +k nd f k := f εk for k N, then 0 < ε k < Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 21 of 101 Go Bck

22 ε 0, nd thus (f k ) stisfies the requirements of the theorem Hermite Hdmrd-type inequlities In the sequel, we shll need two dditionl uxiliry results. The first one investigtes the convergence properties of the zeros of orthogonl polynomils. Lemm 2.1. Let ρ be weight function on [, b], nd ( j ) be strictly monotone decresing, (b j ) be strictly monotone incresing sequences such tht j, b j b nd 1 < b 1. Denote the zeros of P m;j by ξ 1;j,..., ξ m;j, where P m;j is the m th degree member of the ρ [j,b j ]-orthogonl polynomil system on [ j, b j ], nd denote the zeros of P m by ξ 1,..., ξ m, where P m is the m th degree member of the ρ-orthogonl polynomil system on [, b]. Then, lim j ξ k;j = ξ k (k = 1,..., n). Proof. Observe first tht the mpping (, b) µ k;[,b] is continuous, therefore µ k;[j,b j ] µ k;[,b] hence P m;j P m pointwise ccording to the representtion of orthogonl polynomils. Tke ε > 0 such tht ]ξ k ε, ξ k + ε[ ], b[, ]ξ k ε, ξ k + ε[ ]ξ l ε, ξ l + ε[= (k l, k, l {1,..., m}). The polynomil P m chnges its sign on ]ξ k ε, ξ k + ε[ since it is of degree m nd it hs m pirwise distinct zeros; therefore, due to the pointwise convergence, P m;j lso chnges its sign on the sme intervl up to n index. Tht is, for sufficiently lrge j, ξ k;j ]ξ k ε, ξ k + ε[. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 22 of 101 Go Bck The other uxiliry result investigtes the one-sided limits of polynomilly n- convex functions t the endpoints of the domin. Let us note tht its first ssertion involves, in fct, two cses ccording to the prity of the convexity.

23 Lemm 2.2. Let f : [, b] R be polynomilly n-convex function. Then, (i) ( 1) n f() lim sup t +0 ( 1) n f(t); (ii) f(b) lim sup t b 0 f(t). Proof. It suffices to restrict the investigtions to the even cse of ssertion (i) only since the proofs of the other ones re completely the sme. For the ske of brevity, we shll use the nottion f + () := lim sup t +0 f(t). Tke the elements x 0 := < x 1 := t < < x n of [, b]. Then, the (even order) polynomil convexity of f implies f() f(t) f(x 2 )... f(x n ) t x 2... x n n 1 t n 1 x n x n 1 n Therefore, tking the limsup s t + 0, we obtin tht f() f + () f(x 2 )... f(x n ) x 2... x n n 1 n 1 x n x n 1 n 0. The djoint determinnts of the elements f(x 2 ),..., f(x n ) in the first row re equl to zero since their first nd second columns coincide; on the other hnd, f() nd f + () hve the sme (positive) Vndermonde-type djoint determinnt. Hence, pplying the expnsion theorem on the first row, we obtin the desired inequlity f() f + () 0. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 23 of 101 Go Bck

24 The min results concern the cses of odd nd even order polynomil convexity seprtely in the subsequent two theorems. Theorem 2.6. Let ρ : [, b] R be positive integrble function. Denote the zeros of P m by ξ 1,..., ξ m where P m is the m th degree member of the orthogonl polynomil system on [, b] with respect to the weight function (x )ρ(x), nd denote the zeros of Q m by η 1,..., η m where Q m is the m th degree member of the orthogonl polynomil system on [, b] with respect to the weight function (b x)ρ(x). Define the coefficients α 0,..., α m nd β 1,..., β m+1 by the formule nd α 0 := 1 P 2 m() α k := 1 ξ k P 2 m(x)ρ(x)dx, (x )P m (x) (x ξ k )P m(ξ k ) ρ(x)dx β k := 1 (b x)q m (x) b η k (x η k )Q m(η k ) ρ(x)dx, β m+1 := 1 Q 2 Q m(x)ρ(x)dx. 2 m(b) If function f : [, b] R is polynomilly (2m + 1)-convex, then it stisfies the following Hermite Hdmrd-type inequlity m m α 0 f() + α k f(ξ k ) fρ β k f(η k ) + β m+1 f(b). Proof. First ssume tht f is (2m + 1) times differentible. Then, ccording to Theorem A, f (2m+1) 0 on ], b[. Let H be the Hermite interpoltion polynomil Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 24 of 101 Go Bck

25 determined by the conditions H() = f(), H(ξ k ) = f(ξ k ), H (ξ k ) = f (ξ k ). By the reminder term (2.13) of the Hermite interpoltion, if x is n rbitrry element of ], b[, then there exists θ ], b[ such tht f(x) H(x) = (x )(x ξ 1) 2 (x ξ m ) 2 f (2m+1) (θ). (2m + 1)! Tht is, fρ Hρ on [, b] due to the nonnegtivity of f (2m+1) nd the positivity of ρ. On the other hnd, H is of degree 2m, therefore Theorem 2.2 yields tht fρ Hρ = α 0 H() + m α k H(ξ k ) = α 0 f() + m α k f(ξ k ). For the generl cse, let f be n rbitrry polynomilly (2m+1)-convex function. Without loss of generlity we my ssume tht m 1; in this cse, f is continuous (see Theorem B). Let ( j ) nd (b j ) be sequences fulfilling the requirements of Lemm 2.1. According to Theorem 2.5, there exists sequence of C, polynomilly (2m + 1)-convex functions (f i;j ) such tht f i;j f uniformly on [ j, b j ] s i. Denote the zeros of P m;j by ξ 1;j,..., ξ m;j where P m;j is the m th degree member of the orthogonl polynomil system on [ j, b j ] with respect to the weight function (x )ρ(x). Define the coefficients α 0;j,..., α m;j nlogously to α 0,..., α m with the help of P m;j. Then, ξ k;j ξ k due to Lemm 2.1, nd hence α k;j α k s j. Applying the previous step of the proof on the smooth functions (f i;j ), it Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 25 of 101 Go Bck

26 follows tht α 0;j f i;j ( j ) + m α k;j f i;j (ξ k;j ) j j f i;j ρ. Tking the limits i nd then j, we get the inequlity ( ) α 0 lim inf f(t) + t +0 m α k f(ξ k ) This, together with Lemm 2.2, gives the left hnd side inequlity to be proved. The proof of the right hnd side inequlity is nlogous, therefore it is omitted. The second min result offers Hermite Hdmrd-type inequlities for evenorder polynomilly convex functions. In this cse, the symmetricl structure disppers: the lower estimtion involves none of the endpoints, while the upper estimtion involves both of them. Theorem 2.7. Let ρ : [, b] R be positive integrble function. Denote the zeros of P m by ξ 1,..., ξ m where P m is the m th degree member of the orthogonl polynomil system on [, b] with respect to the weight function ρ(x), nd denote the zeros of Q m 1 by η 1,..., η m 1 where Q m 1 is the (m 1) st degree member of the orthogonl polynomil system on [, b] with respect to the weight function (b x)(x )ρ(x). Define the coefficients α 1,..., α m nd β 0,..., β m+1 by the formule P m (x) α k := (x ξ k )P m(ξ k ) ρ(x)dx fρ. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 26 of 101 Go Bck

27 nd β 0 = β k = β m+1 = 1 (b )Q 2 m 1() 1 (b η k )(ξ k ) 1 (b )Q 2 m 1(b) (b x)q 2 m 1(x)ρ(x)dx, (b x)(x )Q m 1 (x) ρ(x)dx, (x η k )Q m 1(η k ) (x )Q 2 m 1(x)ρ(x)dx. If function f : [, b] R is polynomilly (2m)-convex, then it stisfies the following Hermite Hdmrd-type inequlity m m 1 α k f(ξ k ) fρ β 0 f() + β k f(η k ) + β m f(b). Proof. First ssume tht f is n = 2m times differentible. Then f (2m) 0 on ], b[ ccording to Theorem B. Consider the Hermite interpoltion polynomil H tht interpoltes the function f in the zeros of P m in the following mnner: H(ξ k ) = f(ξ k ), H (ξ k ) = f (ξ k ). By the reminder term (2.13) of the Hermite interpoltion, if x is n rbitrry element of ], b[, then there exists θ ], b[ such tht f(x) H(x) = (x ξ 1) 2 (x ξ m ) 2 f (2m) (θ). (2m)! Hence fρ Hρ on [, b] due to the nonnegtivity of f (2m) nd the positivity of ρ. On the other hnd, H is of degree 2m 1, therefore Theorem 2.1 yields the left hnd Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 27 of 101 Go Bck

28 side of the inequlity to be proved: fρ Hρ = m α k H(ξ k ) = m α k f(ξ k ). Now consider the Hermite interpoltion polynomil H tht interpoltes the function f t the zeros of Q m 1 nd t the endpoints of the domin in the following wy: H() = f(), H(η k ) = f(η k ), H (η k ) = f (η k ), H(b) = f(b). By the reminder term (2.13) of the Hermite interpoltion, if x is n rbitrry element of ], b[, then there exists θ ], b[ such tht f(x) H(x) = (x )(x b)(x η 1) 2 (x η m 1 ) 2 f (2m) (θ). (2m)! The fctors of the right hnd side re nonnegtive except for the fctor (x b) which is negtive, hence fρ Hρ. On the other hnd, H is of degree 2m 1, therefore Theorem 2.4 yields the right hnd side inequlity to be proved: fρ Hρ = β 0 H() + m 1 m 1 β k H(η k ) + β m H(b) = β 0 f() + β k f(η k ) + β m f(b). Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 28 of 101 Go Bck

29 From this point, n nlogous rgument to the corresponding prt of the previous proof gives the sttement of the theorem without ny differentibility ssumptions on the function f. Specilizing the weight function ρ 1, the roots of the inequlities cn be obtined s convex combintions of the endpoints of the domin. The coefficients of the convex combintions re the zeros of certin orthogonl polynomils on [0, 1] in both cses. Observe tht interchnging the role of the endpoints in ny side of the inequlity concerning the odd order cse, we obtin the other side of the inequlity. Theorem 2.8. Let, for m 0, the polynomil P m be defined by the formul m x 3 m+2 P m (x) := x m 1 1 m+2 2m+1 Then, P m hs m pirwise distinct zeros λ 1,..., λ m in ]0, 1[. Define the coefficients α 0,..., α m by α 0 := 1 P 2 m(0) α k := 1 λ k P 2 m(x)dx, xp m (x) (x λ k )P m(λ k ) dx. If function f : [, b] R is polynomilly (2m + 1)-convex, then it stisfies the Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 29 of 101 Go Bck

30 following Hermite Hdmrd-type inequlity α 0 f() + m α k f ( (1 λ k ) + λ k b ) 1 f(x)dx b m α k f ( λ k + (1 λ k )b ) + α 0 f(b). Proof. Apply Theorem 2.6 in the prticulr setting when := 0, b := 1 nd the weight function is ρ 1. Then, s simple clcultions show, P m is exctly the m th degree member of the orthogonl polynomil system on [0, 1] with respect to the weight function ρ(x) = x (see the beginning of this section). Therefore, P m hs m pirwise distinct zeros 0 < λ 1 < < λ m < 1. Moreover, the coefficients α 0,..., α m hve the form bove. Define the function F : [0, 1] R by the formul F (t) := f ( (1 t) + tb ). It is esy to check tht F is polynomilly (2m + 1)-convex on the intervl [0, 1]. Hence, pplying Theorem 2.6 nd the previous observtions, it follows tht 1 0 F (t)dt α 0 F (0) + = α 0 f() + m α k F (λ k ) m α k f ( (1 λ k ) + λ k b ). On the other hnd, to complete the proof of the left hnd side inequlity, observe tht Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 30 of 101 Go Bck 1 b f(x)dx = 1 0 F (t)dt.

31 For verifying the right hnd side one, define the function ϕ : [, b] R by the formul ϕ(x) := f( + b x). Then, ϕ is polynomilly (2m + 1)-convex on [, b]. The previous inequlity pplied on ϕ gives the upper estimtion of the Hermite Hdmrd-type inequlity for f. Theorem 2.9. Let, for m 1, the polynomils P m nd Q m 1 be defined by the formule m 1 1 x 2 m+1 P m (x) :=.....,. x m 1 1 m+1 2m m(m+1) 1 1 x 3 4 (m+1)(m+2) Q m 1 (x) := x m (m+1)(m+2) (2m 1)2m Then, P m hs m pirwise distinct zeros λ 1,..., λ m in ]0, 1[ nd Q m 1 hs m 1 pirwise distinct zeros µ 1,..., µ m 1 in ]0, 1[, respectively. Define the coefficients α 1,..., α m nd β 0,..., β m by α k := 1 0 P m (x) (x λ k )P m(λ k ) dx Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 31 of 101 Go Bck

32 nd β 0 := 1 Q 2 m 1(0) 1 1 β k := (1 µ k )µ k 1 β m := Q 2 m 1(1) (1 x)q 2 m 1(x)dx, x(1 x)q m 1 (x) (x µ k )Q m 1(µ k ) dx, xq 2 m 1(x)dx. If function f : [, b] R is polynomilly (2m)-convex, then it stisfies the following Hermite Hdmrd-type inequlity m α k f ( (1 λ k ) + λ k b ) 1 f(x)dx b β 0 f() + m 1 β k f ( (1 µ k ) + µ k b ) + β m f(b). Proof. Substitute := 0, b := 1 nd ρ 1 into Theorem 2.7. Then, P m is exctly the m th degree member of the orthogonl polynomil system on the intervl [0, 1] with respect to the weight function ρ(x) = 1; similrly, Q m 1 is the (m 1) st degree member of the orthogonl polynomil system on the intervl [0, 1] with respect to the weight function ρ(x) = (1 x)x. Therefore, Q m hs m pirwise distinct zeros 0 < λ 1 < < λ m < 1 nd Q m 1 hs m 1 pirwise distinct zeros 0 < µ 1 < < µ m 1 < 1. Moreover, the coefficients α 1,..., α m nd β 0,..., β m hve the form bove. To complete the proof, pply Theorem 2.7 on the function F : [0, 1] R defined by the formul F (t) := f ( (1 t) + tb ). Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 32 of 101 Go Bck

33 2.4. Applictions In the prticulr setting when m = 1, Theorem 2.8 reduces to the clssicl Hermite Hdmrd inequlity: Corollry 2.1. If f : [, b] R is polynomilly 2-convex (i.e. convex) function, then the following inequlities hold ( ) + b f 1 f() + f(b) f(x)dx. 2 b 2 In the subsequent corollries we present Hermite Hdmrd-type inequlities in those cses when the zeros of the polynomils in Theorem 2.8 nd Theorem 2.9 cn explicitly be computed. Corollry 2.2. If f : [, b] R is polynomilly 3-convex function, then the following inequlities hold 1 4 f() + 3 ( ) + 2b 4 f 1 f(x)dx 3 ( ) 2 + b 3 b 4 f f(b). Corollry 2.3. If f : [, b] R is polynomilly 4-convex function, then the following inequlities hold ( 1 2 f ) ( 3 b f 1 b ) 3 b 6 f(x)dx 1 6 f() f ( + b 2 ) f(b). Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 33 of 101 Go Bck

34 Corollry 2.4. If f : [, b] R is polynomilly 5-convex function, then the following inequlities hold ( f() + f + 6 ) 6 b ( f ) 6 b b 16 6 f 36 f(x)dx ( ( f ) 6 b b 10 ) f(b). In some other cses nlogous sttements cn be formulted pplying Theorem 2.9. For simplicity, insted of writing down these corollries explicitly, we shll present list which contins the zeros of P n (denoted by λ k ), the coefficients α k for the left hnd side inequlity, lso the zeros of Q n (denoted by µ k ), nd the coefficients β k for the right hnd side inequlity, respectively. Cse n = 6 The zeros of P 3 : , 10 2, ; 10 the corresponding coefficients: 5 18, 4 9, Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 34 of 101 Go Bck

35 The zeros of Q 2 : the corresponding coefficients: Cse n = 8 The zeros of P 4 : 5 5, , , 70 the corresponding coefficients: , The zeros of Q 3 : 1 2 the corresponding coefficients: ; , 5 12, 5 12, , ; , , , 1 2, ; 1 20, , 16 45, , Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 35 of 101 Go Bck

36 Cse n = 10 The zeros of P 5 : , , , , ; 42 the corresponding coefficients: ,, , , 1800 The zeros of Q 4 : , , 42 the corresponding coefficients: 1 30, 14 7, , 60 Cse n = 12 (right hnd side inequlity) The zeros of Q 5 : , ; , , Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 36 of 101 Go Bck , , 66

37 1 2, , 66 the corresponding coefficients: ; , , , , ,, During the investigtions of the higher order cses bove, we cn use the symmetry of the zeros of the orthogonl polynomils with respect to 1/2, nd therefore the clcultions led to solving liner or qudrtic equtions. The first cse where csus irreducibilis ppers is n = 7; similrly, this is the reson for presenting only the right hnd side inequlity for polynomilly 12-convex functions. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 37 of 101 Go Bck

38 3. Generlized 2-Convexity In terms of geometry, the Chebyshev property of two dimensionl system cn equivlently be formulted: the liner combintions of the members of the system (briefly: generlized lines) re continuous; furthermore, ny two points of the plin with distinct first coordintes cn be connected by unique generlized line. Tht is, generlized lines hve the most importnt properties of ffine functions. These properties turn out to be so strong tht most of the clssicl results of stndrd convexity, cn be generlized for this setting. First we investigte some bsic properties of generlized lines of two dimensionl Chebyshev systems. Then the most importnt tool of the section, chrcteriztion theorem is proved for generlized 2-convex functions. Two consequences of this theorem, nmely the existence of generlized support lines nd the property of generlized chords re crucil to verify Hermite Hdmrd-type inequlities. Another result sttes tight connection between stndrd nd (ω 1, ω 2 )-convexity, nd lso gurntees the integrbility of (ω 1, ω 2 )-convex functions. Some clssicl results of the theory of convex functions, like their representtion nd stbility re lso generlized for this setting Chrcteriztions vi generlized lines Let us recll tht (ω 1, ω 2 ) is sid to be Chebyshev system over n intervl I if ω 1, ω 2 : I R re continuous functions nd, for ll elements x < y of I, ω 1(x) ω 1 (y) ω 2 (x) ω 2 (y) > 0. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 38 of 101 Go Bck Some concrete exmples on Chebyshev systems re presented in the lst section of the section. Given Chebyshev system (ω 1, ω 2 ), function f : I R is clled

39 generlized convex with respect to (ω 1, ω 2 ) or briefly: generlized 2-convex if, for ll elements x < y < z of I, it stisfies the inequlity f(x) f(y) f(z) ω 1 (x) ω 1 (y) ω 1 (z) ω 2 (x) ω 2 (y) ω 2 (z) 0. Clerly, in the stndrd setting this definition reduces to the notion of (ordinry) convexity. Let (ω 1, ω 2 ) be Chebyshev system on n intervl I, nd denote the set of ll liner combintions of the functions ω 1 nd ω 2 by (ω 1, ω 2 ). We sy tht function ω : I R is generlized line if it belongs to the liner hull (ω 1, ω 2 ). The properties of generlized lines ply the key role in our further investigtions; first we need the following simple but useful ones. Lemm 3.1. Let (ω 1, ω 2 ) be Chebyshev system over n intervl I. Then, two different generlized lines of (ω 1, ω 2 ) hve t most one common point; moreover, if two different generlized lines hve the sme vlue t some ξ I, then the difference of the lines is positive on one side of ξ while negtive on the other side of ξ. In prticulr, ω 1 nd ω 2 hve t most one zero; moreover, if ω 1 (resp., ω 2 ) vnishes t some ξ I, then ω 1 is positive on one side of ξ while negtive on the other. Proof. Due to the liner structure of (ω 1, ω 2 ), without loss of generlity we my ssume tht one of the lines is the constnt zero line. Then, the other generlized line ω hs the representtion αω 1 + βω 2, with α 2 + β 2 > 0. The first ssertion of the theorem is equivlent to the property tht ω hs t most one zero. To show this, ssume indirectly tht ω(ξ) nd ω(η) equl zero for ξ η; tht is, αω 1 (ξ) + βω 2 (ξ) = 0, αω 1 (η) + βω 2 (η) = 0. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 39 of 101 Go Bck

40 By the Chebyshev property of (ω 1, ω 2 ), the bse determinnt of the system is nonvnishing, therefore the system hs only trivil solutions α = 0 nd β = 0 which contrdicts the property α 2 + β 2 > 0. An equivlent formultion of the second ssertion is the following: if ω(ξ) = 0 for some interior point ξ, then ω > 0 on one side of ξ while ω < 0 on the other. If this is not true, then, ccording to the previous result nd Bolzno s theorem, ω is strictly positive (or negtive) on both sides of ξ. For simplicity, ssume tht ω(t) > 0 for t ξ. Define the generlized line ω by ω := βω 1 + αω 2. Then, (ω, ω ) is lso Chebyshev system: if x < y re elements of I, then ω(x) ω(ξ) ω (x) ω (y) = α β β α ω 1(x) ω 1 (y) ω 2 (x) ω 2 (y) = (α 2 + β 2 ) ω 1(x) ω 1 (y) ω 2 (x) ω 2 (y) > 0. Therefore, tking the elements x < ξ < y of I, we rrive t the inequlities 0 < ω(x) ω(ξ) ω (x) ω (ξ) = ω(x)ω (ξ), 0 < ω(ξ) ω(y) ω (ξ) ω (y) = ω(y)ω (ξ), which yields the contrdiction tht ω (ξ) is simultneously positive nd negtive. For the lst ssertion, notice tht ω 1, ω 2 nd the constnt zero functions re specil generlized lines nd pply the previous prt of the theorem. The most importnt property of (ω 1, ω 2 ) gurntees the existence of generlized line prllel to the constnt zero function, which itself is generlized line s well (see below). Moreover, s it cn lso be shown, (ω 1, ω 2 ) fulfills the xioms of hyperbolic geometry. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 40 of 101 Go Bck

41 Lemm 3.2. If (ω 1, ω 2 ) is Chebyshev system on n intervl I, then there exists ω (ω 1, ω 2 ) such tht ω is positive on I. Proof. If ω 1 hs no zero in I, then ω := ω 1 or ω := ω 1 (ccording to the sign of ω 1 ) will do. Suppose tht ω 1 (ξ) = 0 for some ξ I. Due to Lemm 3.1, without loss of generlity we my ssume tht ω 1 (x) < 0 ω 1 (y) > 0 (x < ξ, x I), (y > ξ, y I). Hermite-Hdmrd-type Inequlities Choose the elements x < ξ < y of I. The Chebyshev property of (ω 1, ω 2 ) nd the negtivity of ω 1 (x)ω 2 (y) implies the inequlity Hence (3.1) α := sup y>ξ ω 2 (y) ω 1 (y) < ω 2(x) ω 1 (x). [ ] ω2 (y) inf ω 1 (y) x<ξ [ ] ω2 (x) ; ω 1 (x) moreover, both sides re rel numbers. We show tht the generlized line defined by ω := αω 1 ω 2 is positive on the interior of I. First observe tht ω tkes positive vlue t the point ξ. Indeed, by the definition of ω we hve ω(ξ) := αω 1 (ξ) ω 2 (ξ) = ω 2 (ξ); on the other hnd, for y > ξ, the positivity of ω 1 (y) nd the Chebyshev property of (ω 1, ω 2 ) yields ω 2 (ξ) > 0. If y > ξ, then the definition of α implies vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 41 of 101 Go Bck α ω 2(y) ω 1 (y) ;

42 multiplying both sides by the positive ω 1 (y) nd rerrnging the terms we get, ω(y) := αω 1 (y) ω 2 (y) 0. If x < ξ, then inequlity (3.1) gives tht α ω 2(x) ω 1 (x) ; multiplying both sides by the negtive ω 1 (x) nd rerrnging the obtined terms, we rrive t the inequlity ω(x) := αω 1 (x) ω 2 (x) 0. To complete the proof, it suffices to show tht ω lwys differs from zero on the interior of the domin. Assume indirectly tht ω(η) := αω 1 (η) ω 2 (η) = 0 for some η I. Clerly, η ξ since ω(ξ) > 0. Therefore, ω 1 (η) 0 nd α cn be expressed explicitly: α = ω 2(η) ω 1 (η). If ξ < η, choose y I such tht η < y hold. By the positivity of ω 1 (η)ω 1 (y) nd the Chebyshev property of (ω 1, ω 2 ), α = ω 2(η) ω 1 (η) < ω 2(y) ω 1 (y) which contrdicts the definition of α. Similrly, if ξ > η, choose x I such tht x < η is vlid. Then, the positivity of ω 1 (x)ω 1 (η) nd the Chebyshev property of (ω 1, ω 2 ) imply the inequlity Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 42 of 101 Go Bck α = ω 2(η) ω 1 (η) > ω 2(x) ω 1 (x), which contrdicts (3.1).

43 As n importnt consequence of Lemm 3.2, Chebyshev system cn lwys be replced equivlently by regulr one. In other words, ssuming positivity on the first component of Chebyshev system, s is required in mny further results, is not n essentil restriction. Moreover, the next lemm lso gives chrcteriztion of pirs of functions to form Chebyshev system. Lemm 3.3. Let (ω 1, ω 2 ) be Chebyshev system on n intervl I R. Then, there exists Chebyshev system (ω 1, ω 2) on I tht possesses the following properties: (i) ω 1 is positive on I ; (ii) ω 2/ω 1 is strictly monotone incresing on I ; (iii) (ω 1, ω 2 )-convexity is equivlent to (ω 1, ω 2)-convexity. Conversely, if ω 1, ω 2 : I R re continuous functions such tht ω 1 is positive nd ω 2 /ω 1 is strictly monotone incresing, then (ω 1, ω 2 ) is Chebyshev system over I. Proof. Lemm 3.2 gurntees the existence of rel constnts α nd β such tht αω 1 + βω 2 > 0 holds for ll x I. Define the functions ω 1, ω 2 : I R by the formule ω 1 := αω 1 + βω 2, ω 2 := βω 1 + αω 2. Choosing the elements x < y of I nd pplying the product rule of determinnts, we get ω 1(x) ω1(y) ω2(x) ω2(y) = α β β α ω 1(x) ω 1 (y) ω 2 (x) ω 2 (y) = (α 2 + β 2 ) ω 1(x) ω 1 (y) ω 2 (x) ω 2 (y) > 0. Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 43 of 101 Go Bck

44 Therefore, (ω1, ω2) is lso Chebyshev system over I. Assuming tht ω1 is positive, s it cn esily be checked, the Chebyshev property of (ω1, ω2) yields tht the function ω2/ω 1 is strictly monotone incresing on the interior of I. Lstly, let f : I R be n rbitrry function nd x < y < z be rbitrry elements of I. Then, by the product rule of determinnts, f(x) f(y) f(z) ω1(x) ω1(y) ω1(z) ω2(x) ω2(y) ω2(z) = α β 0 β α = (α 2 + β 2 ) f(x) f(y) f(z) ω 1 (x) ω 1 (y) ω 1 (z) ω 2 (x) ω 2 (y) ω 2 (z) f(x) f(y) f(z) ω 1 (x) ω 1 (y) ω 1 (z) ω 2 (x) ω 2 (y) ω 2 (z) which shows tht the function f is generlized convex with respect to the Chebyshev system (ω 1, ω 2 ) if nd only if it is generlized convex with respect to the Chebyshev system (ω 1, ω 2). The proof of the converse ssertion is simple clcultion, therefore it is omitted. The following result gives vrious chrcteriztions of (ω 1, ω 2 )-convexity vi the monotonicity of the generlized divided difference, the generlized support property nd the locl nd the globl generlized chord properties. Theorem 3.1. Let (ω 1, ω 2 ) be Chebyshev system over n intervl I such tht ω 1 is positive on I. The following sttements re equivlent: (i) f : I R is (ω 1, ω 2 )-convex;, Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 Title Pge Pge 44 of 101 Go Bck

45 (ii) for ll elements x < y < z of I we hve tht f(y) f(z) ω 1 (y) ω 1 (z) f(x) ω 1 (x) ω 1(y) ω 1 (z) ω 2 (y) ω 2 (z) ω 1(x) ω 2 (x) f(y) ω 1 (y) ω 1 (y) ω 2 (y) ; (iii) for ll x 0 I there exist α, β R such tht αω 1 (x 0 ) + βω 2 (x 0 ) = f(x 0 ), αω 1 (x) + βω 2 (x) f(x) (x I); Hermite-Hdmrd-type Inequlities vol. 9, iss. 3, rt. 63, 2008 (iv) for ll n N, x 0, x 1,..., x n I nd λ 1,..., λ n 0 stisfying the conditions n λ k ω 1 (x k ) = ω 1 (x 0 ), we hve tht n λ k ω 2 (x k ) = ω 2 (x 0 ), f(x 0 ) n λ k f(x k ); (v) for ll x 0, x 1, x 2 I nd λ 1, λ 2 0 stisfying the conditions we hve tht λ 1 ω 1 (x 1 ) + λ 2 ω 1 (x 2 ) = ω 1 (x 0 ), λ 1 ω 2 (x 1 ) + λ 2 ω 2 (x 2 ) = ω 2 (x 0 ), f(x 0 ) λ 1 f(x 1 ) + λ 2 f(x 2 ); Title Pge Pge 45 of 101 Go Bck

Bessenyei Mihály. Hermite Hadamard-type inequalities for generalized convex functions. (Ph.D. dissertation) Supervisor: Dr.

Bessenyei Mihály. Hermite Hadamard-type inequalities for generalized convex functions. (Ph.D. dissertation) Supervisor: Dr. Bessenyei Mihály Hermite Hdmrd-type inequlities for generlized convex functions (Ph.D. disserttion) Supervisor: Dr. Páles Zsolt UNIVERSITY OF DEBRECEN Debrecen, Hungry, 004 Lus viventi Deo! Acknowledgements

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Math& 152 Section Integration by Parts

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

More information

Integral points on the rational curve

Integral points on the rational curve Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box

More 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

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

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

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

Appendix to Notes 8 (a)

Appendix to Notes 8 (a) Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1

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

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

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

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

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

38 Riemann sums and existence of the definite integral.

38 Riemann sums and existence of the definite integral. 38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These

More information

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer. Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points

More 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

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

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

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

Review of Riemann Integral

Review of Riemann Integral 1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.

More 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

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

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

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

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 ( FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More 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

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More 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

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

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

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

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

Numerical Analysis: Trapezoidal and Simpson s Rule

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

More information

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

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

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

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30 Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function

More information

Matrices, Moments and Quadrature, cont d

Matrices, Moments and Quadrature, cont d Jim Lmbers MAT 285 Summer Session 2015-16 Lecture 2 Notes Mtrices, Moments nd Qudrture, cont d We hve described how Jcobi mtrices cn be used to compute nodes nd weights for Gussin qudrture rules for generl

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

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

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

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA-302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition

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

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.

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

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

Numerical Integration. 1 Introduction. 2 Midpoint Rule, Trapezoid Rule, Simpson Rule. AMSC/CMSC 460/466 T. von Petersdorff 1

Numerical Integration. 1 Introduction. 2 Midpoint Rule, Trapezoid Rule, Simpson Rule. AMSC/CMSC 460/466 T. von Petersdorff 1 AMSC/CMSC 46/466 T. von Petersdorff 1 umericl Integrtion 1 Introduction We wnt to pproximte the integrl I := f xdx where we re given, b nd the function f s subroutine. We evlute f t points x 1,...,x n

More information

Lecture notes. Fundamental inequalities: techniques and applications

Lecture notes. Fundamental inequalities: techniques and applications Lecture notes Fundmentl inequlities: techniques nd pplictions Mnh Hong Duong Mthemtics Institute, University of Wrwick Emil: m.h.duong@wrwick.c.uk Februry 8, 207 2 Abstrct Inequlities re ubiquitous in

More information

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam 440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP

More information

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

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

More information

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

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

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

Variational Techniques for Sturm-Liouville Eigenvalue Problems

Variational Techniques for Sturm-Liouville Eigenvalue Problems Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment

More information

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

MA Handout 2: Notation and Background Concepts from Analysis

MA Handout 2: Notation and Background Concepts from Analysis MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,

More information

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

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

More information

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

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

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

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

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

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

Calculus I-II Review Sheet

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

More information

Chapter 6. Infinite series

Chapter 6. Infinite series Chpter 6 Infinite series We briefly review this chpter in order to study series of functions in chpter 7. We cover from the beginning to Theorem 6.7 in the text excluding Theorem 6.6 nd Rbbe s test (Theorem

More information

Solution to Fredholm Fuzzy Integral Equations with Degenerate Kernel

Solution to Fredholm Fuzzy Integral Equations with Degenerate Kernel Int. J. Contemp. Mth. Sciences, Vol. 6, 2011, no. 11, 535-543 Solution to Fredholm Fuzzy Integrl Equtions with Degenerte Kernel M. M. Shmivnd, A. Shhsvrn nd S. M. Tri Fculty of Science, Islmic Azd University

More information

STUDY GUIDE FOR BASIC EXAM

STUDY GUIDE FOR BASIC EXAM STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There

More information

Numerical Analysis. Doron Levy. Department of Mathematics Stanford University

Numerical Analysis. Doron Levy. Department of Mathematics Stanford University Numericl Anlysis Doron Levy Deprtment of Mthemtics Stnford University December 1, 2005 D. Levy Prefce i D. Levy CONTENTS Contents Prefce i 1 Introduction 1 2 Interpoltion 2 2.1 Wht is Interpoltion?............................

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

Advanced Computational Fluid Dynamics AA215A Lecture 3 Polynomial Interpolation: Numerical Differentiation and Integration.

Advanced Computational Fluid Dynamics AA215A Lecture 3 Polynomial Interpolation: Numerical Differentiation and Integration. Advnced Computtionl Fluid Dynmics AA215A Lecture 3 Polynomil Interpoltion: Numericl Differentition nd Integrtion Antony Jmeson Winter Qurter, 2016, Stnford, CA Lst revised on Jnury 7, 2016 Contents 3 Polynomil

More information

Construction of Gauss Quadrature Rules

Construction of Gauss Quadrature Rules Jim Lmbers MAT 772 Fll Semester 2010-11 Lecture 15 Notes These notes correspond to Sections 10.2 nd 10.3 in the text. Construction of Guss Qudrture Rules Previously, we lerned tht Newton-Cotes qudrture

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

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

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

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

arxiv:math/ v2 [math.ho] 16 Dec 2003

arxiv:math/ v2 [math.ho] 16 Dec 2003 rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,

More information

1.3 The Lemma of DuBois-Reymond

1.3 The Lemma of DuBois-Reymond 28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBois-Reymond We needed extr regulrity to integrte by prts nd obtin the Euler- Lgrnge eqution. The following result shows tht, t lest sometimes, the extr

More information

20 MATHEMATICS POLYNOMIALS

20 MATHEMATICS POLYNOMIALS 0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of

More information

Lecture 20: Numerical Integration III

Lecture 20: Numerical Integration III cs4: introduction to numericl nlysis /8/0 Lecture 0: Numericl Integrtion III Instructor: Professor Amos Ron Scribes: Mrk Cowlishw, Yunpeng Li, Nthnel Fillmore For the lst few lectures we hve discussed

More information

Sections 5.2: The Definite Integral

Sections 5.2: The Definite Integral Sections 5.2: The Definite Integrl In this section we shll formlize the ides from the lst section to functions in generl. We strt with forml definition.. The Definite Integrl Definition.. Suppose f(x)

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

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

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