ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ĐỖ THỊ HUỆ MỘT SỐ LỚP HÀM DẠNG ĐẶC BIỆT VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên - Năm 2014 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ĐỖ THỊ HUỆ Chuyên ngành: PHƯƠNG PHÁP TOÁN SƠ CẤP Mã số : 60.46.01.13 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC TS: HOÀNG VĂN HÙNG Thái Nguyên - Năm 2014 Mục lục Lời nói đầu 3 1 HÀM LỒI VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN 5 1.1 HÀM LỒI . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.1.1 Định nghĩa . . . . . . . . . . . . . . . . . . . . . . . 5 1.1.2 Tính chất của hàm lồi và hàm lõm . . . . . . . . . . . 6 1.2 BẤT ĐẲNG THỨC JENSEN . . . . . . . . . . . . . . . . . . 9 1.2.1 Định lý (J.Jensen) . . . . . . . . . . . . . . . . . . . . 9 1.2.2 Bổ đề . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.3 Định lý (J.Jensen) . . . . . . . . . . . . . . . . . . . . 11 1.3 MỘT SỐ HỆ QUẢ CỦA CÁC BẤT ĐẲNG THỨC JENSEN 13 1.3.1 Định lý: . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.3.2 Định lý: . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.3.3 Ví dụ áp dụng: . . . . . . . . . . . . . . . . . . . . . . 13 1.3.4 Bất đẳng thức Nesbitt suy rộng . . . . . . . . . . . . 18 1.3.5 Bất đẳng thức Cauchy . . . . . . . . . . . . . . . . . 19 1.3.6 Bất đẳng thức Holder . . . . . . . . . . . . . . . . . . 19 1.3.7 Bất đẳng thức Holder dạng tích phân . . . . . . . . . 20 1.3.8 Hệ quả: . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.3.9 Bất đẳng thức Cauchy dạng tích phân . . . . . . . . . 22 1.4 BẤT ĐẲNG THỨC KARAMATA . . . . . . . . . . . . . . . 22 1.4.1 So sánh hai dãy giảm . . . . . . . . . . . . . . . . . . 22 1.4.2 Bất đẳng thức Karamata . . . . . . . . . . . . . . . . 22 1.4.3 Một số áp dụng của bất đẳng thức Karamata . . . . 24 1 2 HÀM LỒI NHIỀU BIẾN VÀ CÁC HÀM NỬA CỘNG TÍNH,THUẦN NHẤT DƯƠNG 29 2.1 TẬP LỒI VÀ NÓN LỒI TRONG KHÔNG GIAN VÉC TƠ - HÀM LỒI NHIỀU BIẾN . . . . . . . . . . . . . . . . . . . . 29 2.1.1 Định nghĩa . . . . . . . . . . . . . . . . . . . . . . . 29 2.1.2 Hàm lồi n biến . . . . . . . . . . . . . . . . . . . . . . 30 2.2 CÁC HÀM NỬA CỘNG TÍNH VÀ CÁC HÀM THUẦN NHẤT DƯƠNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 2.2.1 Định nghĩa . . . . . . . . . . . . . . . . . . . . . . . 30 2.2.2 Mệnh đề: . . . . . . . . . . . . . . . . . . . . . . . . . 31 2.2.3 Mệnh đề: . . . . . . . . . . . . . . . . . . . . . . . . . 31 2.2.4 Mệnh đề: . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.2.5 Mệnh đề [N.H. Bingham and A.J. Ostaszewski] . . . . 33 2.2.6 Định lý [Janus Matkowski] . . . . . . . . . . . . . . . 34 2.2.7 Hệ quả . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.3 TÍNH CHẤT CỦA HÀM LỒI NHIỀU BIẾN . . . . . . . . . 36 2.3.1 Mệnh đề . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.3.2 Mệnh đề: . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.3.3 Mệnh đề: . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.3.4 Định lý: . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.3.5 Hệ quả: . . . . . . . . . . . . . . . . . . . . . . . . . . 38 2.4 MỘT SỐ ÁP DỤNG VÀO LÝ THUYẾT CÁC BẤT ĐẲNG THỨC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.4.1 Chứng minh khác của bất đẳng thức Minkowski . . . 39 2.4.2 Chứng minh khác của bất đẳng thức Minkowski ngược ( trường hợp 0 < p < 1) . . . . . . . . . . . . . . . . 40 2.4.3 Chứng minh khác của bất đẳng thức Holder. . . . . . 41 2.4.4 Hàm dưới cộng tính thuần nhất bậc k. . . . . . . . . . 42 2.4.5 Định lý: . . . . . . . . . . . . . . . . . . . . . . . . . 45 2.4.6 Định lý: . . . . . . . . . . . . . . . . . . . . . . . . . 45 2 LỜI NÓI ĐẦU Một số bất đẳng thức nổi tiếng như bất đẳng thức Cauchy, bất đẳng thức Jensen, bất đẳng thức Karamata, liên quan đến các hàm lồi và các hàm lõm. Một số các bất đẳng thức nổi tiếng khác như bất đẳng thức Mincowski, Holder, liên quan đến các hàm nửa cộng tính và thuần nhất dương. Điều này chứng tỏ nhiều bất đẳng thức quan trọng là hệ quả của các tính chất hàm số thuộc một lớp đặc biệt nào đó. Do đó nghiên cứu các tính chất của các hàm số có tính chất đặc biệt giúp phát hiện các bất đẳng thức mới và đôi khi là các cách chứng minh mới, đơn giản hơn các chứng minh đã biết. Bản luận văn “Một số lớp hàm dạng đặc biệt và các bất đẳng thức liên quan” gồm Lời nói đầu, hai chương, phần kết luận và Tài liệu tham khảo. Chương 1. HÀM LỒI VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN Chương này trình bày định nghĩa hàm lồi, hàm lõm, các tính chất quan trọng của hàm lồi, hàm lõm và cách chứng minh của một loạt các bất đẳng thức nổi tiếng dựa trên tính chất của các hàm này: bất đẳng thức Cauchy, bất đẳng thức Jensen(dạng dãy và dạng tích phân), bất đẳng thức Holder(dạng dãy và dạng tích phân), bất đẳng thức Karamata, và các hệ quả. Tác giả cũng trình bày chứng minh một loạt các bất đẳng thức khó trong chương trình toán sơ cấp dựa trên các bất đẳng thức nổi tiếng vừa kể trên. Một số trong các bất đẳng thức này, theo ý kiến chủ quan của tác giả, chỉ có thể chứng minh dựa trên lý thuyết hàm lồi (ví dụ bất đẳng thức Jensen dạng tích phân và một số các bất đẳng thức trong tam giác của mục 1.3.3). Chương 2. HÀM LỒI NHIỀU BIẾN VÀ CÁC HÀM NỬA CỘNG TÍNH, THUẦN NHẤT DƯƠNG Chương này xét các hàm lồi nhiều biến, các hàm nửa cộng tính, các hàm 3 thuần nhất dương và các bất đẳng thức liên quan. Tư liệu của chương này được tuyển chọn từ các tài liệu [N.H. Bingham and A.J. Ostaszewski], [Janus Matkowski], [H.V.Hùng và L.M.Tiến]. Các hàm dưới cộng tính và thuần nhất dương trên một nón lồi K với đỉnh tại không trong không gian R n là một lớp con của lớp các hàm lồi trên K và có nhiều tính chất khá đặc sắc. Tác giả trình bày một loạt các tính chất của hàm lồi nhiều biến, các hàm nửa cộng tính, thuần nhất dương, chứng minh một tổng quát hóa của một kết quả của Janus Matkowski trong bài báo [Janus Matkowski]. Dựa trên sự tổng quát hóa này tác giả đã đưa ra chứng minh ngắn của các bất đẳng thức Mincowski ( thuận và nghịch) trong trường hợp tổng quát và bất đẳng thức Holder. Trong chương này tác giả cũng chứng minh một số khẳng định mô tả đặc trưng của các hàm dưới cộng tính và k – thuần nhất trên một nón lồi K trong không gian véc tơ thực V và cho áp dụng của các khẳng định này dưới dạng một số bài toán chứng minh bất đẳng thức ( mệnh đề 2.4.4). Cuối cùng tác giả trình bày một mở rộng của một kết quả trong [H.V.Hùng và L.M.Tiến] (định lý 2.4.6) và cho 3 ví dụ minh họa. Bản luận văn này được hoàn thành dưới sự hướng dẫn của T.S Hoàng Văn Hùng, Viện Khoa học Cơ bản - Đại học Hàng Hải Việt Nam. Tác giả xin bày tỏ lòng biết ơn chân thành tới thày hướng dẫn về các ý tưởng của bản luận văn cũng như sự tận tụy trong công việc hướng dẫn. Tác giả cũng xin chân thành cảm ơn các thày cô trong khoa Toán –Tin, Đại học Khoa học - Đại học Thái Nguyên đã tạo các điều kiện thuận lợi để tác giả có thể hoàn thành bản luận văn này. Thái Nguyên, ngày 10 tháng 5 năm 2014 Người viết Đỗ Thị Huệ 4 Chương 1 HÀM LỒI VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN Chương này trình bày khái niệm hàm lồi, các tính chất của hàm lồi và các bất đẳng thức liên quan. Tư liệu của chương này được tham khảo từ các tài liệu [Hardy, Littllewood,Polya] và [Zoran K. and others] 1.1 HÀM LỒI 1.1.1 Định nghĩa Hàm một biến f(x) gọi là lồi trên khoảng số thực (a;b) nếu với mọi cặp số thực z,t thuộc khoảng (a;b), mọi số thực λ ∈ (0; 1) ta luôn có bất đẳng thức: f(λz + (1 −λ)t) ≤ λf(z) + (1 −λ)f(t) (1.1) Hàm f(x) gọi là lõm trên khoảng (a;b) nếu -f(x) lồi trên (a;b), nói cách khác, f(x) lõm trên (a;b) nếu với mọi cặp số thực z,t thuộc khoảng (a;b), mọi số thực λ ∈ (0; 1) ta luôn có bất đẳng thức: f(λz + (1 −λ)t) ≥ λf(z) + (1 −λ)f(t) (1.2) Nếu trong (1.1) và (1.2) khi z, t phân biệt ta có dấu bất đẳng thức thực sự thì hàm f(x) gọi là lồi chặt ( tương ứng: lõm chặt) trên (a;b). Tính lồi, lõm của hàm f(x) trên một khoảng đóng hoặc nửa đóng được định nghĩa tương tự. 5 1.1.2 Tính chất của hàm lồi và hàm lõm Tính chất 1. Nếu f(x) lồi trên khoảng (a;b) thì với 3 số thực phân biệt x, z, t thuộc khoảng (a;b) thoả mãn t < z ta luôn có: f(t) − f(x) t − x ≤ f(z) −f(x) z − x (1.3) Chứng minh. Giả sử a < t < x < z < b. Đặt : λ = x − t z − t → 1 −λ = z − x z − t Vì f(x) lồi trên (a;b) ta có: f(λz + (1 −λ)t) ≤ λf(z) + (1 −λ)f(t) ↔ f(x) ≤ λf(z) + (1 −λ)f(t) ↔ λ(f(x) −f(z)) ≤ (1 −λ)(f(t) −f(x)) ↔ x − t z − t (f(x) − f(z)) ≤ z − x z − t (f(t) − f(x)) ↔ f(t) − f(x) t − x ≤ f(z) −f(x) z − x Bây giờ giả sử a < x < t < z < b. Áp dụng điều vừa chứng minh ta có: f(x) − f(t) x − t ≤ f(z) −f(t) z − t = f(z) −f(x) + f(x) − f(t) z − t ↔ (z − x + x −t)(f(x) − f(t)) ≥ (x −t)(f(z) − f(x) + f(x) − f(t)) ↔ (z − x)(f(x) −f(t)) ≥ (x −t)(f(z) −f(x)) ↔ f(t) − f(x) t − x ≤ f(z) −f(x) z − x Cuối cùng, nếu a < t < z < x < b, áp dụng điều vừa chứng minh ta có: f(z) −f(t) z − t ≤ f(x) − f(t) x − t ↔ (x −t)(f(z) −f(x) + f(x) − f(t)) ≤ (z − x + x −t)(f(x) −f(t)) ↔ (x −t)(f(z) −f(x)) ≤ (z − x)(f(x) −f(t)) ↔ f(t) − f(x) t − x ≤ f(z) −f(x) z − x Vậy tính chất 1 được chứng minh hoàn toàn. Nhận xét : Nếu f(x) là lồi chặt thì trong bất đẳng thức (1.3) dấu “ ≤” được thay bằng dấu “<” vì theo cách đặt ta có 0 < λ < 1 . Tính chất 2. Hàm f(x) lồi trên khoảng (a;b) liên tục và có đạo hàm một phía tại mọi điểm x thuộc khoảng (a;b), đồng thời f  − (x) ≤ f  + (x) với mọi x ∈ (a;b). Nếu f(x) xác định trên khoảng đóng [a;b], lồi trên khoảng mở (a;b), liên tục phải tại a, liên tục trái tại b thì f(x) lồi trên khoảng đóng [a;b]. 6 (Các ký hiệu f  − (x), f  + (x)tương ứng chỉ đạo hàm trái và đạo hàm phải của hàm f tại x) Chứng minh. Giả sử x là số tuỳ ý thuộc khoảng (a;b) và t < x < z. Theo tính chất 1 ta có: f(t) − f(x) t − x ≤ f(z) −f(x) z − x ↔ (z − x)(f(x) −f(t)) ≤ (x −t)(f(z) −f(x)) (1.4) Cố định t và cho z → x + trong (1.4) ta được: lim z→x + inf f(z) ≥ f(x) (1.5) Bây giờ giả sử x < t < z. Lại dùng tính chất 1 ta có: f(t) − f(x) t − x ≤ f(z) −f(x) z − x ↔ (z − x)(f(t) −f(x)) ≤ (t −x)(f(z) −f(x)) (1.6) Trong (1.6) cố định z và cho t → x + ta được: lim t→x + s up f(t) ≤ f(x) (1.7) Từ (1.5) và (1.7) suy ra: lim z→x + f(z) = f(x) Vậy f liên tục phải tại x. Chứng minh tương tự ta cũng nhận được f liên tục trái tại x. Vậy f liên tục tại x tuỳ ý thuộc khoảng (a;b). Từ tính chất 1 ta suy ra đại lượng ∆ f (x, z) = f(z) −f(x) z − x là hàm của hai biến x, z, được xác định khi x, z phân biệt và thuộc khoảng (a,b), có tính chất đối xứng ∆ f (x, z) = ∆ f (z, x). Giả sử t < x < z, theo (1.3) đại lượng ∆ f (x, z) = f(z) −f(x) z − x không giảm theo z trên (x; b) và bị chặn dưới bởi vế trái của (1.3). Do đó tồn tại giới hạn hữu hạn: f(t) − f(x) t − x ≤ lim z→x + f(z) −f(x) z − x = f +  (x) (1.8) Đại lượng ∆ f (t, x) = f(t) − f(x) t − x là hàm không giảm theo t trên (a;x) và bị chặn trên bởi vế phải của (1.8), do đó tồn tại giới hạn: lim t→x − f(t) − f(x) t − x = f −  (x) ≤ lim z→x + f(z) −f(x) z − x = f +  (x) 7 Vậy phần đầu của tính chất 2 được chứng minh. Bây giờ giả sử f(x) lồi trên khoảng mở (a;b) và z = a, t∈ (a; b). Khi đó với z’ tùy ý ∈ (a; b) và λ ∈ (0; 1) ta có : f(λz  + (1 − λ)t) ≤ λf(z  ) + (1 − λ)f(t) Cho z’ dần tới a + và dùng tính liên tục của f(x) trên (a;b), tính liên tục phải của f(x) tại a từ bất đẳng thức trên ta nhận được bất đẳng thức: f(λa + (1 − λ)t) ≤ λf(a) + (1 − λ)f(t) Vậy bất đẳng thức (1.1) trong định nghĩa 1.1.1 được thỏa mãn khi z = a, t ∈ (a; b). Hoàn toàn tương tự ta có thể chứng minh được bất đẳng thức (1.1) được thỏa mãn khi z ∈ (a; b), t = b hoặc z =a, t = b. Vậy f(x) lồi trên khoảng đóng [a;b]. Tính chất 3. Nếu f(x) có đạo hàm và f ’(x) không giảm trên (a;b) thì f(x) lồi trên (a;b). Nếu f(x) có đạo hàm cấp hai f ”(x) ≥ 0 trên (a;b) thì f(x) lồi trên (a;b). Nếu f ’(x) không tăng trên (a;b) thì f(x) lõm trên (a;b). Nếu f(x) có đạo hàm cấp hai f ”(x) ≤ 0 trên (a;b) thì f(x) lõm trên (a;b). Chứng minh. Vì điều kiện f ”(x) ≥ 0 kéo theo f ’(x) không giảm trên (a;b) nên chỉ cần chứng minh khẳng định thứ nhất. Giả sử t < z là hai số thực tuỳ ý thuộc khoảng (a;b) và 0 < λ < 1. Đặt : x = λz + (1 − λ)t → t < x < z. Áp dụng định lý Lagrange cho hàm f trên các khoảng (t;x) và (x;z) ta được: (1 − λ)(f(x) − f(t)) + λ(f(x) − f(z)) = (1 −λ)f  (α)(x −t) + λf  (β)(x −z) (1.9) Trong đó t < α < x < β < z. Vì x −t = λ(z − t), z − x = (1 − λ)(z − t), từ (1.9) ta có: (1 − λ)(f(x) − f(t)) + λ(f(x) − f(z)) = λ(1 −λ)(z −t)(f  (α) −f  (β)) ≤ 0 (1.10) Bất đẳng thức (1.10) tương đương với bất đẳng thức: f(λz + (1 −λ)t) ≤ λf(z) + (1 −λ)f(t) 8 [...]... là các số dương Khi đó bất đẳng thức (1.42) tương đương với bất Giải Từ giả thiết của bài toán suy ra có thể đặt: x = đẳng thức (1.41) Do đó từ sự đúng đắn của bất đẳng thức (1.41) suy ra sự đúng đắn của bất đẳng thức (1.42) 28 Chương 2 HÀM LỒI NHIỀU BIẾN VÀ CÁC HÀM NỬA CỘNG TÍNH,THUẦN NHẤT DƯƠNG Chương này xét các hàm lồi nhiều biến, các hàm nửa cộng tính, các hàm thuần nhất dương và các bất đẳng thức. .. i=1 Bất đẳng thức cuối cùng đúng do dãy (ci ) là dãy giảm và Sk ≥ Tk (∀k ∈ {1, , n − 1}), Sn = Tn Nhưng từ bất đẳng thức cuối cùng ta suy ra bất đẳng thức (1.34) Nếu f là hàm lõm thì –f là hàm lồi, do đó từ bất đẳng thức (1.34) ta suy ra bất đẳng thức (1.35) 23 1.4.3 Một số áp dụng của bất đẳng thức Karamata (xi )n , 1 Bổ đề: Cho hai dãy giảm (yi )n 1 n n yi Nếu với xi = thỏa mãn i=1 i=1 mọi số nguyên... i=1 Bất đẳng thức (1.14) đúng với phân hoạch P bất kỳ của đoạn [α;β] nên cho δ(P ) → 0 trong (1.14) và dùng bổ đề 1.2.2 ( chú ý rằng hàm f(h(x)) liên tục trên[α; β] ) ta được: β β h(x)g(x)dx) ≤ f( α f (h(x))g(x)dx α Nếu f là hàm lõm thì – f là hàm lồi, áp dụng bất đẳng thức vừa chứng minh cho hàm –f ta được bất đẳng thức β β h(x)g(x)dx) ≥ f( α f (h(x))g(x)dx α 12 1.3 1.3.1 MỘT SỐ HỆ QUẢ CỦA CÁC BẤT ĐẲNG... giác, chứng minh một số trong chúng không phải là điều dễ dàng nếu chỉ dùng các biến đổi lượng giác ( không dùng lý thuyết các hàm lồi, lõm) Các định lý 1.3.1, 1.3.2 cũng cho phép các thày cô giáo dạy toán sáng tạo ra các bất đẳng thức mới trong tam giác cũng như nhiều bất đẳng thức khác trong đại số, giải tích 1.3.4 Bất đẳng thức Nesbitt suy rộng Định lý: Cho a, b, c, M, N là các số dương tùy ý Khi... xét : Bất đẳng thức Holder rõ ràng vẫn đúng nếu ai , bi là các số không âm và có thể phát biểu lại như sau: Cho 2n số thực ai , bi ( i = 1 n) 1 1 và 2 số dương p,q thoả mãn + = 1 Khi đó ta có: p q n n n p 1/p |ai bi | ≤ ( i=1 |ai | ) |bi |q )1/q ( i=1 i=1 Khi p = q = 2 từ bất đẳng thức Holder ta thu được bất đẳng thức CauchySchwarz: n n |ai bi | ≤ i=1 1.3.7 n 2 |bi |2 ) |ai | )( ( i=1 i=1 Bất đẳng thức. .. 0 thì với số ε > 0 tuỳ ý, áp dụng điều vừa chứng minh cho các hàm φ (x) + ε> 0, ψ(x) + ε > 0 với mọi x∈ [α;β] ta được bất đẳng thức: β β (φ(x) + ε)p dx)1/p ( (φ(x) + ε)(ψ(x) + ε)dx ≤ ( α β α (ψ(x) + ε)q )1/q α Cho ε → 0+ trong bất đẳng thức trên ta được bất đẳng thức cần chứng minh cho trường hợp φ(x) ≥ 0, ψ (x) ≥ 0 ( rõ ràng các hàm dưới dấu tích phân là các hàm liên tục của hai biến x và ε trên hình... k = 1 ta có: a + b + c ≤ 3 3R √ √ √ √ 1 Khi k = ta có: a + b + c ≤ 35/4 R 2 Chứng minh Khẳng định của các bất đẳng thức trên suy từ các bất đẳng 1+ thức (1.18), (1.19) và định lý hàm số sin 15 7) Bất đẳng thức (1.17) đúng với mọi k > 0 Chứng minh Chỉ cần chứng minh (1.17) cho 0 < k < 1 Từ bất đẳng thức Cauchy dễ dàng suy ra: (ak + bk + ck )( 1 1 1 + k + k) ≥ 9 ak b c (1.21) k Khi 0 < k < 1 theo (1.20)... Vậy khẳng định của định lý đối với hàm lồi được chứng minh Nếu f là hàm lõm trên (a;b) thì –f là hàm lồi, áp dụng bất đẳng thức vừa chứng minh cho hàm –f ta thu được khẳng định đối với hàm lõm Nhận xét: Khẳng định của định lý 1.2.1 rõ ràng vẫn đúng nếu một vài λi = 0 1.2.2 Bổ đề Giả sử h(x),g(x) là các hàm liên tục trên khoảng đóng [α;β] và P: α = x0 < x1 < < xn = β là một phân hoạch tuỳ ý của khoảng... một số các i nào đó ta có thể loại các số xi và yi này ra khỏi các dãy tương ứng và rõ ràng các dãy mới nhận được vẫn là các dãy giảm, thoả mãn (xi ) (yi ) và nếu (1.34) đã đúng với các dãy mới thì nó cũng sẽ đúng với các dãy ban đầu Đặt: f (xi ) − f (yi ) ci = , Sk = xi − yi k k xi , Tk = i=1 yi i=1 Khi đó dãy (ci ) là dãy giảm : ci ≥ ci+1 Thực vậy, nếu xi+1 = yi , do các dãy (xi )n , (yi )n là các. .. Hệ quả: Khi p = q = 2 ta có bất đẳng thức Cauchy – Schwarz dạng tích phân: β β |φ(x)ψ(x)|dx ≤ ( α 1 |φ(x)|2 dx) 2 ( β α α 21 1 |ψ(x)|2 ) 2 1.3.9 Bất đẳng thức Cauchy dạng tích phân Định lý: Nếu h(x), g(x) là các hàm liên tục trên [α;β] thoả mãn : β h(x) > 0, g(x) ≥ 0 trên [α;β] và g(x)dx = 1 thì: α β β h(x)g(x)dx ≥ eα g(x) ln h(x)dx (1.33) α Chứng minh Hàm f(x) = lnx là hàm lõm trên (0; +∞) nên áp . ĐẦU Một số bất đẳng thức nổi tiếng như bất đẳng thức Cauchy, bất đẳng thức Jensen, bất đẳng thức Karamata, liên quan đến các hàm lồi và các hàm lõm. Một số các bất đẳng thức nổi tiếng khác như bất. nghĩa hàm lồi, hàm lõm, các tính chất quan trọng của hàm lồi, hàm lõm và cách chứng minh của một loạt các bất đẳng thức nổi tiếng dựa trên tính chất của các hàm này: bất đẳng thức Cauchy, bất đẳng. bất đẳng thức Jensen (dạng dãy và dạng tích phân), bất đẳng thức Holder (dạng dãy và dạng tích phân), bất đẳng thức Karamata, và các hệ quả. Tác giả cũng trình bày chứng minh một loạt các bất đẳng thức