Mục đích nghiên cứu của luận án nhằm đưa ra một điều kiện đủ để một đa thức không âm là tổng bình phương của các đa thức. Điều kiện này được phát biểu thông qua đa diện Newton của đa thức; Chứng minh rằng tồn tại một tập nửa đại số mở, trù mật trong không gian tất cả các đa thức có cùng một đa diện Newton cho trước, sao cho với mỗi đa thức thuộc tập này và bị chặn dưới, bài toán tìm infimum toàn cục là đặt chỉnh.
VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM VIỆN TOÁN HỌC ĐẶNG VĂN ĐOẠT ỨNG DỤNG CỦA ĐA DIỆN NEWTON VÀO VIỆC NGHIÊN CỨU CÁC BẤT ĐẲNG THỨC LOJASIEWICZ VÀ MỘT SỐ VẤN ĐỀ CỦA LÝ THUYẾT TỐI ƯU LUẬN ÁN TIẾN SĨ TOÁN HỌC Hà Nội - 2018 VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM VIỆN TOÁN HỌC ĐẶNG VĂN ĐOẠT ỨNG DỤNG CỦA ĐA DIỆN NEWTON VÀO VIỆC NGHIÊN CỨU CÁC BẤT ĐẲNG THỨC LOJASIEWICZ VÀ MỘT SỐ VẤN ĐỀ CỦA LÝ THUYẾT TỐI ƯU LUẬN ÁN TIẾN SĨ TOÁN HỌC Chuyên ngành: Giải tích Mã số: 46 01 02 Người hướng dẫn khoa học: PGS.TSKH Hà Huy Vui PGS.TS Phạm Tiến Sơn Hà Nội - 2018 Tóm tắt Trong nhiều vấn đề lý thuyết kỳ dị hình học đại số, đa diện Newton đóng vai trò quan trọng, chứa nhiều thơng tin hình học, đại số, tổ hợp giải tích hệ phương trình đa thức Vì vậy, với khái niệm đa diện Newton, nhiều kết quan trọng lý thuyết kỳ dị, hình học đại số, lý thuyết phương trình đạo hàm riêng thiết lập Trong luận án này, áp dụng đa diện Newton để nghiên cứu số vấn đề tối ưu giải tích Luận án nhận kết sau: 1) Đưa điều kiện đủ để đa thức không âm tổng bình phương đa thức Điều kiện phát biểu thông qua đa diện Newton đa thức 2) Chứng minh tồn tập nửa đại số mở, trù mật không gian tất đa thức có đa diện Newton cho trước, cho với đa thức thuộc tập bị chặn dưới, tốn tìm infimum tồn cục đặt chỉnh 3) Đưa tiêu chuẩn tồn bất đẳng thức Lojasiewicz toàn cục Tiêu chuẩn cung cấp phương pháp cho trường hợp hai biến, kiểm tra tồn bất đẳng thức Lojasiewicz toàn cục 4) Cho đánh giá số mũ Lojasiewicz thông qua bậc đa thức số mũ khác dễ tính tốn Trong trường hợp hai biến, tính tốn cách tường minh số mũ Lojasiewicz đa thức Đặc biệt, đa thức hai biến khơng suy biến theo phần Newton vơ hạn, chúng tơi tính tốn số mũ Lojasiewicz theo phần Newton vơ hạn Hơn nữa, đưa dạng tường minh ca bt ng thc kiu Hăormander, ú cỏc s mũ xuất với giá trị cụ thể Abstract In many problems of singularity theory and algebraic geometry, Newton polyhedra play a very important role Newton polyhedra contain many geometric, algebraic, combinatorial and analytic information of polynomial systems Using Newton polyhedra, many important results of singularity theory, algebraic geometry, and differential equation theory have been established In this thesis, we apply Newton polyhedra to study some of problems of optimization and analysis We obtain the following results: 1) A sufficient condition for a non-negative polynomial to be the sum of squares is given This condition is expressed in terms of the Newton polyhedron of the polynomial 2) Well-posedness of almost every uncontrain polynomial optimization problem is proved: exists an open and dense semialgebraic set in the space of all polynomials having the same Newton polyhedron, such that if f is a polynomial from this set and if f is bounded from below, then the problem of finding the global infimum of f is well-posed 3) A new criterion of the existence of the global Lojasiewicz inequality is given This criterion provides a method, for the case of two variables, examining the existence of the global Lojasiewicz inequality 4) It is shown that the Lojasiewicz exponents of a polynomial can be estimated via the degree and some exponents, which are much easier to compute In the case of two variables, the Lojasiewicz exponents of an arbitrary polynomial are computed explicitly; the Lojasiewicz exponents of non-degenerate polynomials are expressed in terms of Newton polyhedra; explicite values of some exponients in one of Hăormander inequality are given Li cam oan Tơi xin cam đoan cơng trình nghiên cứu hướng dẫn thầy Hà Huy Vui thầy Phạm Tiến Sơn Các kết viết chung với tác giả khác trí đồng tác giả đưa vào luận án Các kết nêu luận án trung thực chưa công bố công trình khác Tác giả Đặng Văn Đoạt Lời cám ơn Luận án thực hoàn thành Viện Toán học - Viện Hàn lâm Khoa học Công nghệ Việt nam Trước hết, xin bày tỏ lòng biết ơn sâu sắc đến PGS.TSKH Hà Huy Vui, PGS.TS Phạm Tiến Sơn, người thầy tận tình hướng dẫn, dìu dắt, bảo tơi suốt thời gian học tập, nghiên cứu để thực luận án Tơi xin cảm ơn Ban Giám đốc Viện Tốn học, cán nghiên cứu Viện Toán học, đặc biệt cán phòng Hình học Tơ pơ, cán Trung tâm đào tạo sau Đại học - Viện Toán học, tạo nhiều điều kiện thuận lợi cho học tập nghiên cứu Xin cảm ơn Quỹ Phát triển khoa học công nghệ Quốc gia hỗ trợ phần kinh phí cho tơi q trình thực đề tài Tơi xin cảm ơn Viện Nghiên cứu cao cấp Toán động viên, trao giải thưởng cơng trình Chương trình trọng điểm quốc gia phát triển toán học giai đoạn 2010-2020 cho hai báo Tôi xin cảm ơn lãnh đạo Sở Giáo dục Đào tạo tỉnh Lâm Đồng, lãnh đạo tập thể giáo viên trường THPT Chuyên Thăng Long Đà Lạt tạo điều kiện thời gian, hỗ trợ phần kinh phí để tơi hồn thành nhiệm vụ Tôi xin cảm ơn bạn bè, đồng nghiệp, bạn nghiên cứu sinh Viện Toán học giúp đỡ, cổ vũ, động viên suốt trình học tập nghiên cứu Đặc biệt, tơi cảm ơn gia đình, người thân u tơi luôn động viên, chia sẻ, giúp đỡ mặt vật chất tinh thần suốt trình học tập nghiên cứu để thực ước mơ Quyển luận án tơi dành tặng cho bố mẹ, vợ hai trai yêu quý Tác giả Đặng Văn Đoạt Các ký hiệu sử dụng luận án N Tập số tự nhiên N∗ Tập số tự nhiên khác Z Tập số nguyên Z+ Tập số nguyên không âm R Tập số thực R+ Tập số thực không âm Rn Không gian Euclide thực n chiều R[x1 , x2 , , xn ] Tập đa thức thực n biến inf A infimum tập hợp A sup A supermum tập hợp A A Giá trị nhỏ tập hợp A max A Giá trị lớn tập hợp A x Chuẩn véc tơ x dist(x, A) Khoảng cách Euclide từ điểm x đến tập hợp A limx→a f (x) Giới hạn hàm số f (x) x tiến tới a rankA Hạng ma trận A f d (t) ∂ dϕ xdi Γ Đạo hàm cấp d hàm số f theo biến t Đạo hàm riêng cấp d hàm ϕ theo biến xi Γ(f ) Đa diện Newton đa thức f Γ∞ (f ) Đa diện Newton vô hạn đa thức f L0 (V1 ) Số mũ Lojasiewicz gần tập hàm f tập V1 L∞ (V1 ) Số mũ Lojasiewicz xa tập hàm f tập V1 L0 (f ) Số mũ Lojasiewicz gần tập hàm f Rn L∞ (f ) Số mũ Lojasiewicz xa tập hàm f Rn Đa diện Mục lục Mở đầu Điều kiện đủ để đa thức thực tổng bình phương đa thức 1.1 Giới thiệu toán 1.2 Kết chứng minh 10 Tính đặt chỉnh tốn tối ưu đa thức 16 2.1 Giới thiệu toán 18 2.2 Kết chứng minh 20 Bất đẳng thức Lojasiewicz toàn cục hàm đa thức 31 3.1 Giới thiệu toán 33 3.2 Bất đẳng thức Lojasiewicz tập V1 36 3.3 Bất đẳng thức Lojasiewicz toàn cục 42 3.4 Số mũ bất đẳng thức Lojasiewicz 47 Bất đẳng thức Lojasiewicz hàm đa thức R2 56 4.1 4.2 Phương pháp kiểm tra tồn bất đẳng thức Lojasiewicz 57 4.1.1 Khai triển Puiseux 4.1.2 Phương pháp kiểm tra Tính số mũ Lojasiewicz 57 59 61 4.2.1 Tính số mũ L0 (V1 ) 61 4.2.2 Tính số mũ L∞ (V1 ) 68 4.2.3 Tính số mũ L0 (f ) 68 4.2.4 Tính số mũ L∞ (f ) 71 4.3 Đa thức không suy biến vô hạn 72 4.4 Mt dng bt ng thc Hăormander 78 Kết luận 83 Tài liệu tham khảo 86 Mở đầu Đa diện Newton đa thức nhiều biến bao lồi tập số mũ đơn thức xuất đa thức với hệ số khác không Trong nhiều vấn đề lý thuyết kỳ dị hình học đại số, đa diện Newton đóng vai trò mở rộng khái niệm bậc đa thức, chứa nhiều thông tin hình học, đại số, tổ hợp giải tích hệ phương trình đa thức Chính vậy, với khái niệm đa diện Newton, nhiều kết quan trọng lý thuyết kỳ dị, hình học đại số, lý thuyết phương trình đạo hàm riêng thiết lập (xem [AGV] ứng dụng đa diện Newton lý thuyết kỳ dị, [Ko], [Kh] ứng dụng đa diện Newton hình học đại số [GV] ứng dụng đa diện Newton phương trình đạo hàm riêng) Đa diện Newton định nghĩa không cho đa thức để nghiên cứu vấn đề mang tính tồn cục, xác định cho mầm hàm giải tích để nghiên cứu tính chất tơ pơ hàm giải tích lân cận điểm kỳ dị Nhiều bất biến tô pô điểm kỳ dị số Milnor, số mũ tiệm cận tích phân dao động tính thơng qua đa diện Newton hàm giải tích (xem [Ko] [AGV] danh mục trích dẫn tài liệu này) Bản luận án sử dụng khái niệm đa diện Newton để nghiên cứu vấn đề sau đây: 1) Tìm điều kiện để đa thức n biến thực khơng âm tồn Rn , biểu diễn dạng tổng bình phương đa thức; 2) Nghiên cứu tính đặt chỉnh tốn tối ưu đa thức không ràng buộc; 3) Nghiên cứu điều kiện tồn bất đẳng thức Lojasiewicz toàn cục ... HỌC VÀ CÔNG NGHỆ VIỆT NAM VIỆN TOÁN HỌC ĐẶNG VĂN ĐOẠT ỨNG DỤNG CỦA ĐA DIỆN NEWTON VÀO VIỆC NGHIÊN CỨU CÁC BẤT ĐẲNG THỨC LOJASIEWICZ VÀ MỘT SỐ VẤN ĐỀ CỦA LÝ THUYẾT TỐI ƯU LUẬN ÁN TIẾN SĨ TOÁN HỌC... 3) Nghiên cứu điều kiện tồn bất đẳng thức Lojasiewicz toàn cục đa thức n biến thực tính tốn số mũ Lojasiewicz cho trường hợp n = Các vấn đề 1) 2) vấn đề thời Tối ưu Đa thức Các bất đẳng thức Lojasiewicz. .. 33 3.2 Bất đẳng thức Lojasiewicz tập V1 36 3.3 Bất đẳng thức Lojasiewicz toàn cục 42 3.4 Số mũ bất đẳng thức Lojasiewicz 47 Bất đẳng thức Lojasiewicz hàm đa thức R2