Luận văn: Các dạng mở rộng của Bất đẳng thức Minkowski và ứng dụng thực tiễn

Khám phá các dạng mở rộng của bất đẳng thức Minkowski và ứng dụng trong luận văn thạc sĩ khoa học, cung cấp kiến thức sâu sắc và thực tiễn.

• Trường học: Trường Đại Học Khoa Học Tự Nhiên
• Chuyên ngành: Toán Học
• Đề tài: Luận Văn Thạc Sĩ Khoa Học Các Dạng Mở Rộng Của Bất Đẳng Thức Minkowski Và Ứng Dụng
• Loại tài liệu: Luận Văn
• Năm xuất bản: 2023
• Địa điểm: Hồ Chí Minh

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• BẢNG KÍ HIỆU
• MỞ ĐẦU
• 1. Chương 1: Kiến thức chuẩn bị
• 1.1. Hàm lồi
• 1.2. Tích phân Lebesgue
• 1.3. Một số bất đẳng thức
• 1.3.1. Bất đẳng thức Jensen
• 1.3.2. Bất đẳng thức Cauchy
• 1.3.3. Định lý Fubini
• 1.3.4. Bất đẳng thức Holder
• 2. Chương 2: Bất đẳng thức Minkowski
• 2.1. Bất đẳng thức Minkowski
• 2.1.1. Bất đẳng thức Minkowski dạng thứ I
• 2.1.2. Bất đẳng thức Minkowski dạng thứ II
• 2.1.3. Bất đẳng thức Minkowski dạng tích phân
• 2.2. Một số dạng tổng quát của bất đẳng thức Minkowski
• 2.2.1. Bất đẳng thức Minkowski cho phiếm hàm dương tuyến tính
• 2.2.2. Bất đẳng thức Minkowski trong không gian véc tơ L^p
• 2.2.3. Bất đẳng thức Minkowski dạng tích phân cho hàm hai biến
• 2.3. Dạng đảo của bất đẳng thức Minkowski
• 2.3.1. Dạng tích phân đảo của bất đẳng thức Minkowski
• 3. Chương 3: Ứng dụng của bất đẳng thức Minkowski
• 3.1. Ứng dụng hệ quả của bất đẳng thức Minkowski
• 3.2. Ứng dụng bất đẳng thức Minkowski thứ II
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Khám phá luận văn thạc sĩ về bất đẳng thức Minkowski

Bất đẳng thức là một chuyên đề phức tạp và có ứng dụng phong phú trong toán học, liên quan đến nhiều lĩnh vực như Giải tích, Lượng giác, Hình học. Trong số đó, bất đẳng thức Minkowski nổi lên như một công cụ mạnh mẽ, được ứng dụng rộng rãi từ toán cao cấp đến sơ cấp. Luận văn thạc sĩ khoa học "Các dạng mở rộng của bất đẳng thức Minkowski và ứng dụng" của tác giả Trương Thị Nga tập trung hệ thống hóa kiến thức về bất đẳng thức này, từ các dạng cơ bản đến các dạng mở rộng phức tạp. Đề tài này không chỉ làm rõ lý thuyết mà còn cung cấp những ứng dụng thực tiễn, đặc biệt trong việc giải các bài toán phổ thông, thể hiện giá trị của một công trình nghiên cứu khoa học toán học chuyên sâu. Nội dung nghiên cứu được trình bày một cách logic, bắt đầu từ kiến thức chuẩn bị, đi sâu vào các dạng bất đẳng thức và kết thúc bằng các ứng dụng thực tế, tạo nên một tài liệu tham khảo toàn diện và hữu ích.

1.1. Nền tảng của bất đẳng thức Minkowski trong giải tích hàm

Bất đẳng thức Minkowski là một kết quả nền tảng trong lĩnh vực giải tích hàm, đặc biệt trong việc xây dựng các không gian định chuẩn. Nó khẳng định rằng các không gian Lp là không gian vector định chuẩn, một tính chất cốt lõi cho phép đo lường "khoảng cách" và "độ lớn" của các hàm số. Cụ thể, bất đẳng thức này chính là bất đẳng thức tam giác trong không gian Lp, được phát biểu là ||f + g||p ≤ ||f||p + ||g||p cho 1 ≤ p ≤ ∞. Tính chất này đảm bảo rằng tổng của hai hàm trong không gian Lp vẫn thuộc không gian đó, và chuẩn của tổng không vượt quá tổng các chuẩn. Luận văn đi sâu vào việc chứng minh tính chất này, bắt đầu từ các dạng đại số cho dãy số hữu hạn và mở rộng sang dạng tích phân cho các hàm đo được. Nền tảng này không thể thiếu khi nghiên cứu các không gian hàm phức tạp hơn như không gian Banach.

1.2. Mục tiêu và cấu trúc của luận văn toán giải tích này

Mục tiêu chính của luận văn toán giải tích này là tìm hiểu một cách có hệ thống về bất đẳng thức Minkowski và các dạng mở rộng của nó. Tác giả Trương Thị Nga đặt ra nhiệm vụ phân tích, tổng hợp và hệ thống hóa các kiến thức từ nhiều tài liệu khác nhau. Cấu trúc của luận văn được chia thành ba chương rõ ràng. Chương 1 trình bày các kiến thức chuẩn bị như hàm lồi, tích phân Lebesgue, và các bất đẳng thức quan trọng như bất đẳng thức Jensen và bất đẳng thức Holder. Chương 2 là nội dung trọng tâm, đi sâu vào các dạng khác nhau của bất đẳng thức Minkowski, bao gồm dạng tích phân, dạng đảo và các dạng tổng quát. Cuối cùng, Chương 3 tập trung vào ứng dụng của bất đẳng thức trong toán học, cụ thể là giải các bài toán sơ cấp, minh họa cho sức mạnh và tính thực tiễn của lý thuyết đã trình bày.

II. Thách thức khi chứng minh các dạng mở rộng của BĐT Minkowski

Việc chứng minh bất đẳng thức Minkowski và các dạng mở rộng của nó đặt ra nhiều thách thức, đòi hỏi người nghiên cứu phải nắm vững kiến thức nền tảng từ nhiều lĩnh vực của toán học. Đây không chỉ là việc áp dụng công thức mà là một quá trình suy luận logic chặt chẽ, dựa trên các định lý và khái niệm cốt lõi. Một trong những khó khăn chính là sự trừu tượng của các không gian hàm như không gian Lp và không gian Banach, nơi các đối tượng không còn là số mà là các hàm số. Việc chuyển đổi từ dạng đại số hữu hạn sang dạng tích phân vô hạn đòi hỏi sự hiểu biết sâu sắc về lý thuyết độ đo và tích phân Lebesgue. Luận văn đã giải quyết những thách thức này bằng cách xây dựng một hệ thống kiến thức chuẩn bị kỹ lưỡng trong Chương 1, làm tiền đề cho việc chứng minh các kết quả phức tạp được trình bày ở các chương sau.

2.1. Hiểu sâu về hàm lồi và nền tảng lý thuyết độ đo

Hai khái niệm then chốt để vượt qua các thách thức khi chứng minh bất đẳng thức Minkowski tổng quát là hàm lồi và lý thuyết độ đo. Một hàm số được gọi là lồi nếu đoạn thẳng nối hai điểm bất kỳ trên đồ thị của nó luôn nằm trên hoặc trùng với đồ thị. Tính chất này là cơ sở để chứng minh bất đẳng thức Jensen, một công cụ quan trọng được sử dụng trong chứng minh bất đẳng thức Holder và sau đó là Minkowski. Bên cạnh đó, lý thuyết độ đo và tích phân Lebesgue cho phép mở rộng khái niệm tích phân từ các hàm liên tục trên đoạn hữu hạn sang các hàm đo được trên những không gian đo trừu tượng. Theo tài liệu gốc, luận văn đã trình bày định nghĩa tích phân Lebesgue một cách chi tiết, từ hàm đơn giản đến hàm đo được tổng quát, tạo cơ sở cho việc phát biểu và chứng minh bất đẳng thức tích phân Minkowski.

2.2. Phân biệt BĐT Minkowski với Holder và Jensen kinh điển

Để hiểu rõ bản chất của bất đẳng thức Minkowski, cần phải phân biệt nó với các bất đẳng thức liên quan chặt chẽ là bất đẳng thức Holder và bất đẳng thức Jensen. Bất đẳng thức Jensen là kết quả tổng quát cho các hàm lồi, áp dụng cho tổ hợp lồi của các điểm. Trong khi đó, bất đẳng thức Holder là một sự tổng quát hóa của bất đẳng thức Cauchy-Schwarz, dùng để ước lượng tích phân (hoặc tổng) của một tích các hàm. Mối quan hệ giữa chúng rất mật thiết: chứng minh bất đẳng thức Minkowski thường dựa trực tiếp vào bất đẳng thức Holder. Cụ thể, trong chứng minh dạng tích phân, bất đẳng thức Holder được áp dụng hai lần để phân tách và đánh giá các biểu thức. Luận văn đã trình bày rõ ràng các chứng minh này, cho thấy sự liên kết logic và vai trò của từng bất đẳng thức trong hệ thống lý thuyết giải tích.

III. Hướng dẫn chứng minh các dạng bất đẳng thức Minkowski cơ bản

Luận văn của tác giả Trương Thị Nga cung cấp một lộ trình chi tiết để chứng minh bất đẳng thức Minkowski qua các dạng cơ bản nhất. Quá trình này bắt đầu từ dạng đại số cho các dãy số không âm, sau đó phát triển thành các dạng phức tạp hơn như dạng cho số phức và dạng tích phân cho hàm số. Cách tiếp cận này giúp người đọc xây dựng sự hiểu biết từ những trường hợp cụ thể, dễ hình dung đến các khái niệm tổng quát trong giải tích hàm. Các chứng minh được trình bày trong luận văn không chỉ tuân thủ tính chính xác toán học mà còn có tính hệ thống, thường xuyên sử dụng các kết quả đã được thiết lập trước đó, đặc biệt là bất đẳng thức Holder. Việc nắm vững các phương pháp chứng minh này là bước đệm quan trọng để tiếp cận các dạng mở rộng và ứng dụng của bất đẳng thức trong toán học.

3.1. Phân tích chi tiết BĐT Minkowski dạng thứ I và thứ II

Luận văn trình bày hai dạng đại số cơ bản của bất đẳng thức Minkowski. Dạng thứ I, hay còn gọi là dạng chuẩn, phát biểu rằng (Σ(ak + bk)^p)^(1/p) ≤ (Σak^p)^(1/p) + (Σbk^p)^(1/p) với p > 1. Chứng minh cho dạng này, như được trình bày trong Định lý 2.1 của luận văn, sử dụng một cách khéo léo bất đẳng thức Holder bằng cách tách tổng Σ(ak + bk)^p thành Σak(ak + bk)^(p-1) + Σbk(ak + bk)^(p-1) và áp dụng Holder cho từng tổng. Dạng thứ II là một dạng khác, liên quan đến tích, phát biểu rằng Π(ak + bk) ≥ (Πak^(1/n) + Πbk^(1/n))^n. Chứng minh của dạng này có thể dựa trên bất đẳng thức Jensen bằng cách xét hàm lồi f(x) = ln(1 + e^x). Việc phân tích hai dạng này cho thấy sự đa dạng và linh hoạt của bất đẳng thức Minkowski.

3.2. Khai thác bất đẳng thức tích phân Minkowski trong không gian Lp

Bất đẳng thức tích phân Minkowski là sự mở rộng tự nhiên của dạng đại số lên không gian của các hàm khả tích. Đây là kết quả trung tâm trong lý thuyết về không gian Lp, các không gian Banach quan trọng trong giải tích. Bất đẳng thức này phát biểu rằng chuẩn Lp của tổng hai hàm nhỏ hơn hoặc bằng tổng các chuẩn Lp của chúng. Chứng minh được trình bày trong Định lý 2.4 của luận văn cũng dựa trên một kỹ thuật tương tự như dạng đại số: sử dụng bất đẳng thức tam giác cho giá trị tuyệt đối và sau đó áp dụng bất đẳng thức Holder cho dạng tích phân. Kết quả này khẳng định rằng ||f + g||p là hữu hạn nếu ||f||p và ||g||p hữu hạn, đảm bảo tính chất không gian con đóng của không gian Lp. Đây là nền tảng để xây dựng cấu trúc của một không gian định chuẩn đầy đủ.

IV. Bí quyết khám phá các dạng mở rộng và đảo của BĐT Minkowski

Vượt ra ngoài các dạng cơ bản, luận văn đi sâu vào việc khám phá các dạng mở rộng và dạng đảo, thể hiện chiều sâu của một công trình nghiên cứu khoa học toán học. Các dạng mở rộng đưa bất đẳng thức Minkowski vào những bối cảnh trừu tượng hơn, chẳng hạn như cho các phiếm hàm dương tuyến tính hay cho hàm hai biến, mở ra nhiều ứng dụng mới trong giải tích hàm và các lĩnh vực liên quan. Song song đó, việc nghiên cứu các dạng đảo của bất đẳng thức, tức là tìm điều kiện để bất đẳng thức đổi chiều hoặc tìm một chặn dưới cho tổng, cũng là một hướng đi quan trọng. Những kết quả này không chỉ có giá trị lý thuyết mà còn cung cấp các công cụ đánh giá mạnh mẽ hơn. Việc phân tích các điều kiện để đẳng thức xảy ra cũng làm sáng tỏ cấu trúc của các không gian hàm liên quan.

4.1. Tìm hiểu bất đẳng thức Minkowski tổng quát trong không gian Lp

Một trong những mở rộng quan trọng nhất là bất đẳng thức Minkowski cho không gian Lp trên một không gian có độ đo tổng quát (X, Σ, μ). Định lý 2.6 trong luận văn khẳng định rằng với 1 ≤ p < ∞, f và g là các phần tử của Lp(μ), thì f + g cũng thuộc Lp(μ) và ||f + g||p ≤ ||f||p + ||g||p. Chứng minh của nó, như được mô tả trong tài liệu, một lần nữa nhấn mạnh vai trò của bất đẳng thức Holder. Đẳng thức xảy ra khi và chỉ khi f và g phụ thuộc tuyến tính dương. Kết quả này là viên đá nền tảng, khẳng định Lp(μ) là một không gian định chuẩn. Hơn nữa, luận văn còn đề cập đến dạng tích phân cho hàm hai biến, một dạng mở rộng khác được chứng minh bằng cách áp dụng Định lý Fubini và bất đẳng thức Holder.

4.2. Phân tích dạng tích phân đảo của bất đẳng thức Minkowski

Nghiên cứu các dạng đảo của bất đẳng thức là một lĩnh vực hấp dẫn. Luận văn trình bày dạng tích phân đảo của bất đẳng thức Minkowski, một kết quả ít phổ biến hơn nhưng rất hữu ích. Định lý 2.9 chỉ ra rằng với 0 < p < 1, bất đẳng thức sẽ đổi chiều. Cụ thể, (∫(f + g)^p dμ)^(1/p) ≥ (∫f^p dμ)^(1/p) + (∫g^p dμ)^(1/p) cho các hàm không âm f và g. Trường hợp p < 0 cũng được xem xét, mang lại những kết quả thú vị khác. Việc chứng minh các dạng đảo này thường đòi hỏi những kỹ thuật khác biệt, đôi khi sử dụng các bất đẳng thức ngược chiều của Holder hoặc Jensen. Những kết quả này có ý nghĩa quan trọng trong việc nghiên cứu các không gian hàm không lồi và trong một số lĩnh vực của hình học lồi.

4.3. Vai trò của không gian Banach và không gian định chuẩn

Bất đẳng thức Minkowski đóng vai trò trung tâm trong việc định nghĩa cấu trúc của không gian định chuẩn. Một không gian vector được trang bị một chuẩn ||·|| phải thỏa mãn ba tính chất: không âm, thuần nhất dương và bất đẳng thức tam giác. Bất đẳng thức Minkowski chính là sự kiểm chứng cho tính chất bất đẳng thức tam giác trong các không gian Lp. Một không gian định chuẩn mà đầy đủ (mọi dãy Cauchy đều hội tụ) được gọi là một không gian Banach. Việc chứng minh được rằng các không gian Lp (với 1 ≤ p ≤ ∞) là không gian Banach là một trong những kết quả nền tảng của giải tích hàm hiện đại, và bất đẳng thức Minkowski là bước đầu tiên không thể thiếu trong chuỗi chứng minh đó. Luận văn đã gián tiếp khẳng định vai trò này bằng cách liên tục tham chiếu và xây dựng lý thuyết trên các không gian này.

V. Top 5 ứng dụng của bất đẳng thức Minkowski trong toán học

Sức mạnh lý thuyết của bất đẳng thức Minkowski được thể hiện rõ nét nhất qua các ứng dụng đa dạng của nó, đặc biệt là trong việc giải quyết các bài toán từ sơ cấp đến cao cấp. Luận văn dành riêng Chương 3 để minh họa các ứng dụng của bất đẳng thức trong toán học, tập trung vào các bài toán phổ thông. Cách tiếp cận phổ biến và hiệu quả nhất là sử dụng hệ quả của bất đẳng thức Minkowski trong hình học giải tích. Bằng cách xem các biểu thức đại số dưới dạng độ dài của các vector trong hệ tọa độ Descartes, nhiều bài toán chứng minh bất đẳng thức hoặc tìm giá trị lớn nhất, nhỏ nhất trở nên trực quan và dễ giải quyết hơn. Phương pháp này biến một bài toán giải tích phức tạp thành một bài toán hình học quen thuộc, cho thấy sự kết nối đẹp đẽ giữa các nhánh khác nhau của toán học.

5.1. Giải toán sơ cấp qua hệ quả bất đẳng thức Minkowski

Hệ quả 2.1 của bất đẳng thức Minkowski trong không gian Euclidean R^n, |u + v| ≤ |u| + |v|, là một công cụ cực kỳ mạnh mẽ. Luận văn đã đưa ra nhiều ví dụ điển hình. Chẳng hạn, để chứng minh √(a² + b²) + √(c² + d²) ≥ √((a+c)² + (b+d)²), chỉ cần xét hai vector u = (a, b) và v = (c, d). Bất đẳng thức cần chứng minh chính là |u| + |v| ≥ |u + v|. Ví dụ 3.1.1 trong luận văn chứng minh √(cos²α - 2cosα + 2) + √(cos²α + 6cosα + 13) ≤ 5 bằng cách đặt các vector u = (1-cosα, 1) và v = (cosα+3, 2) (chú ý: tài liệu gốc có thể có lỗi đánh máy trong biểu thức). Từ đó suy ra u + v = (4, 3) và |u+v| = 5. Cách tiếp cận này giúp đơn giản hóa các bài toán chứa căn thức phức tạp.

5.2. Các bài toán tối ưu hóa sử dụng BĐT Minkowski

Ngoài việc chứng minh bất đẳng thức, hệ quả vector còn được dùng để giải các bài toán tìm giá trị lớn nhất, nhỏ nhất. Dấu bằng trong bất đẳng thức |u| + |v| ≥ |u + v| xảy ra khi và chỉ khi hai vector u và v cùng hướng. Điều kiện này cung cấp phương trình để tìm giá trị của biến số khiến biểu thức đạt giá trị cực trị. Ví dụ 3.1.5 trong luận văn tìm giá trị nhỏ nhất của hàm số f(x) = √(a² + x²) + √(d² + (c-x)²) bằng cách xét hai vector u = (a, x) và v = (d, c-x). Biểu thức đạt giá trị nhỏ nhất khi u và v cùng hướng, tức là a/d = x/(c-x), từ đó giải ra x. Phương pháp này đặc biệt hiệu quả cho các bài toán tối ưu hóa, cho thấy ứng dụng của bất đẳng thức trong toán học là vô cùng thực tiễn.

VI. Kết luận từ luận văn và tương lai của bất đẳng thức Minkowski

Luận văn thạc sĩ "Các dạng mở rộng của bất đẳng thức Minkowski và ứng dụng" đã hoàn thành xuất sắc mục tiêu đề ra: hệ thống hóa một cách chi tiết và khoa học các kiến thức về một trong những bất đẳng thức quan trọng nhất của giải tích. Công trình này không chỉ trình bày và chứng minh các dạng khác nhau của bất đẳng thức, từ cơ bản đến mở rộng và dạng đảo, mà còn cho thấy các ứng dụng thực tiễn của chúng. Bằng cách kết nối lý thuyết hàn lâm với các bài toán sơ cấp, luận văn đã tạo ra một tài liệu tham khảo giá trị cho cả người làm nghiên cứu khoa học toán học và giáo viên, học sinh. Những kết quả được trình bày là nền tảng vững chắc, đồng thời cũng mở ra những hướng nghiên cứu mới, hứa hẹn nhiều khám phá thú vị trong tương lai.

6.1. Tổng kết các kết quả chính của luận văn toán giải tích

Luận văn đã đạt được những kết quả chính sau: Thứ nhất, trình bày và chứng minh bất đẳng thức Minkowski ở nhiều dạng: dạng thứ I, thứ II, dạng tích phân, dạng cho số phức. Thứ hai, phân tích sâu các dạng mở rộng trong các không gian trừu tượng như không gian Lp và dạng tích phân cho hàm hai biến, cùng với các dạng đảo quan trọng. Thứ ba, luận văn đã thành công trong việc minh họa các ứng dụng của bất đẳng thức trong toán học phổ thông thông qua phương pháp vector hóa. Các ví dụ được lựa chọn kỹ lưỡng, có lời giải chi tiết, làm nổi bật hiệu quả của phương pháp. Đặc biệt, việc chứng minh chi tiết một số kết quả mà các tài liệu khác thường viết vắn tắt đã làm tăng thêm giá trị học thuật cho công trình luận văn toán giải tích này.

6.2. Hướng nghiên cứu tương lai Bất đẳng thức Brunn Minkowski

Mặc dù luận văn đã bao quát một phạm vi rộng lớn, lĩnh vực bất đẳng thức vẫn còn nhiều tiềm năng để khám phá. Một hướng phát triển tự nhiên từ bất đẳng thức Minkowski là nghiên cứu bất đẳng thức Brunn-Minkowski và các bất đẳng thức liên quan trong hình học lồi như bất đẳng thức Prékopa-Leindler. Bất đẳng thức Brunn-Minkowski liên kết thể tích (hoặc độ đo Lebesgue) của tổng Minkowski của các tập lồi với thể tích của từng tập riêng lẻ. Nó là một kết quả nền tảng và có nhiều ứng dụng trong các lĩnh vực khác như lý thuyết xác suất và tối ưu hóa. Việc khám phá mối liên hệ sâu sắc hơn giữa các bất đẳng thức giải tích và các bất đẳng thức hình học hứa hẹn sẽ mang lại nhiều kết quả mới mẻ và giá trị cho nghiên cứu khoa học toán học.

Trích đoạn nội dung tài liệu

Chương 1 Kiến thức chuẩn bị Trong chương này chúng tôi trình bày một số kiến thức chuẩn bị như hầm lồi, tích phân Lebesgue và một số bất đẳng thức sử dụng cho chương sau.1 Ham lỗi Định nghĩa 1.2 Tích phân Lebesgue Theo tai liệu ([2]) tích phân Lebesgue được xác định như sau Cho không gian độ đo (X,Z,g), 4 € Z và ƒ: A — E là hàm do được a) Trường hợp ƒ là hàm đơn giản, không âm trên 4 và ƒ = Sata với A; € F,A) Aj = 2, (i 4 j) va LJ A; — A, ta định nghĩa tích phân của im ƒ trên A theo độ đo bởi J Sau Damiay. 4 =Ị b) Trường hợp ƒ là hàm đo được, không âm trên 4 theo lý thuyết hàm đo được tồn tại dãy các hàm đơn giản, không âm ƒ„ sao cho 1i) S đua ),lim fue) = f (2) ir € A. Khi đó ta định nghĩa [rote /dụ = fim (J fad). Chú ý rằng, tích phân hàm đo được không âm luôn tồn tại, là số không âm và có thể bing +00 €) Trường hợp ƒ là hàm đo được trên 4, đặt ƒŸ ứ) = max {f (x) ;0}, ƒˆ (+) = max {=f (x) ,0} là các hàm đo được, không âm và ta có ƒ) = ƒ! (œ)— Ƒ (e).

Nếu ít nhất một trong các tích phân ƒ ƒ*dự, ƒ ƒ~dụ là số hữu hạn A A thì ta định nghĩa [ fd = [ frdy— Jfrdp. Ta nói ƒ khả tích trên A nếu ƒ ƒdự tồn tại và hữu hạn (hay cả hai A tích phân ƒ ƒ*dụ, ƒ ƒ~dụ là số hữu hạn) aA 1.3 Mot s6 bat đẳng thức 1.1 Bat đẳng thức Jensen Định lý 1.2 Bất đẳng thite Cauchy Dinh ly 1.,an là các số không âm. Ta có bất đẳng thite Cauchy sau đị + 0a +.3 Định lý Fubini Cho ƒ là là một hàm hai biến xác định trên hình chữ nhật B= (a, b] x c,d] nim trong R*. Khi đó, với mỗi z € Ía,b], ta định nghĩa được hàm s6 f, : [c,d] —> R theo công thức ƒ;(y) = ƒ (.

Nếu nó là hàm khả tích thì tích phân của nó là một hàm số theo biến z, được kí hiệu là [ieua ƒ (.w) dụ, led) ngoài ra còn được kí hiệu gọn hơn là ƒ „ ƒ on Dinh ly 1.) như trên, ta có công thức đổi thứ tự lầu tích phân ájxe.4 Bất đẳng thức Holder h ly 1. ([8]) (Dang dai số) Cho hai dâu số không âm ai, dạ,. đụ, và bị, bạ,. bạ: p, q là các số thực dương sao cho p > 1,q > 1 và 1+} = 1, ta luôn có (16) Đẳng thức xả ra khi và chỉ khi tồn tại hai số A va B không đồng thời bằng không sao cho Aa® = Bbi,k = 1,2,.

Dùng Bắt đẳng thức Jensen (1.3) Xét hàm số ƒ (z) =2? khi x > 0,(p > 1) f' (x) = px?, J" (@) =p(p- 12”? >0, (dop>1,z >0). Vậy ƒ (z) là hàm lồi khi z > 0 Ap dụng Bất đẳng thức Jensen (1.3) với ry = abe 1¬ ax = = Ta có ngay #¿ > 0,ax > 0,Vk =1,. Khi đó, ta có ƒ (Giai + as#3 +. + OnLy = agby y bf iat k=l Vậy bất đẳng thức (1.7) tương đương với " P 32 akb, kel a Rago? 1~: D yy “En a & mA hay "ÁP - cà (SH) ¿ (= wt) a“ ay.

ft yom tat & (do Pa 1 =1l@p+q-pq=0) p†q~ - Do đó P n Ploin ot) < (= 4) oat. ki kl Vay Sans (Su) (Sa). et os Do #2P = 3, từ đồ suy ra )(§2} ' ta ta Bất đẳng thức Holder (1.6) được chứng minh xong, o Hé qua 1. ([8]) Néu p = q =2 thi Bat ding thite Holder (1.6) trở thanh (aj + a3 +.

§ b b Giả sử ƒ |ƒ (#)|Pdz > 0 và ƒ |g (2)|Pdz > 0.1, vớiđi a=œ= -— J/œ)| ĐT vàà 8= đ= HE, Jz(z)| (/,erz) (so) ta được Ư@| — la) 600:)' (i lg 602)` ; b Jf/(œf_ + ,q1_ b lo@)F „Wz € |a;b]. (110) JIf(z)fdz Ƒlo(z)lfdz Do đó 6 SIF (@) g(x)ax (i ir corr) , (i b 602) , b b f\F(a)Pde ,Ƒls(œ)|fdz +-——= +-=1, xi im Sir@rar *ŸIyG@)fáe Từ đó suy ra bất đẳng thức (1.9) cần được chứng minh.1, thi (110) trở thành đẳng thức khi và chỉ khi iro) Wel vee ath (i if 6z) (i b 6i) , Kết hợp với Định lý 1.9) trở thành đẳng thức khi va chỉ khi tồn tai hai số thực 4 và / không đồng thời bằng không sao cho A|ƒ (œ)Ï! = Blg (z)|f. (|S|) Khip= q= 9, Bắt đẳng thức Holder (1.9) trở thành , [iese)e < [frie) (jee) Trường hợp này được gọi là Bất đẳng thức Bunyakovsky dạng tích phân Sau đây là trường hợp Bất đẳng thức Holder cho hàm khả tích Lebesgue Dinh ly 1. ((7]) Giả sử (X,Z,m) là không gian có độ do, ¡ là độ đo đương trên X; Ð.q €[l;+e) sao cho ý + ‡ = 1 oà ƒ,g: X — [Ú;+oc) là hai hàm do được.

Khi đó, ta có Bắt đẳng thức Holder sau ' J fous (f, tran)’ (fan) (L1) 10 Chương 2 Bất đẳng thức Minkowski Trong chương này chúng tôi trình bày bất đẳng thức Minkowski, dạng tích phân của bất đẳng thức Minkowski, dạng đảo của bất đẳng thức Minkowski và một số dạng mở rộng của nó.1 Bất đẳng thức Minkowski 2.1 Bất đẳng thức Minkowski dạng thứ I Định lý 2. (|S|) Cho bai dãy số không âm ai, aa,. Giả sửp > 1 là số thực, ta có bất đẳng thức sau [Ee k=1 ca < (2) k=1 + (sx). ki 02) Chứng mình.

Gọi q là số thực mà 2 + ‡ = 1. Vì p > 1 nên q cũng là số thực lớn hơn 1 Ap dụng Bất đẳng thức Holder (1.6) cho hai dãy số {a¿} và {(ax + by)! } k=1,2,.,n, ta duge 12 hay [+ | < [#|+ J3. Cho các oéc tớ tị, tạ,., tạ € RẺ (R"), ta cũng có bắt đẳng thức sau đây | + ữa +.2 Bất đẳng thức Minkowski dạng thứ II Định lý 2. ([1|) Cho bai đấy số không âm an, aa,.đụ nà bị, bạ,.

Ta có bắt đẳng thức sau Ÿ (ai + bị) - (ay + bạ).6) Đầu "=' sảy ra khi và chỉ khi hE lI II Chứng mình. Có hai trường hợp sau. “Trường hợp 1. Khi đồ phải tồn tại k,(1< k <n) mà a¿ + bạ = 0.

Do ay > 0,6, > 0 suy ra ay 0. Vậy bất đẳng thức (3. "Trường hợp 2. Khi đó bắt đẳng thức (3.6) viết lại dưới dạng sau SS ej be cy, (2,7) ay + by ay + bạ ` an + bạ a+ by ay + by Theo Bát đẳng thức Cauchy (1.4), ta có man dạ Gl ( ma tn ) @, +b; a2 + by Gn +bn ~ n\ay tb) ay+by an +b, )” (28) 13 "mm.

by bạ 1 bị bạ bạ ath ath ath <n (ste totht” an): (2.9) Cộng từng về của (2. Dấu bằng xảy ra trong hai trường hợp sau. a) Hoặc tồn tại chỉ số & mà a¿ = b¿ = 0| b) Hoặc A0 — — đạ @+bịi d+by an bn! và bị bby ay tb ath, ay Hb, Với quy ước nếu b¿ = 0 thì a¿ = 0, dấu bằng xảy ra khi và chỉ khi a @ dạ by bạ. Cách 2, Ding Bat ding thite Jensen (1.

Ta c6, Wye7 £@= va z f (@)= Gear ovr eR Vay ƒ (z) là hàm lồi trên R. Theo Bat ding thitc Jensen (1. tin bey >in (1 +e).n, ta được 5+3) chứ +?) +. tương đương với (ái + bị) (ay +bạ).

(a„ + bạ) > ÿ/@ias-an+ Vbịba. Dấu "=" xảy ra khi và chỉ khi x1 = 22 = Từ đó suy ra nen a a2 ne an 1 bị _ sitet ¬ be bn Sau đây ta phát biểu Bất đẳng thức Minkowski cho số phức Định lý 2. ([8]) Cho ai,as,.b„ là các số phức va p>1 ta có Bất đẳng thức Minkouski cho các phức n “I n 1⁄ n ‘le (E»--»') < (Star) + (Sm) : (2. Ta có đồng nhất thức » Š 1.êAa ke im fat Gia sit q dugc dinh nghia bing $+} =1vag= 5 Nếu p > 1, thì áp dụng Bất đẳng thức Holder (1.6), ta c6 " n 1 " OD, Yaw + be? (Sm) + (= lay, + dg ) = = = n 1 n OM, + (= in) + ( lu nt) kel Từ đó ta có bất đẳng thức (= lu+ nr).

(= int) T (= wr) Vậy bất đẳng thức (2.10) đã được chứng mình o Chú ý 2. (|S]) Sử dụng bất đẳng thức (3.10) có thể chứng minh được bất đẳng thức sau = 6. Bất đẳng thức Minkowski dạng tích phan Định lý 2. Do đó , [e0 +sœ)fz 6 < [If@)IIfG)+a)P 14 18 Nếu 0 < p< 1 thì bắt đẳng thức theo chiều ngược lại.

Trường hợp Bắt đẳng thức Minkowski cho hàm dương phi tuyến tham khảo trong tài lieu ([8]) 2.2 Bat dang thức Minkowski trong không gian véc to L? Định lý 2. ([7]) Cho w là độ đo, cho 1< p< se và cho ƒ và g là các phần tử của IP. Khi đó, ta có Bắt đẳng thức Minkouski trong L? sau Hay la (plo) I7 + øll, < II/II,+ lløl,: (2.17) Với Ill, (Jura) = ` Đẳng thức rảu ra khi uà chỉ khi ƒ vag phụ thuộc tuyến tính dương, tức là ƒ = Àg cho một số À > 0 hoặc g = 0. Thứ nhất, ta chứng mình rằng ƒ + ø có giới hạn /> chiều nếu ƒ và ø là hai hàm mà [fg <2 (FP + lol’).

Thật vây, chúng ta đặt hàm h («) = 2? 1A ham lditrén R* (cho p > 1) và do đó, theo Định nghĩa 1.1 về hàm lồi, 11 3a '<||u + =3| pfsft+z Ye <s cdpea + giả < Sur slsige g’. 19 Điều này có nghĩa rằng If +9! < 5120 12p, + Slo)? 1 = 2P — |ƒ+ p— 2ˆ'|gj, Nhu vay, tritdng hop ||f + g||, bang khong thi Bat ding thtte Minkowski (2. Ta xét trường hợp ||ƒ + g||, không bằng không. Sử dụng bất đẳng thức tam giác (2.5) và Bất đẳng thức Holder (1.11) cho độ đo ø, chúng, ta thấy rằng I/+alg= [+34 = [sealle eal ae < [1+ la) + sáp = [I1 + "40+ [l.f+ øt Ag «(furs «(fr,a (fureirver)” = (isl,+ ll.

b Chúng ta có được Bất đẳng thức Minkowski (3.17) bằng cách nhân hai về của bất đẳng thức trên vớiTHẾ: Vậy ta có Bất đẳng thức Minkowski trong không gian véc tơ Ƒ? là I/ + øll, < lI/,+ llsll;- 20 2. Bất đẳng thức Minkowski dạng tích phân cho hàm hai biến Định lý 2. ([10]) Trong điều kiện uới 1 < p < se ta có bất đẳng thức bla Pp 1y Jhhe»» “] -j l|j 1 ral Pee Chứng mình. Trường hợp p = 1 từ định lý Pubini( ) bất đẳng thức luôn đúng.