Đặc trưng của hàm lồi một biến qua bất đẳng thức Hermiter - Hadamard

Header Page of 258 B GIO DC V O TO TRNG I HC S PHM H NI o0o VN DNG C TRNG CA HM LI MT BIN QUA BT NG THC HERMITE-HADAMARD Chuyờn ngnh: Toỏn Gii tớch Mó s: 60 46 01 02 LUN VN THC S TON HC Ngi hng dn khoa hc PGS TS T DUY PHNG H NI, 2016 Footer Page of 258 Header Page of 258 Li cm n Sau mt thi gian nghiờn cu cựng vi s quan tõm ca cỏc thy giỏo cụ giỏo cựng cỏc bn hc viờn, lun ca tụi n ó c hon thnh Tụi xin by t lũng bit n sõu sc n thy giỏo PGS.TS T Duy Phng ó tn tỡnh ch bo, hng dn tụi thi gian lm lun Tụi xin chõn thnh cm n s giỳp quý bỏu ca cỏc thy cụ khoa Toỏn, trng i hc S phm H Ni Tụi xin cm n s ng viờn giỳp ca gia ỡnh v bn bố ó dnh cho tụi quỏ trỡnh nghiờn cu v hon thnh lun Tụi xin chõn thnh cm n! H Ni, thỏng nm 2016 Tỏc gi Vn Dng Footer Page of 258 Header Page of 258 Li cam oan Tụi xin cam oan rng s liu, kt qu ca nghiờn cu lun ny l trung thc v khụng trựng lp vi cỏc ti khỏc Tụi cng xin cam oan rng mi s giỳp cho vic thc hin lun ny ó c cm n v cỏc thụng tin trớch dn lun ó c ch rừ ngun gc H Ni, thỏng nm 2016 Tỏc gi Vn Dng Footer Page of 258 Header Page of 258 Mc lc Li M u Mt s c trng c bn ca hm li 1.1 Mt s c trng hỡnh hc ca hm li 1.2 Mt s c trng c bn ca hm li kh vi 1.3 Hm li khụng kh vi 7 11 14 c trng hm li qua bt ng thc Hermite-Hadamard 17 2.1 Bt ng thc Hermite-Hadamard 17 2.2 ng dng ca bt ng thc Hermite-Hadamard chng minh bt ng thc 23 2.3 c trng ca hm li qua toỏn t Steklov 27 2.3.1 c trng hm li qua bt ng thc Steklov 27 2.3.2 Toỏn t Steklov 29 2.4 Mt s c trng hm li khỏc 31 Bt ng thc Jensen-Petrovi c 39 3.1 Cỏc bt ng thc cho cỏc hm s hỡnh 39 3.2 Bt ng thc cho cỏc hm li 41 Kt lun 46 Footer Page of 258 Header Page of 258 Li m u Lớ chn ti Gii tớch li ó v ang úng mt v trớ quan trng toỏn hc Gii tớch li liờn quan n rt nhiu ngnh ca toỏn hc nh gii tớch, gii tớch hm, gii tớch s, hỡnh hc, toỏn kinh t, ti u phi tuyn, Mt kt qu kinh in cho hm li l Bt ng thc Hermite-Hadamard (H-H Inequality), c phỏt biu nh lý di õy nh lý Nu f : R R l hm li trờn on [a; b] thỡ ta cú b f a+b ba f (t)dt f (a) + f (b) (1) a Trong [8], Fejer ó m rng bt ng thc (1) thnh bt ng thc (2), m sau ny c gi l bt ng thc Fejer nh lý Nu f : R R l li trờn on [a; b] v g : [a; b] R l mt hm khụng õm, kh tớch v i xng qua im x = a+b thỡ b f a+b b g(t)dt a b f (a) + f (b) f (t)g(t)dt a g(t)dt (2) a Khi g(x) = thỡ bt ng thc Fejer tr thnh bt ng thc HermiteHadamard Sau ú nhiu tỏc gi ó m rng cỏc bt ng thc Hermite-Hadamard v Fejer Xem, thớ d, cỏc cun sỏch chuyờn kho [3], [4], [5], [6] v cỏc bi bỏo khỏc Trong [5] ó phỏt biu v chng minh nh lý iu kin cn v mt hm liờn tc f : R R l li trờn [a, b] l Footer Page of 258 Header Page of 258 Lun thc s x+h f (x) 2h f (t)dt vi mi a x h x + h b (3) xh Cú th chng minh c rng, bt ng thc (3) tng ng vi bt ng thc th nht bt ng thc Hermite-Hadamard (1) cho hm li liờn tc nhng cho ti cha bit l ngi u tiờn chng minh iu ny (xem [3], p.139) Nhn xột rng iu kin cn v mt hm l li qua bt ng thc Hermite-Hadamard khụng ũi hi tớnh kh vi, m ch ũi hi tớnh liờn tc ca hm ó cho Rt nhiu kt qu khỏc (m rng nh lớ 3) liờn quan n c trng hm li thụng qua bt ng thc Hermite-Hadamard hoc cỏc m rng ca bt ng thc ny Mc ớch chớnh ca Lun ny l trỡnh by tng quan v c trng hm li qua bt ng thc Hermite-Hadamard Mc ớch v nghiờn cu Nghiờn cu cỏc c trng ca hm li qua bt ng thc Hermite-Hadamard Nhim v nghiờn cu Trỡnh by chng minh cỏc c trng ca hm li qua bt ng thc dng Hermite-Hadamard i tng v phm vi nghiờn cu i tng nghiờn cu: Cỏc bt ng thc dng Hermite-Hadamard v ng dng c trng hm li Phm vi nghiờn cu : Cỏc ti liu, cỏc sỏch bỏo liờn quan c trng ca hm li qua bt ng thc Hermite-Hadamard Vn Dng Footer Page of 258 K18 Toỏn Gii Tớch Header Page of 258 Lun thc s Phng phỏp nghiờn cu - Thu thp ti liu, cỏc sỏch bỏo v cỏc bt ng thc dng HermiteHadamard v c trng ca hm li qua bt ng thc Hermite-Hadamard - Tng hp, phõn tớch, h thng cỏc kin thc v c trng ca hm li qua bt ng thc Hermite-Hadamard D kin úng gúp ca lun C gng xõy dng lun thnh mt bn tng quan tt v c trng ca hm li qua bt ng thc Hermite-Hadamard Vn Dng Footer Page of 258 K18 Toỏn Gii Tớch Header Page of 258 Chng Mt s c trng c bn ca hm li 1.1 Mt s c trng hỡnh hc ca hm li nh ngha 1.1.1 Tp X Rn c gi l li nu vi mi [0; 1] v x1 X , x2 X cú x := x1 + (1 )x2 X Ngha l, li X cha mi on thng ni hai im ca nú Cỏc hp di õy: domf := {x X|f (x) < } , epif := {(x, ) X ì R|f (x) } ln lt c gi l hu hiu v trờn th ca f Ngoi vi mi R, ta gi di mc ca hm f (vi mc ) l: C (f ; ) := {x X|f (x) } = {x X|(x, ) epif } Xột hm f : X R, ú X Rn l li nh ngha 1.1.2 Hm f : X R c gi l li nu epi f l li nh ngha 1.1.3 Hm f c gi l chớnh thng nu domf = v f (x) > vi mi x X Nu f va li va chớnh thng thỡ f c gi l hm li chớnh thng Ta cú cỏc b sau: B 1.1.1 Nu f li thỡ domf li B 1.1.2 Nu f li thỡ C(f, ) li vi mi R Chng minh Vi mi x, y C(f, ) ta cú (x, ), (y, ) epif Vỡ vy nu (0, 1) thỡ (x + (1 )y, ) = (x, ) + (1 )(y, ) epif , hay (x + (1 )y, ) epif T ú x + (1 )y C(f, ), nờn C(f, ) l li Footer Page of 258 Header Page of 258 Lun thc s Nhn xột 1.1.1 iu ngc li khụng ỳng, tc l C(f, ) cú th li vi mi R nhng f cú th khụng li Vớ d 1.1.1 Xột hm f = x3 khụng phi l hm li vỡ epif khụng phi l li, nhng C(f, ) = x : x3 = {x : x } l li vi mi R Mnh 1.1.1 ( [2], trang 91) Cho f : X (, +] Lỳc ú f li nu v ch nu f (x + (1 )y) f (x) + (1 )f (y), x, y X, (0, 1) (1.1) Hỡnh 1: Minh bt ng thc (1.2) vi x = x + (1 )y Chng minh iu kin cn c chng minh tng t nh B 1.1.2 nu ý rng (x, f (x)), (y, f (y)) epif vi mi x, y domf chng minh iu kin ta ly (x, ), (y, ) epif v (0, 1) Lỳc ú f (x + (1 )y) f (x) + (1 )f (y) + (1 ), hay (x, ) + (1 )(y, ) = (x + (1 )y, + (1 )) epif Vy epif li hay f li theo nh ngha 1.1.2 m rng (1.2) ta gi mt hm f l li cht nu vi mi x, y domf , x = y v (0, 1) ta cú f (x + (1 )y) < f (x) + (1 )f (y) Mnh 1.1.2 (Bt ng thc Jensen) Cho f : X (, +] Hm f li v ch Vn Dng Footer Page of 258 K18 Toỏn Gii Tớch Header Page 10 of 258 Lun thc s m m m f i xi i f (xi ), m = 2, 3, , xi X , i 0, i=1 i=1 i=1 i = Chng minh iu kin l hin nhiờn theo mnh 1.1.1 Ta chng minh iu kin cn bng quy np Theo Mnh 1.1.1, ỳng vi m = Gi s mnh ỳng vi m = k Cho cỏc im x1 , x2 , , xk+1 X v cỏc k k+1 i , suy k+1 = i = t = s , , k+1 > cho i=1 i=1 p dng Bt ng thc Jensen cho m = ta c k+1 f f i xi i=1 k i xi + k+1 f (xk+1 ) i=1 Theo gi thit quy np, vỡ k + ããã + = =1 nờn f k i xi = f i=1 k x1 + ã ã ã + xk k f (x1 ) + ã ã ã + f (xk ) = f (x1 ) + ã ã ã + k f (xk ) Vy ta cú k+1 f i xi f i=1 k i xi + k+1 f (xk+1 ) i=1 f (x1 ) + + k f (xk ) + k+1 f (xk+1 ) hay k+1 f k+1 i xi i=1 i f (xi ) i=1 Vy khng nh ỳng vi m = k + Mnh 1.1.2 c chng minh Nhn xột 1.1.2 Tht lch s ca hm li bt u t rt sm, trc cú cỏc kt qu trờn li Nm 1889, Hoălder khng nh mt hm bin s thc f (x) cú o hm cp hai khụng õm thỡ tha Bt ng thc Jensen n nm 1893, Stolz chng minh nu f liờn tc trờn on [a, b] v tha Vn Dng Footer Page 10 of 258 K18 Toỏn Gii Tớch Header Page 34 of 258 Lun thc s c nh vi tt c x, h v tt c hm f dng, liờn tc trờn (a, b) nh lý 2.4.3 (a) Cp (u, v) E * v ch mt cỏc iu kin sau õy c tha món: u+2 ; (i) u v v (ii) u v v 0; u log (iii) u v v ; log(1 + u) u+2 (iv) u v v ; u log (v) u v v log(1 + u) (b) Cp (u, v) E * v ch 3v u nh lý 2.4.4 (Rado, 1935, [5]), p 15 Gi s f l hm dng v liờn tc trờn (a, b) Khi y: Bt ng thc (2.16) tng ng vi tớnh li ca f v ch cp (u, v) tha cỏc iu kin sau: (i) 3v u = v (ii) Hoc l u hoc u < ; Bt ng thc ngc li (2.16) tng ng vi tớnh li ca f v ch cp (u, v) tha cỏc iu kin sau: (iii) 3v u = v (iv) Hoc l u hoc l u nh lý 2.4.5 (Vasic v Lackovic, 1974, 1976; Lupaás 1976, [6], p 143) Cho p, q l cỏc s dng v a1 a < b b1 Khi ú bt ng thc A+y f pa + qb p+q 2y f (t)dt pf (a) + qf (b) p+q (2.17) Ay ỳng vi A = (pa + qb)/(p + q), y > 0, v vi tt c hm s f li liờn tc f : [a1 , b1 ] R nu v ch nu y Vn Dng Footer Page 34 of 258 ba {p, q} p+q 33 (2.18) K18 Toỏn Gii Tớch Header Page 35 of 258 Lun thc s Nhn xột 2.4.1 Nhn xột rng bt ng thc (2.17) cú th c coi nh mt s ci biờn ca nh ngha bt ng thc cho hm li Nhn xột 2.4.2 Vi p = q = v y = (b a)/2 (2.18) thỡ mt bt ng thc Hermite-Hadamard Bõy gi chỳng ta ch rng cỏc iu kin nh trờn, bt ng thc Hermite-Hadamard a n mt dng ci biờn khỏc ca (2.18): A+y f pa + qb p+q 2y pf (a) + qf (b) {f (A y) + f (A + y)} p+q f (t)dt Ay (2.19) u tiờn, gi s rng nu < y [(b a/)(p + q)]min {p, q}, ú xột hai trng hp (0 < p q v < q < p), cú th d dng kim tra rng a A y < A + y b, vy f c xỏc nh trờn [A y, A + y] Qua bt ng thc Hermite-Hadamard (2.1) vi a, b thay th cho A y, A + y , ta nhn c A+y f (A) 2y f (t)dt [f (A y) + f (A + y)] (2.20) Ay Theo nh ngha ca hm li, vi a x1 < x2 < x3 b ta cú x2 x1 x3 x2 f (x1 ) + f (x3 ) f (x2 ) x3 x1 x3 x1 t x1 = a v x3 = b, ta c f (A y) b (A y) Aya f (a) + f (b), ba ba b (A + y) A+ya f (a) + f (b) ba ba T (2.20)-(2.22), sau ú chỳng ta cú f (A + y) (2.21) (2.22) A+y f (A) 2y f (t)dt {f (A y) + f (A + y)} Ay Vn Dng Footer Page 35 of 258 bA Aa f (a) + f (b) ba ba 34 = pf (a) + qf (b) p+q K18 Toỏn Gii Tớch Header Page 36 of 258 Lun thc s T ú ta chng minh c bt ng thc (2.17) chng minh mt s nh lý tip theo, ta a mt s b sau B 2.4.1 (Pecaric, Becsack, 1986, [6], p 47) Cho L tha tiờu chun L1, L2 trờn E khỏc rng, v gi s rng l mt hm li liờn tc trờn mt khong I R Nu A l mt hm tuyn tớnh dng vi A(1) = 1, ú vi mi g L cho (g) L ta cú A(g) I v (A(g)) A((g)) (2.23) Chng minh Cho I = [a, b] T a g(t) b vi mi t E ta thu c a A(g) b Vi > c nh tựy ý, tn ti cỏc s thc u, v R cho vi p = up0 + vp1 (pi (t) = ti vi i = 0, 1) ta cú (i)p v (ii) p(A(g)) (A(g)) (Nu a < A(g) < b hoc nu f cú o hm hu hn trờn [a, b], ta cú th thay (ii) bng p(A(g)) = (A(g)).) Bõy gi (i) cú ngha l p g g ; vy A( g) A(p g) = A(u ã + v ã g) = u + vA(g) = p(A(g)) = p(A(g)) (A(g)) Vỡ tựy ý, suy iu cn chng minh B 2.4.2 (Pecaric, Becsack, 1986 [6], p 98) Cho l li trờn I = [m, M ] ( < m < M < ); cho L tha cỏc iu kin L1, L2 v A l cỏc hm tuyn tớnh bo ton th t trờn L vi A(1) = Khi ú vúi mi g L cho (g) L (do vy m g(t) M vi tt c t E ), ta cú A((g)) {(M A(g))(m) + (A(g) m)(M )} /(M m) (2.24) Chng minh T nh ngha ca hm li ta cú (v) wv vu (u) + (M ), wu wu (u v w, u < w) Bõy gi cho u = m, u = g(t), v w = M , ta cú (g(t)) Vn Dng Footer Page 36 of 258 M g(t) g(t) m (m) + (M ), M m M m 35 t E (2.25) K18 Toỏn Gii Tớch Header Page 37 of 258 Lun thc s Vỡ A tha A1: A(af +bg) = aA(f )+bA(g) vi f, g L, a, b R v A2: f L, f (t) trờn E A(f ) (A l bo ton th t ) v A(k) = k c nh vi tt c hng s k , ta thu c B 2.4.2 nh lý 2.4.6 (Pecaric, Becsack, 1986,[6] p 143) Cho f l mt hm liờn tc li khong I [m, M ], vi < m < M < Gi s rng g : E R tha m g(t) M vi tt c t E , g L; v f (g) L Cho A : L R l mt hm tuyn tớnh bo ton th t vi A(1) = 1, v cho p = pg v q = qg l cỏc s thc khụng õm (vi p + q > 0) vi A(g) = (pm + qM )/(p + q) (2.26) Khi ú f pm + qM p+q A(f (g)) pf (m) + qf (M ) p+q (2.27) Chng minh Vỡ m A(g) M Do ú tn ti p 0, q 0, (p + q) > tha (2.15) Bt ng thc u tiờn (2.27) chớnh l (2.23) bt ng thc th hai cng chớnh l (2.24) nh lý 2.4.7 Gi s rng L tha iu kin L1 -L3 c nh ngha trờn mt khụng rng E vi A l mt i s ca cỏc ca E , v L l mt mt lp tuyn tớnh ca cỏc hm thc g : E R nh sau: L1 : f, g L (af + bg) L vi tt c a, b R; L2 : L, nu f (t) = vi t E , ú f L; L3 : f L, E1 A f CE1 L, v f l mt hm liờn tc li trờn khong I , ú g, h L vi f (g), f (l) L Cho A, B l cỏc hm tuyn tớnh bo ton th t trờn L vi A(1) = B(1) = Nu A(h) = B(g), E1 A tha A(CE1 ) > v A(CE2 ) > vi E2 = E E1 , v nu A(hCE1 )/A(CE1 ) g(t) A(hCE2 )/A(CE2 ) vi mi t E Khi ú f (A(h)) B(f )(g) A(f (h)) (2.28) Chng minh Theo Bt ng thc Jensen ta cú f (A(hCEi ))/A(CEi ) A(f (h)CEi )/A(CEi ), i = 1, (2.29) p dng nh lý 2.4.2 cho hm tuyn tớnh bo ton th t B v hm s g vi m = A(hCE1 )/A(CE1 ), M = A(hCE2 )/A(CE2 ) vi p = A(CE1 ), q = A(CE2 ), Vn Dng Footer Page 37 of 258 36 K18 Toỏn Gii Tớch Header Page 38 of 258 Lun thc s ta cú p + q = A(CE1 ) + A(CE2 ) = A(CE ) = A(1) = v B(g) = A(h) = A(hCE1 ) + A(hCE2 ) = pm + qM p+q Do vy, theo (2.16) ta thu c f (A(h)) = f (B(g)) B(f (g)) A(hCE1 ) A(hCE2 ) A(CE1 )f + A(CE2 )f A(CE1 ) A(CE2 ) A(f (h)CE1 ) + A(f (h)CE2 ) (theo (2.29)) = A(f (h)) Vy (2.28) c chng minh Bt ng thc di õy l mt m rng ca nh lý 2.4.4 nh lý 2.4.8 (Wang, Wang,1982, [6], p 147) Cho f : [a, b] R l mt hm li, xi [a, b] v pi > 0(i = 0, 1, , n) Khi ú cỏc bt ng thc sau õy l ỳng: j n f n pi x i / i=0 n pi i=0 (j j )1 j=1 n f (x0 (1 t1 ) j n n1 n xj (1 tj+1 )t1 tj + xn t1 t2 tn ) + j=1 dti i=1 n n pj f (xj )/ j=0 pj (2.30) j=0 vi n (i + i )/2 = n pk / k=1 pk (2.31) k=i1 v i < i vi i = 1, , n (2.32) Chng minh (Pecaric, [6], p 148) Theo bt ng thc Jensen dng ri rc v tớch phõn, chỳng ta cú Vn Dng Footer Page 38 of 258 37 K18 Toỏn Gii Tớch Header Page 39 of 258 Lun thc s n n f pi x i / pi i=0 i=0 n (j j )1 =f j=1 n (x0 (1 t1 ) n n1 n xj (1 tj+1 )t1 tj + xn t1 tn + j=1 n (j j )1 dti i=1 j=1 n f (x0 (1 t1 ) n n1 n xj (1 tj+1 )t1 tj + xn t1 tn + j=1 n (j j )1 dti i=1 j=1 n (f (x0 )(1 t1 ) n n1 n f (xj )(1 tj+1 )t1 tj + f (xn )t1 tn + j=1 n = i=1 n pi f (xi )/ i=0 dti pi i=0 Chỳ ý 2.4.1 iu kin (1.30) cú th gim nh v mt tng quỏt húa ca nh lý 1.15 cú th c phỏt biu cho nhiu bin, xem [6], p 148 Kt la chng Chng trỡnh by c trng ca hm li qua bt ng thc HermiteHadamard v mt s m rng Vn Dng Footer Page 39 of 258 38 K18 Toỏn Gii Tớch Header Page 40 of 258 Chng Bt ng thc Jensen-Petrovi c Chng ny m rng bt ng thc Hermite-Hadamard cho hm li di dng bt ng thc Jensen-Petrovic 3.1 Cỏc bt ng thc cho cỏc hm s hỡnh Cho x, p v q l khụng õm n-chiu Khi ú nh lý 3.1.1 n ( n pi x i ) qi )( i=1 n i=1 qi (xi ) (3.1) i=1 ỳng vi mi n, x, p v q cho xi [0, a] (i = 1, , n) v n x pi xi xj vi j = 1, , n v i=1 pi xi [0, a] (3.2) i=1 nu v ch nu : [0, a] R l mt hm gim Tng t, chiu ngc ca bt ng thc ỳng nu v ch nu l hm tng Chng minh (i) Khi gim, thỡ ( ni=1 ) (xj ) Ta c (3.1) (ii) Cho n = 2, x1 = x, x2 = h, p1 = p2 = 1, q1 = v q2 = p, bt ng thc (3.1) tr thnh (1 + p)(x + h) (x) + p(h) Vỡ p 0, ta cú (x + h) (x) Cỏc chng minh cho bt ng thc ngc l tng t Chỳ ý 3.1.1 Cho pi = (i = 1, , n) iu kin u tiờn (3.2) l tha Do vy ta cú th rỳt c bt ng thc Jensen t nh lý 3.1.1 Ta núi rng f (x)/(x x0 ) l mt hm gim (tng) nu 39 Footer Page 40 of 258 Header Page 41 of 258 Lun thc s x1 < x2 , t (x) = x1 = x0 = x2 f (x1 ) f (x2 ) () x1 x0 x2 x0 f (x) v qi = pi xi vi i = 1, 2, , n T nh lý 3.1.1 ta cú x nh lý 3.1.2 ([6], p 24) Cho x v p l n-khụng õm cho (3.2) tha Nu f (x)/x l mt hm gim, ú n n f pi xi i=1 pi f (xi ) (3.3) i=1 Nu f (x)/x l mt hm tng , ú bt ng thc ngc (3.3) khụng i H qu 3.1.1 Nu cỏc iu kin ca nh lý 3.1.2 tha v x1 x2 xn > ( nu f c nh ngha ti 0), thỡ f (x1 x2 xn ) f (x1 ) f (x2 ) f (xn ) (3.4) nh lý 3.1.3 (Vasic, Pecaric, [6], p 152) Cho p l mt n b s khụng õm v x l mt n-thc cho n (xi x0 ) n pk xk xi vi i = 1, , n pk xk = x0 k=1 (3.5) k=1 Nu (f (x) f (x0 ))/(x x0 ) l mt hm tng, thỡ n n pk f (xk ) Af n pk x k k=1 k=1 pk f (x0 ) +B (3.6) k=1 ỳng, õy n pk (xk x0 ) / A= n n k=1 n pk xk x0 , B = k=1 pk xk x0 pk xk / k=1 k=1 (3.7) Chng minh õy l mt h qu n gin ca mt kt lun ó c a n bng cỏch cho mt hai hoc m = x0 v M = n pi xi hoc m = i=1 pi xi i=1 v M = x0 Vn Dng Footer Page 41 of 258 40 K18 Toỏn Gii Tớch Header Page 42 of 258 Lun thc s nh lý 3.1.4 Cho f (x)/x l mt hm tng (a) Nu < x1 xn v nu tn ti m ( n) cho P P P m 1, P m+1 = P n = 0, k pi , P k = Pn Pk1 (k = 2, , n) v P = Pn thỡ (3.3) tn ti vi Pk = i=1 m ( n) cho P P P m 1, P m+1 = P n = 0, thỡ bt ng thc ngc li ca (3.3) cng ỳng, tc l n n pi f (xi ) f ( i=1 pi xi ) i=1 (b) Cho x1 xm xm+1 xn v f (0) = Khi ú bt ng thc (3.6) ỳng nu hoc l (i) tn ti mt j , j m + 1, cho P1 = = Pj+1 Pj Pm , P m+1 = P n = 0, hoc (ii) tn ti mt k , m k n, cho P m+1 P k 1, P k+1 = P n = P1 = = Pm = n n pi f (xi ) f Bt ng thc i=1 pi xi ỳng nu tn ti cỏc s nguyờn j i=1 v k , j m + 1, m k n, cho P1 = = Pj1 = 0, P m+1 P k 1, 3.2 Pj Pm 0, P m+1 = P n = Bt ng thc cho cỏc hm li nh lý 3.2.1 Cho f l mt hm li trờn [0, a) Nu cỏc iu kin ca nh lý 3.1.4 c tha món, ú: n n f pi xi i=1 n pi f (xi ) + i=1 pi f (0) (3.8) i=1 Chng minh Hm s f (x) f (0) tha cỏc iu kin ca nh lý 3.1.2 Vn Dng Footer Page 42 of 258 41 K18 Toỏn Gii Tớch Header Page 43 of 258 Lun thc s (a) Cho pi = (i = 1, n).Khi y (3.8) tr thnh Chỳ ý 3.2.1 n n f xi f (xi ) + (1 n)f (0) i=1 (3.9) i=1 Bt ng thc ny c gi l bt ng thc Pekovic cho cỏc hm li (Xem [6], p.154) (b) Vasivic ([6], trang 155) ó cho mt suy rng ca (3.8): n pk f (xk ) rf k=1 r n n r pk x k k=1 pk f (0), (3.10) k=1 vi xk [0, a) vi k = 1, , n v n pk xk [0, a) Vi cỏc iu kin l r k=1 pk (k = 1, , n) v n1 n2 pk x k = k=1 n pk xk = = k=n1 pk x k k=nr1 Vi pk = (k = 1, , n), chỳng ta thu c mt bt ng thc ca Marshall, Ola, Proschen, 1967 T ú ta cú mt trng hp c bit sau n n n |ak a|s k=1 s1 s n |ak a| , k=1 n ak , ak v s vi a = (1/n) k=1 Hn na, cỏc iu kin cú th thay bi xi r n pk xk vi i = 1, , n (3.11) k=1 B 3.2.1 Nu f : I R l mt hm li, x l mt n s thc n iu cho xi I (i = 1, , n) v p l n b thc cho Pk Pn (k = 1, , n), Pn > (3.12) c tha món, ú f Vn Dng Footer Page 43 of 258 Pn n pi xi i=1 Pn 42 n pi f (xi ) (3.13) i=1 K18 Toỏn Gii Tớch Header Page 44 of 258 Lun thc s c nh Nu f l li ngt, ú bt ng thc (3.13) l ngt nu khụng thỡ x1 = x2 = = xn Chng minh Mt hm li f cú mt ng thuc giỏ vi mi c I , vớ d, vi mi z v c ta cú f (z) f (c) (z c) (3.14) c nh vi mt vi Tng t ta cú f (z)f (y) (zy) vi z y c v f (z)f (y) (zy) vi y z c, (3.15) m l hng s tha (3.15) Cho x v p tha iu kin ca B 3.2.1 Nu ta cho x = (1/Pn ) ni=1 pi xi , P j = Pn Pj1 (j = 2, , n), v Pi = Pn , ú vi x gim dn ta cú n Pn (x1 x) n (xj1 xj )P j 0; pi (x1 xi ) = i=1 j=2 v xn x x1 Chỳng ta cú th d dng ch rng trng hp x = x1 (hoc xn ) bt ng thc (3.13) tr thnh Do vy ta cn xem xột nht trng hp xn < x < x1 Tn ti m cho x {xm1 , xm }, v c = x T ú suy rng n n f pi x i pi f (xi ) Pn i=1 Pn i=1 m1 Pm Pi = ((xi xi+1 ) f (xi ) + f (xi+1 )) + ((xm x) f (xm ) + f (x)) Pn Pn i=1 P m+1 +(f (x) f (xm+1 ) (x xm+1 )) Pn n1 + (f (xi ) f (xi+1 (xi xi+1 )) i=m+1 P i+1 Pn (3.16) S dng (3.15) v (3.16) ta chng minh c (3.12) nh lý 3.2.2 Cho x1 xs xs+1 xn (s {0, 1, , n}), xi I (1 i n; I ) v p l b n s thc (a) Bt ng thc (3.8), vớ d, n n pi f (xi ) f i=1 Vn Dng Footer Page 44 of 258 n pi xi i=1 pi f (0) + (3.17) i=1 43 K18 Toỏn Gii Tớch Header Page 45 of 258 Lun thc s tha vi mi hm li f : I R v ch Pk vi k s v P k vi s + k n (b) Cho n i=1 pi xi I Khi ú bt ng thc n n pi f (xi ) f i=1 (3.18) n pi xi i=1 pi f (0) + (3.19) i=1 tha vi mi hm li f : I R v ch tn ti mt m s cho Pi vi i < m, Pi vi m i s, v P i vi i s + 1, (3.20) hoc tn ti mt m s cho pi vi i s, P i vi s + i m, v P i vi i < m (3.21) Chng minh a) Gi s B 3.2.1 ỳng cho n + vi xi = xi va pi = pi (1 i n + 1) Bng phộp th xi = xi v pi = pi cho i m; xm+1 = pm+1 = Pm ; xi = xi1 v pi = pi1 cho m + i n + 1; Ta thu c iu cn chng minh b)Hn ch tng quan tng quỏt, ta cú th gi s rng Pn = Khi ú (3.18) tr thnh Pk Pn vi k s v P k Pn vi s + k n, ngha l Pk 0, P k1 vi k s v P k 0, Pk1 vi s + k n, ngha l Pk vi k n v P k vi k n, tc l (3.17) c tha Tng t , cho m s, (3.20) tr thnh Pi vi i < m, Pi Pn vi m i s v P i vi i s + 1, ngha l Pi vi i < m, P i1 vi m i s v P i vi i s + 1, ngha l Pi vi i < m v P i vi i > m Bng lý lun tng t cho m s (3.21) tr thnh Vn Dng Footer Page 45 of 258 44 K18 Toỏn Gii Tớch Header Page 46 of 258 Lun thc s Pi vi i s, P i Pn vi s + i m v P i vi i < m ngha l Pi vi i s, P i1 vi s + i m v P i vi i > m, ngha l Pi vi i < m v P i vi i > m Ta li c iu kin ca 3.3 Do ú ỏp dng nh lý 3.2.2, ta c b 3.2.1 v 3.2.2 c chng minh I Gi s rng I , v cho I = [a, b] v f : I R l mt hm li trờn [a, b], ú F (t) = f (t + (a + b/2)) l mt hm li trờn [(b a)/2, (b a)/2] Do vy trng hp ny Pn = 1, vỡ (3.17) (v (3.19)) ta cú n n pi ti ) () F( pi F (ti ), i=1 i=1 Ngha l n f pi i=1 a+b ti + n () p i f ti + i=1 a+b , hay n f n p i xi () i=1 pi f (xi ), i=1 ti ú chỳng ta cú th s dng ti = xi (a + b)/2 vi xi [a, b] v i n Ta thu c iu cn phi chng minh Vn Dng Footer Page 46 of 258 45 K18 Toỏn Gii Tớch Header Page 47 of 258 Lun thc s Kt lun Gii tớch li núi chung v c trng ca hm li mt bin qua bt ng thc kiu Hermite-Hadmanard núi riờng l i tng nghiờn cu ca toỏn hc v lụi cun s quan tõm ca nhiu nh nghiờn cu Lun ó gii thiu, h thng húa, chng minh mt s c trng ca hm li mt bin qua bt ng thc Hermite-Hadamard Qua quỏ trỡnh lm lun tụi ó c bit n cỏc c trng ca hm li mt bin qua bt ng thc Hermite-Hadamard m t trc ti gi tụi cha bit Qua õy tụi thy kin thc ca mỡnh v bt ng thc HermiteHadamard cú rt nhiu ng dng toỏn ph thụng m tụi ang hc v ging dy c trng ca hm li mt bin qua bt ng thc Hermite-Hadamrd l lý thỳ v sõu rng, ũi hi thi gian v s tỡm tũi, sõu hn na Vn Dng Footer Page 47 of 258 46 K18 Toỏn Gii Tớch Header Page 48 of 258 Ti liu tham kho [1] Hong Th Qunh Liờn, Lun Cao hc, i hc Thỏi Nguyờn, 2016 [2] Hunh Th Phựng, C s gii tớch li, NXB Giỏo dc, 2012 [3] Pietro Cerone, Sever S Dragomir, Mathematical Inequalities: A perspective, 2011, CRS Press, Taylor and Francis Group, LLC, USA [4] Sever S Dragomir, Charles E M Pearce, Selected Topics on HermiteHadamard Inequalities and Applications, RGMIA Monographs, Victoria University, 2000 [5] G H Hardy, J E Littlewood, G Polya, Inequalities, Cambridge University Press, Second Edition, 1988 Bn dch ting vit, Nguyn Khc Lõn, Nguyn Hu Ngh, Nguyn Duy Tin, Cỏc bt ng thc NXB i hc Quc gia H Ni, 2002 [6] J Pecaric, F Proschan and Y L Tong, Convex Functions,Partial Orderings and Statistical Applications, Academic Press, Inc., 1992 [7] Hoang Tuy, Convex Analysis and Global Optimization, In Serie Nonconvex Optimization and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998 [8] L Fejer, Uber die Fourierreihen, II, Math Naturwiss, Anz Ungar Akad Wiss, 24 (1906), 369-390 (In Hungarian) [9] J Hadamard, Rộsolution dune question relative aux dộterminants, Bull des Sciences math (2), 17 (1893), 240-248 [10] Hermite,Sur deux limitesdune intộgrale dộfini, Mathesis, 3(1883) [11] J L W V Jensen, Sur les fonctions convexes et les inộgalitộs entre les valeurs moyennes, Acta Math., 30 (1906), 175-193 47 Footer Page 48 of 258 ... sách báo bất đẳng thức dạng HermiteHadamard đặc trưng hàm lồi qua bất đẳng thức Hermite -Hadamard - Tổng hợp, phân tích, hệ thống kiến thức đặc trưng hàm lồi qua bất đẳng thức Hermite -Hadamard. .. lồi qua bất đẳng thức Hermite -Hadamard Mục đích nghiên cứu Nghiên cứu đặc trưng hàm lồi qua bất đẳng thức Hermite -Hadamard Nhiệm vụ nghiên cứu Trình bày chứng minh đặc trưng hàm lồi qua bất đẳng. .. đầu Một số đặc trưng hàm lồi 1.1 Một số đặc trưng hình học hàm lồi 1.2 Một số đặc trưng hàm lồi khả vi 1.3 Hàm lồi không khả vi 7 11 14 Đặc trưng hàm lồi