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ĩ)

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ĩ)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ĩ)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ĩ)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ĩ)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ĩ)

ĐẠ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 HÀM LỒI VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN 1.1 1.2 1.3 1.4 HÀM LỒI 1.1.1 Định nghĩa 1.1.2 Tính chất hàm lồi hàm lõm BẤT ĐẲNG THỨC JENSEN 1.2.1 Định lý (J.Jensen) 1.2.2 Bổ đề 10 1.2.3 Định lý (J.Jensen) 11 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 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 bất đẳng thức Karamata 24 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 2.1 2.2 2.3 2.4 29 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 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ệ 35 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 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 bất đẳng thức Minkowski 39 2.4.2 Chứng minh khác bất đẳng thức Minkowski ngược ( trường hợp < p < 1) 40 2.4.3 Chứng minh khác bất đẳng thức Holder 41 2.4.4 Hàm cộng tính bậc k 42 2.4.5 Định lý: 45 2.4.6 Định lý: 45 LỜI NÓI ĐẦU Một số bất đẳng thức tiếng bất đẳng thức Cauchy, bất đẳng thức Jensen, bất đẳng thức Karamata, liên quan đến hàm lồi hàm lõm Một số bất đẳng thức tiếng khác bất đẳng thức Mincowski, Holder, liên quan đến hàm nửa cộng tính dương Điều chứng tỏ nhiều bất đẳng thức quan trọng hệ tính chất hàm số thuộc lớp đặc biệt Do nghiên cứu tính chất hàm số có tính chất đặc biệt giúp phát bất đẳng thức cách chứng minh mới, đơn giản chứng minh biết Bản luận văn “Một số lớp hàm dạng đặc biệt bất đẳng thức liên quan” gồm Lời nói đầu, hai chương, phần kết luận Tài liệu tham khảo Chương HÀM LỒI VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN Chương trình bày định nghĩa hàm lồi, hàm lõm, tính chất quan trọng hàm lồi, hàm lõm cách chứng minh loạt bất đẳng thức tiếng dựa tính chất hàm này: bất đẳng thức Cauchy, bất đẳng thức Jensen(dạng dãy dạng tích phân), bất đẳng thức Holder(dạng dãy dạng tích phân), bất đẳng thức Karamata, hệ Tác giả trình bày chứng minh loạt bất đẳng thức khó chương trình tốn sơ cấp dựa bất đẳng thức tiếng vừa kể Một số bất đẳng thức này, theo ý kiến chủ quan tác giả, chứng minh dựa lý thuyết hàm lồi (ví dụ bất đẳng thức Jensen dạng tích phân số bất đẳng thức tam giác mục 1.3.3) Chương 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 xét hàm lồi nhiều biến, hàm nửa cộng tính, hàm dương bất đẳng thức liên quan Tư liệu chương tuyển chọn từ tài liệu [N.H Bingham and A.J Ostaszewski], [Janus Matkowski], [H.V.Hùng L.M.Tiến] Các hàm cộng tính dương nón lồi K với đỉnh khơng không gian Rn lớp lớp hàm lồi K có nhiều tính chất đặc sắc Tác giả trình bày loạt tính chất hàm lồi nhiều biến, hàm nửa cộng tính, dương, chứng minh tổng quát hóa kết Janus Matkowski báo [Janus Matkowski] Dựa tổng quát hóa tác giả đưa chứng minh ngắn bất đẳng thức Mincowski ( thuận nghịch) trường hợp tổng quát bất đẳng thức Holder Trong chương tác giả chứng minh số khẳng định mơ tả đặc trưng hàm cộng tính k – nón lồi K không gian véc tơ thực V cho áp dụng khẳng định dạng số toán chứng minh bất đẳng thức ( mệnh đề 2.4.4) Cuối tác giả trình bày mở rộng kết [H.V.Hùng L.M.Tiến] (định lý 2.4.6) cho ví dụ minh họa Bản luận văn hoàn thành hướng dẫn T.S Hoàng Văn Hùng, Viện Khoa học Cơ - Đạ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 ý tưởng luận văn tận tụy công việc hướng dẫn Tác giả xin chân thành cảm ơn thày cô khoa Toán –Tin, Đại học Khoa học - Đại học Thái Nguyên tạo điều kiện thuận lợi để tác giả hồn thành luận văn Thái Nguyên, ngày 10 tháng năm 2014 Người viết Đỗ Thị Huệ Chương HÀM LỒI VÀ CÁC BẤT ĐẲNG THỨC LIÊN QUAN Chương trình bày khái niệm hàm lồi, tính chất hàm lồi bất đẳng thức liên quan Tư liệu chương tham khảo từ tài liệu [Hardy, Littllewood,Polya] [Zoran K and others] 1.1 HÀM LỒI 1.1.1 Định nghĩa Hàm biến f(x) gọi lồi khoảng số thực (a;b) với cặp số thực z,t thuộc khoảng (a;b), số thực λ ∈ (0; 1) ta ln có bất đẳng thức: f (λz + (1 − λ)t) ≤ λf (z) + (1 − λ)f (t) (1.1) Hàm f(x) gọi lõm khoảng (a;b) -f(x) lồi (a;b), nói cách khác, f(x) lõm (a;b) với cặp số thực z,t thuộc khoảng (a;b), số thực λ ∈ (0; 1) ta có bất đẳng thức: f (λz + (1 − λ)t) ≥ λf (z) + (1 − λ)f (t) (1.2) Nếu (1.1) (1.2) z, t phân biệt ta có dấu bất đẳng thức thực hàm f(x) gọi lồi chặt ( tương ứng: lõm chặt) (a;b) Tính lồi, lõm hàm f(x) khoảng đóng nửa đóng định nghĩa tương tự 1.1.2 Tính chất hàm lồi hàm lõm Tính chất Nếu f(x) lồi khoảng (a;b) với số thực phân biệt x, z, t thuộc khoảng (a;b) thoả mãn t < z ta ln có: f(t) − f(x) f (z) − f (x) ≤ t−x z−x (1.3) Chứng minh Giả sử a < t < x < z < b Đặt : λ = x−t z−x →1−λ= z−t z−t Vì f(x) lồi (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)) z−x x−t ↔ (f (x) − f (z)) ≤ (f (t) − f (x)) z−t z−t f (t) − f (x) f (z) − f (x) ↔ ≤ t−x z−x Bây giả sử a < x < t < z < b Áp dụng điều vừa chứng minh ta có: f (x) − f (t) f (z) − f (t) f (z) − f (x) + f (x) − f (t) ≤ = x−t z−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) f (z) − f (x) ↔ ≤ t−x z−x Cuối cùng, a < t < z < x < b, áp dụng điều vừa chứng minh ta có: f (z) − f (t) f (x) − f (t) ≤ z−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) f (z) − f (x) ↔ ≤ t−x z−x Vậy tính chất chứng minh hồn tồn Nhận xét : Nếu f(x) lồi chặt bất đẳng thức (1.3) dấu “ ≤” thay dấu “