Nghiên Cứu Phương Trình Logistic và Bất Phương Trình Biến Phân

Luận án tiến sĩ toán học khám phá các phương trình và bất phương trình dạng logistic, ứng dụng trong nhiều lĩnh vực khoa học và kỹ thuật.

• Tác giả: Bùi Thế Quan
• Người hướng dẫn: PGS. Nguyễn Bích Huy
• Trường học: Trường Đại Học Sư Phạm Thành Phố Hồ Chí Minh
• Chuyên ngành: Giải Tích
• Đề tài: Nghiên Cứu Phương Trình Logistic và Bất Phương Trình Biến Phân
• Loại tài liệu: Luận Án
• Năm xuất bản: 2017
• Địa điểm: Thành Phố Hồ Chí Minh

Mục lục chi tiết

• LỜI CAM ĐOAN
• DANH MỤC CÁC KÝ HIỆU
• MỞ ĐẦU
• 1. MỘT SỐ KẾT QUẢ CẦN THIẾT
• 1.1. Không gian Banach có thứ tự, bậc tô pô trong nón
• 2. PHƯƠNG TRÌNH LOGISTIC SUY RỘNG
• 2.1. Phương trình logistic dạng tổng quát; Đưa phương trình về bài toán điểm bất động
• 2.2. Các kết quả chính
• 2.3. Trường hợp dưới tuyến tính và tuyến tính
• 3. BẤT PHƯƠNG TRÌNH BIẾN PHÂN
• 3.1. Dựa bài toán về bài toán điểm bất động
• 3.2. Các kết quả chính
• 4. PHƯƠNG TRÌNH LOGISTIC CHỨA SỐ HẠNG
• 4.1. Trường hợp hàm M tổng quát
• 4.2. Đưa phương trình về bài toán điểm bất động
• 4.3. Trường hợp hàm M(z,t) = a(x) + b(x)t^l với b không suy biến
• 4.4. Trường hợp M(z,t) = a(x) + b(x)t^m với số hạng b suy biến
• 5. HỆ PHƯƠNG TRÌNH LOGISTIC
• 5.1. Trường hợp dưới tuyến tính và tuyến tính
• 5.2. Đưa bài toán về bài toán điểm bất động
• KẾT LUẬN
• DANH MỤC CÁC CÔNG TRÌNH CỦA TÁC GIẢ
• DANH MỤC CÁC KÝ HIỆU

Tóm tắt

I. Tổng Quan Về Nghiên Cứu Phương Trình Logistic Ứng Dụng

Phương trình Logistic là một công cụ toán học ứng dụng mạnh mẽ, mô tả sự tăng trưởng bị giới hạn trong nhiều lĩnh vực. Từ sinh học, kinh tế đến kỹ thuật, mô hình Logistic giúp chúng ta hiểu rõ hơn về các quá trình biến đổi theo thời gian. Nghiên cứu về phương trình này không chỉ giới hạn ở việc giải các phương trình đơn thuần mà còn mở rộng ra các bài toán phức tạp hơn như bất phương trình biến phân và hệ phương trình. Các nhà khoa học đã phát triển nhiều phương pháp khác nhau để giải quyết những thách thức này, từ các phương pháp giải tích truyền thống đến các thuật toán giải số hiện đại. Ứng dụng của phương trình Logistic rất đa dạng, từ dự đoán sự lây lan của dịch bệnh đến mô phỏng sự tăng trưởng dân số và phân tích thị trường. MacCamy đưa ra phương trình mô tả sự tăng trưởng của loài đơn lẻ trong tự nhiên, thể hiện tính ứng dụng cao của phương trình này.

1.1. Lịch Sử Phát Triển và Ý Nghĩa của Phương Trình Logistic

Phương trình Logistic được phát triển bởi Pierre François Verhulst vào thế kỷ 19. Ban đầu, nó được sử dụng để mô tả sự tăng trưởng dân số bị giới hạn bởi nguồn lực. Ngày nay, phương trình Logistic đã trở thành một công cụ quan trọng trong nhiều lĩnh vực khoa học khác nhau, cho thấy tầm quan trọng của nó trong việc tính toán khoa học và dự đoán các hiện tượng tự nhiên.

1.2. Các Biến Thể Phổ Biến của Phương Trình và Bất Phương Trình Logistic

Ngoài dạng cơ bản, phương trình Logistic còn có nhiều biến thể khác nhau, được điều chỉnh để phù hợp với từng ứng dụng cụ thể. Các biến thể này có thể bao gồm các yếu tố bổ sung như đạo hàm của ẩn hàm, số hạng Kirchhoff hoặc các điều kiện biên phức tạp hơn. Tương tự, bất phương trình biến phân Logistic cũng có nhiều dạng khác nhau, tùy thuộc vào các ràng buộc và điều kiện đặt ra.

II. Thách Thức Giải Phương Trình Bất Phương Trình Biến Phân

Việc giải phương trình Logistic và bất phương trình biến phân không phải lúc nào cũng dễ dàng. Các phương trình này thường phi tuyến và có thể có nhiều nghiệm, hoặc thậm chí không có nghiệm nào. Việc tìm ra các nghiệm này đòi hỏi các kỹ thuật toán học phức tạp và khả năng phân tích hàm sâu sắc. Hơn nữa, trong nhiều trường hợp thực tế, các tham số của phương trình không được biết chính xác, gây khó khăn cho việc mô phỏng và dự đoán. Việc tính ổn định của nghiệm cũng là một vấn đề quan trọng, đặc biệt khi nghiên cứu các hệ phương trình phức tạp. Để mô tả chính xác hơn mô hình thực tế, toán tử Laplace được thay bằng toán tử p - Laplace hoặc các toán tử vi phân tổng quát, làm tăng độ khó của bài toán.

2.1. Các Vấn Đề Về Tính Duy Nhất và Tồn Tại Nghiệm

Một trong những thách thức lớn nhất khi giải phương trình và bất phương trình Logistic là đảm bảo tính duy nhất và tồn tại nghiệm. Trong nhiều trường hợp, phương trình có thể có nhiều nghiệm, hoặc không có nghiệm nào, tùy thuộc vào các tham số và điều kiện biên. Việc xác định các điều kiện tồn tại nghiệm và đảm bảo tính duy nhất là một bài toán khó.

2.2. Độ Nhạy Của Nghiệm Đối Với Thay Đổi Tham Số

Nghiệm của phương trình Logistic thường rất nhạy cảm đối với những thay đổi nhỏ trong các tham số. Điều này có nghĩa là một sai số nhỏ trong việc ước lượng tham số có thể dẫn đến sai số lớn trong dự đoán. Việc phân tích độ nhạy của nghiệm là rất quan trọng để đảm bảo tính tin cậy của kết quả.

III. Cách Giải Phương Trình Logistic Suy Rộng Hướng Dẫn Chi Tiết

Để giải phương trình Logistic suy rộng, các nhà toán học thường sử dụng phương pháp giải tích số. Phương pháp này bao gồm việc xây dựng các thuật toán xấp xỉ nghiệm, dựa trên các kỹ thuật như phương pháp Newton, phương pháp lặp đơn hoặc các phương pháp biến phân. Quan trọng là phải chọn một phương pháp phù hợp với đặc điểm của từng bài toán cụ thể và đảm bảo tính hội tụ của thuật toán. Việc sử dụng phần mềm giải tích số chuyên dụng có thể giúp tăng tốc quá trình giải và cải thiện độ chính xác của kết quả. Luận án sử dụng toán tử giải của một bài toán phụ để đưa bài toán được xét về một bài toán điểm bất động.

3.1. Phương Pháp Toán Tử Giải và Bài Toán Điểm Bất Động

Một phương pháp hiệu quả để giải phương trình Logistic suy rộng là sử dụng toán tử giải của một bài toán phụ để đưa bài toán về dạng bài toán điểm bất động. Sau đó, có thể sử dụng các định lý điểm bất động để chứng minh sự tồn tại của nghiệm. Phương pháp này thường được sử dụng khi nghiên cứu Dynamic System.

3.2. Sử Dụng Bậc Tô Pô Trong Nón Để Chứng Minh Nghiệm

Bậc tô pô trong nón là một công cụ mạnh mẽ để chứng minh sự tồn tại của nghiệm trong các bài toán phi tuyến. Bằng cách xây dựng một nón phù hợp và tính toán bậc tô pô của toán tử, có thể chứng minh được rằng phương trình có ít nhất một nghiệm trong nón.

IV. Phương Pháp Tiếp Cận Bất Phương Trình Biến Phân Bài Toán Cân Bằng

Giải bất phương trình biến phân Logistic đòi hỏi một cách tiếp cận khác so với phương trình thông thường. Phương pháp phổ biến là sử dụng các kỹ thuật tối ưu hóa để tìm nghiệm, chẳng hạn như phương pháp chiếu gradient, phương pháp điểm trong hoặc các phương pháp phần tử hữu hạn. Quan trọng là phải đảm bảo tính hội tụ của thuật toán và kiểm tra tính hợp lệ của nghiệm. Các bài toán cân bằng thường được mô hình hóa bằng bất phương trình biến phân. Bài toán bất đẳng thức biến phân được Hartman và Stampachia giới thiệu đầu tiên vào năm 1966.

4.1. Xây Dựng Toán Tử Giải Cho Bất Đẳng Thức Biến Phân Phụ

Tương tự như phương trình Logistic suy rộng, việc xây dựng toán tử giải cho một bất đẳng thức biến phân phụ có thể giúp đơn giản hóa bài toán và đưa nó về dạng bài toán điểm bất động. Phương pháp này thường được sử dụng khi nghiên cứu các Optimization problems.

4.2. Áp Dụng Bậc Tô Pô Trong Nón Kết Hợp Với Đánh Giá Nghiệm

Bậc tô pô trong nón cũng có thể được áp dụng để giải bất phương trình biến phân. Bằng cách kết hợp công cụ này với các đánh giá nghiệm và lý luận về thứ tự, có thể chứng minh được sự tồn tại của nghiệm không tầm thường.

V. Ứng Dụng Phương Trình Logistic trong Mô Hình Hóa Thực Tế

Ứng dụng phương trình Logistic rất đa dạng trong các lĩnh vực khác nhau. Trong sinh học, nó được sử dụng để mô hình hóa sự tăng trưởng dân số, sự lây lan của dịch bệnh và sự tương tác giữa các loài. Trong kinh tế, nó được sử dụng để dự đoán sự tăng trưởng kinh tế, phân tích thị trường và quản lý rủi ro. Trong kỹ thuật, nó được sử dụng để mô hình hóa toán học các hệ thống phức tạp và tối ưu hóa các quy trình sản xuất. Luận án khảo sát bốn lớp phương trình hoặc bất phương trình elliptic chứa số hạng phi tuyến dạng logistic, thể hiện khả năng ứng dụng cao của phương trình này.

5.1. Mô Hình Hóa Tăng Trưởng Dân Số và Dịch Bệnh

Phương trình Logistic là một công cụ hữu ích để mô hình hóa sự tăng trưởng dân số bị giới hạn bởi nguồn lực và sự lây lan của dịch bệnh trong một cộng đồng. Bằng cách điều chỉnh các tham số của phương trình, có thể dự đoán được sự thay đổi dân số và diễn biến của dịch bệnh theo thời gian.

5.2. Phân Tích Thị Trường và Dự Đoán Tăng Trưởng Kinh Tế

Trong kinh tế, phương trình Logistic có thể được sử dụng để phân tích thị trường và dự đoán sự tăng trưởng kinh tế. Bằng cách xem xét các yếu tố như cung, cầu, cạnh tranh và chính sách, có thể xây dựng một mô hình Logistic để dự đoán xu hướng thị trường và tăng trưởng kinh tế.

VI. Nghiên Cứu Phương Trình Logistic Kết Luận và Hướng Phát Triển

Nghiên cứu về phương trình Logistic và bất phương trình biến phân vẫn tiếp tục phát triển mạnh mẽ. Các nhà khoa học đang tìm kiếm các phương pháp mới để giải quyết các bài toán phức tạp hơn, cũng như mở rộng phạm vi ứng dụng của phương trình này. Các hướng nghiên cứu tiềm năng bao gồm việc phát triển các thuật toán hiệu quả hơn, xây dựng các mô hình Logistic đa chiều và kết hợp phương trình này với các công cụ tính toán khoa học khác. Nghiên cứu của luận án đã mở rộng các bài toán được xét khi xét toán tử p- Laplace thay cho toán tử Laplace, thể hiện những đóng góp quan trọng cho lĩnh vực này.

6.1. Các Hướng Nghiên Cứu Mới Về Giải Thuật và Mô Hình

Một trong những hướng nghiên cứu quan trọng là phát triển các thuật toán giải hiệu quả hơn cho phương trình và bất phương trình Logistic. Các thuật toán này cần phải có khả năng xử lý các bài toán lớn và phức tạp, đồng thời đảm bảo tính hội tụ và độ chính xác.

6.2. Mở Rộng Ứng Dụng Phương Trình Logistic Sang Các Lĩnh Vực Mới

Phương trình Logistic có tiềm năng ứng dụng rộng rãi trong nhiều lĩnh vực khác nhau. Việc khám phá các ứng dụng mới và xây dựng các mô hình phù hợp là một hướng nghiên cứu quan trọng. Chẳng hạn, phương trình Logistic có thể được sử dụng để mô hình hóa các hệ thống sinh thái, các mạng xã hội hoặc các quá trình tài chính.

Nội dung chính

Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số phương trình và bất phương trình dạng logistic" được thực hiện bởi nghiên cứu sinh Bùi Thế Quán, dưới sự hướng dẫn khoa học của PGS. Nguyễn Bích Huy, chuyên ngành Giải tích (mã số 9460102) tại Trường Đại học Sư phạm Thành phố Hồ Chí Minh (năm 2017).

Nghiên cứu xuất phát từ mô hình sinh thái học do M. MacCamy đề xuất năm 1977 mô tả sự tăng trưởng của loài đơn lẻ trong môi trường sống: $$u_t - \Delta u = \lambda a(x)u^\alpha - b(x)u^\beta \quad \text{trong } (0, +\infty) \times \Omega, \quad u = 0 \quad \text{trên } (0, +\infty) \times \partial\Omega$$ Trạng thái dừng của mô hình này dẫn đến phương trình elliptic dạng logistic cổ điển: $$-\Delta u = \lambda a(x)u^\alpha - b(x)u^\beta \quad \text{trong } \Omega, \quad u = 0 \quad \text{trên } \partial\Omega$$

Khoảng trống nghiên cứu được tác giả xác định dựa trên sự phát triển của lý thuyết toán học:

1. Khi toán tử vi phân tuyến tính Laplace $\Delta$ được thay thế bằng toán tử phi tuyến $p$-Laplace $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ hoặc các toán tử phi tuyến tổng quát, và tính chính quy của các hàm trọng $a(x), b(x)$ bị giảm nhẹ, nghiệm cổ điển có thể không tồn tại, đòi hỏi phải nghiên cứu nghiệm yếu.
2. Khi vế phải của phương trình xuất hiện số hạng phụ thuộc vào gradient $\nabla u$, cấu trúc biến phân thông thường bị phá vỡ, khiến các phương pháp biến phân cổ điển (tìm điểm dừng của phiếm hàm năng lượng) không thể áp dụng trực tiếp.
3. Các nghiên cứu trước đây về phương trình chứa số hạng Kirchhoff hoặc bất phương trình biến phân dạng logistic phần lớn chỉ giới hạn ở trường hợp toán tử Laplace cấp hai, hàm phi tuyến không chứa $\nabla u$, hoặc giả thiết tính đơn điệu ngặt.

Mục tiêu nghiên cứu của luận án được cấu trúc thành bốn bài toán chính:

1. Bài toán 1 (Phương trình logistic suy rộng chứa đạo hàm của ẩn hàm): Khảo sát sự tồn tại và đa nghiệm của phương trình $-\Delta_p u = \lambda f(x, u, \nabla u) - g(x, u)$ trong $\Omega$, $u = 0$ trên $\partial\Omega$ trong cả ba trường hợp: dưới tuyến tính ($\alpha < p - 1$), tuyến tính ($\alpha = p - 1$) và trên tuyến tính ($\alpha > p - 1$).
2. Bài toán 2 (Bất phương trình biến phân dạng logistic): Khảo sát sự tồn tại nghiệm không âm, không tầm thường của bất phương trình biến phân $(\Delta_p u, v - u) + \int_\Omega g(x, u)(v - u)dx \ge \int_\Omega f(x, u, \nabla u)(v - u)dx, \forall v \in K$ trong trường hợp dưới tuyến tính và tuyến tính.
3. Bài toán 3 (Phương trình logistic chứa đạo hàm và số hạng Kirchhoff): Khảo sát sự tồn tại và không tồn tại nghiệm của phương trình $-M(x, |u|)\Delta_p u = \lambda f(x, u, \nabla u) - g(x, u, \nabla u)$ khi số hạng Kirchhoff $M$ có dạng tổng quát, dạng không suy biến và dạng suy biến.
4. Bài toán 4 (Hệ phương trình logistic): Khảo sát sự tồn tại nghiệm và đa nghiệm của hệ phương trình elliptic phi tuyến mở rộng mô hình cộng sinh sinh học $-\Delta_p u = \lambda f_1(x, u, v) - g_1(x, u)$, $-\Delta_p v = \lambda f_2(x, v, u) - g_2(x, v)$ trong $\Omega$, $u = v = 0$ trên $\partial\Omega$.

Đối tượng và phạm vi nghiên cứu:

• Đối tượng nghiên cứu: Bốn lớp phương trình vi phân đạo hàm riêng elliptic phi tuyến và bất phương trình biến phân chứa toán tử $p$-Laplace, số hạng dạng logistic và gradient của ẩn hàm.
• Phạm vi không gian: Miền mở $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) có biên $\partial\Omega$ trơn, số mũ $1 < p < N$, với các ẩn hàm thuộc các không gian Sobolev $W_0^{1,p}(\Omega)$ và không gian hàm khả vi liên tục $C_0^1(\bar{\Omega})$.
• Phạm vi lý thuyết: Nghiên cứu thuần túy lý thuyết giải tích phi tuyến định tính, tập trung vào việc chứng minh sự tồn tại, tính không tầm thường và đa nghiệm của nghiệm yếu không âm.

Tổng quan tài liệu và vị trí của luận án

Luận án tổng thuật lịch sử phát triển của các phương trình dạng logistic và các công cụ giải tích liên quan thông qua hệ thống tài liệu trích dẫn:

Lĩnh vực nghiên cứu	Các công trình tiền đề tiêu biểu	Hướng tiếp cận và kết quả trước đây
Phương trình logistic cổ điển ($p=2, p \ne 2$)	M. MacCamy (1977); Fraile và cộng sự (1996) [28]; Delgado (2003) [21, 22]; Cuesta (2003) [16]; Díaz - Saa (1987) [23]; García-Melián - Sabina de Lis (2001) [32, 33, 34, 35]	Nghiên cứu tính tồn tại, duy nhất, dáng điệu tiệm cận và sự phân nhánh nghiệm của phương trình dừng khi hàm trọng $a(x), b(x)$ liên tục hoặc khả tích.
Hàm trọng suy biến / không bị chặn	Bandle - Essén (1994) [10]; Kaper và cộng sự (1994) [42]; Du - Huang (1999) [26]; Godoy và cộng sự (2001) [44]	Khảo sát bài toán với trọng số kỳ dị hoặc đổi dấu bằng phương pháp biến phân và nghiệm dưới - nghiệm trên.
Phương trình logistic trên tuyến tính không chứa gradient	Cardinali - Rubbioni (2014) [12]; Iturriaga và cộng sự (2012) [48]	Áp dụng phương pháp biến phân, chứng minh tồn tại $\lambda_* > 0$ sao cho phương trình có ít nhất 2 nghiệm khi $\lambda > \lambda_$, 1 nghiệm khi $\lambda = \lambda_$ và vô nghiệm khi $\lambda < \lambda_*$.
Phương trình logistic chứa đạo hàm $\nabla u$	Ko - Lee (2014) [50]; Ruiz (2004) [67]	Dùng phương pháp đánh giá tiên nghiệm kết hợp lý thuyết phân nhánh; bài toán của Ruiz xét hàm trọng $a(x)$ triệt tiêu trên miền con $\Omega_0$; các tác giả chỉ mới chứng minh được sự tồn tại của ít nhất 1 nghiệm.
Bất phương trình biến phân	Hartman - Stampacchia (1966); Smith (1979); Dafermos (1980); Ancona (1982) [9]; Carl và cộng sự (2007) [15]; Gasiński - Papageorgiou (2006) [31]; Hu - Papageorgiou (2011) [45]	Áp dụng trong tối ưu, bài toán biên, cân bằng giao thông; công trình [45] nghiên cứu bài toán với vế phải đơn điệu, không chứa $\nabla u$ bằng phương pháp nghiệm dưới và ánh xạ tăng.
Phương trình chứa số hạng Kirchhoff	Kirchhoff (1883); Alves và cộng sự (2005) [4]; Corrêa - Figueiredo (2006) [13]; Azzollini (2012) [6]; Figueiredo (2013) [29]; Alves - Corrêa (2001) [3]; Corrêa - Morais (2009) [30]	Nghiên cứu bài toán dao động dừng; [3] dùng phương pháp nghiệm trên - nghiệm dưới với $p=2$; [30] dùng bậc tô pô cho $-(a(x)+b(x)|u|^\gamma)\Delta u = \lambda u^q$, phát hiện hiện tượng khoảng tham số bị chặn khi $b(x)$ suy biến.
Hệ phương trình logistic	López-Gómez - Molina-Meyer (2006) [59]; Du (2006) [24]; Chen - Zou (2014) [14]; Motreanu và cộng sự (2014) [61, 62, 63]; Cingolani (2000) [20]; Afrouzi và cộng sự (2014) [1, 2]	Khảo sát mô hình cạnh tranh, thú - mồi, cộng sinh; công trình [20] xét hệ cộng sinh với $p=r=2, q=s=1$; các công trình [1, 2] nghiên cứu hệ elliptic với hàm trọng đổi dấu.

Khoảng trống học thuật mà luận án lựa chọn giải quyết:

• Xây dựng phương pháp xử lý khi vế phải chứa đồng thời số hạng phi tuyến phụ thuộc gradient $\nabla u$ và các số hạng không thỏa mãn tính chất đơn điệu, khắc phục sự bế tắc của phương pháp biến phân.
• Đạt được kết quả đa nghiệm (ít nhất hai nghiệm không âm không tầm thường) cho phương trình logistic suy rộng và hệ phương trình logistic trong trường hợp trên tuyến tính, vượt qua hạn chế của các công trình [50, 67] vốn chỉ xác lập sự tồn tại một nghiệm.
• Mở rộng bài toán Kirchhoff từ toán tử Laplace sang toán tử $p$-Laplace với $g \ne 0$ và vế phải chứa $\nabla u$, đồng thời xác định tường minh các ngưỡng tham số tồn tại và không tồn tại nghiệm khi hệ số $b(x)$ suy biến.

Cơ sở lý thuyết và phương pháp nghiên cứu

Luận án dựa trên nền tảng lý thuyết giải tích phi tuyến và không gian Banach có thứ tự:

1. Khung lý thuyết và khái niệm cốt lõi

• Không gian Banach có thứ tự và nón dương: Cặp $(E, K)$ trong đó $E$ là không gian Banach, $K \subset E$ là nón dương lồi đóng ($\lambda K \subset K, \forall \lambda > 0$ và $K \cap (-K) = {0}$). Thứ tự bộ phận được định nghĩa bởi $x \le y \iff y - x \in K$.
• Bậc tô pô trong nón: Ký hiệu $i(F, D, K)$ là bậc tô pô của toán tử compact $F: \bar{D} \to K$ trên tập mở bị chặn tương đối $D \subset K$. Bậc tô pô kế thừa đầy đủ các tính chất của bậc Leray - Schauder (tính chuẩn hóa, tính bất biến qua đồng luân, tính chất nghiệm).
  • Mệnh đề 1.1: Nếu tồn tại $u_0 \in D$ sao cho $F(u) - u \ne t(u - u_0), \forall t > 0, \forall u \in \partial D$, thì $i(F, D, K) = 1$.
  • Mệnh đề 1.2: Nếu tồn tại $u_0 \in K \setminus {0}$ sao cho $u \ne F(u) + tu_0, \forall t > 0, \forall u \in \partial D$, thì $i(F, D, K) = 0$.
  • Định lý dạng Leggett - Williams (Mệnh đề 1.3 - 1.4): Sử dụng phiếm hàm lõm liên tục $\psi(u) = \sup{t \in \mathbb{R}: u \ge tu_0}$ với $u_0 \in \text{int}K$ để thiết lập sự tồn tại của ít nhất hai điểm bất động không tầm thường trong nón.
• Toán tử $p$-Laplace: Ánh xạ $A: W_0^{1,p}(\Omega) \to W^{-1,p'}(\Omega)$ xác định bởi $\langle Au, v \rangle = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v dx$. Toán tử $A$ liên tục, bị chặn, thuộc lớp $(S_+)$ (nghĩa là nếu $u_n \rightharpoonup u$ yếu và $\limsup \langle Au_n, u_n - u \rangle \le 0$ thì $u_n \to u$ mạnh), có tính chất đơn điệu dạng $\langle Au - Av, (u - v)^+ \rangle \le 0 \implies u \le v$ h.k.n., và toán tử nghịch đảo $A^{-1}$ là compact từ $L^\infty(\Omega)$ vào $C_0^1(\bar{\Omega})$.
• Giá trị riêng chính: Giá trị riêng $\lambda_0$ nhỏ nhất của toán tử $p$-Laplace có trọng số $-\Delta_p u = \lambda m(x)|u|^{p-2}u$, được đặc trưng bởi biến phân Rayleigh: $$\lambda_0 = \inf_{u \in W_0^{1,p}(\Omega)\setminus{0}} \frac{\int_\Omega |\nabla u|^p dx}{\int_\Omega m(x)|u|^p dx}$$ Hàm riêng tương ứng $\varphi_0$ thỏa mãn $\varphi_0 \in \text{int}(C_0^1(\bar{\Omega})) = {u \in C_0^1(\bar{\Omega}): u(x) > 0 \text{ trong } \Omega, \frac{\partial u}{\partial \nu}(x) < 0 \text{ trên } \partial\Omega}$.

2. Phương pháp nghiên cứu thực tế

Tác giả áp dụng quy trình phương pháp luận thống nhất gồm ba giai đoạn giải tích cho toàn bộ các bài toán:

1. Xây dựng toán tử giải của bài toán phụ: Áp dụng định lý Brezis - Browder [11] (cho phương trình) và kết quả của Ancona [9] (cho bất phương trình biến phân) để chứng minh tính giải được duy nhất của một bài toán phụ với vế phải $h \in W^{-1,p'}(\Omega)$. Từ đó xác định toán tử giải $P: W^{-1,p'}(\Omega) \to W_0^{1,p}(\Omega)$ có tính chất tăng, liên tục và compact từ $L^\delta(\Omega)$ vào $W_0^{1,p}(\Omega)$ (hoặc $C_0^1(\bar{\Omega})$).
2. Quy bài toán vi phân về bài toán điểm bất động: Kết hợp toán tử giải $P$ với toán tử Nemytskii $N_f(u)(x) = f(x, u(x), \nabla u(x))$ để chuyển bài toán biên ban đầu thành phương trình điểm bất động $u = P(N(u))$ của ánh xạ hoàn toàn liên tục trên nón dương.
3. Đánh giá tiên nghiệm và tính bậc tô pô trong nón:
   • Dùng các bất đẳng thức Sobolev, Hölder, Young, bất đẳng thức nội suy và tính chính quy phi tuyến (Lieberman [57], De Giorgi - Stampacchia [38], Vázquez [73]) để thiết lập hình cầu bán kính lớn $B(0, R)$ không chứa nghiệm trên biên đối với phép đồng luân về gốc ($i(P \circ N, B(0, R), K) = 1$).
   • Dùng hàm riêng chính $\varphi_0$ và bất đẳng thức Díaz - Saa [23] để thiết lập hình cầu bán kính nhỏ $B(0, r)$ không chứa nghiệm trên biên đối với phép tịnh tiến theo hướng $u_0$ ($i(P \circ N, B(0, r), K) = 0$).
   • Kết luận sự tồn tại điểm bất động $u \in B(0, R) \setminus \overline{B(0, r)}$; trong trường hợp trên tuyến tính, áp dụng định lý dạng Leggett - Williams trên tập mở $G = {u \in K: |u|_{C^1} < R, \psi(u) > d}$ để tách biệt ít nhất hai nghiệm.

Nghiên cứu không sử dụng công cụ mô phỏng số hay dữ liệu thực nghiệm, toàn bộ kết quả được phát triển bằng phương pháp chứng minh giải tích toán học thuần túy.

Nội dung chính theo từng chương

Chương 1: Một số kết quả cần thiết

Chương 1 hệ thống hóa các định lý bổ trợ làm công cụ cho toàn bộ luận án:

• Trình bày cấu trúc không gian Banach có thứ tự sinh bởi nón dương $K$ và lý thuyết bậc tô pô trong nón $i(F, D, K)$.
• Chứng minh chi tiết các mệnh đề tính bậc tô pô (Mệnh đề 1.1, 1.2, 1.3) và định lý kiểu Leggett - Williams (Mệnh đề 1.4) thông qua hàm lõm $\psi(u) = \sup{t \in \mathbb{R}: u \ge tu_0}$.
• Trình bày các tính chất giải tích của toán tử $p$-Laplace $A: W_0^{1,p}(\Omega) \to W^{-1,p'}(\Omega)$ thuộc lớp $(S_+)$, tính chất nghịch đảo compact $A^{-1}: L^\infty(\Omega) \to C_0^1(\bar{\Omega})$.
• Khảo sát giá trị riêng chính $\lambda_0$ và hàm riêng chính dương $\varphi_0 \in \text{int}(C_0^1(\bar{\Omega}))$.
• Chứng minh Mệnh đề 1.5: Phương trình $-\Delta_p u = \lambda m(x)|u|^{p-2}u + v_0$ trong $\Omega$, $u=0$ trên $\partial\Omega$ với $v_0 \ge 0, v_0 \ne 0$ không có nghiệm không âm $u \ge 0$ khi $\lambda > \lambda_0$.

Chương 2: Phương trình logistic suy rộng chứa đạo hàm

Chương 2 khảo sát bài toán Dirichlet: $$-\Delta_p u = \lambda f(x, u, \nabla u) - g(x, u) \quad \text{trong } \Omega, \quad u = 0 \quad \text{trên } \partial\Omega$$ dưới điều kiện chính $(f): |f(x, u, v)| \le m(x)|u|^\alpha + c|v|^\tau$ với $\alpha < p^* - 1, \tau < \frac{p}{p'}, m \in L^q(\Omega), q > (\frac{p^}{1+\alpha})'$, trong đó $p^ = \frac{Np}{N-p}$ là số mũ Sobolev tới hạn.

Các kết quả chính của chương gồm:

• Xây dựng toán tử: Chứng minh toán tử giải $P$ sinh từ định lý Brezis - Browder kết hợp với toán tử Nemytskii $N_f$ tạo thành toán tử compact $P \circ N_f$ từ $W_0^{1,p}(\Omega)$ vào chính nó (và từ $C_0^1(\bar{\Omega})$ vào $C_0^1(\bar{\Omega})$).
• Trường hợp dưới tuyến tính ($\alpha < p - 1$, Định lý 2.1): Với giả thiết $\tau < p - 1$ hoặc $\tau < \frac{p(\beta+1)}{\beta+p}$ cùng với điều kiện $g(x, u) \ge au^\beta - b(x)$, phương trình có ít nhất một nghiệm không âm không tầm thường với mọi $\lambda > 0$.
• Trường hợp tuyến tính ($\alpha = p - 1$, Định lý 2.2): Giả thiết tồn tại hàm $m_1(x) \ge 0, m_1 \ne 0$ là tiệm cận dưới của $f(x, u, v)/u^{p-1}$ khi $u \to 0^+$. Phương trình có ít nhất một nghiệm không âm không tầm thường với mọi $\lambda > \lambda_0$, trong đó $\lambda_0$ là giá trị riêng chính của toán tử $-\Delta_p u = \lambda m_1(x)|u|^{p-2}u$.
• Trường hợp trên tuyến tính ($\alpha > p - 1$, Định lý 2.3 và Định lý 2.4): Xét $p - 1 < \alpha < \beta < p^* - 1$ và $\tau < \frac{p(\alpha+1)}{\alpha+p}$. Tác giả chứng minh tồn tại hằng số $\bar{\lambda} > 0$ sao cho với mọi $\lambda > \bar{\lambda}$, bài toán có ít nhất HAI nghiệm không âm không tầm thường trong không gian $C_0^1(\bar{\Omega})$.

Chương 3: Bất phương trình biến phân dạng logistic

Chương 3 nghiên cứu bất phương trình biến phân: $$\langle Au, v - u \rangle + \int_\Omega g(x, u)(v - u)dx \ge \int_\Omega f(x, u, \nabla u)(v - u)dx, \quad \forall v \in K$$ với $K$ là nón các hàm không âm trong $W_0^{1,p}(\Omega)$.

Các nội dung và phát hiện giải tích:

• Xây dựng toán tử giải cho bài toán biến phân: Sử dụng kết quả của Ancona [9] để chứng minh bài toán phụ $\langle Au, v - u \rangle + \int_\Omega g(x, u)(v - u)dx \ge \langle z, v - u \rangle, \forall v \in K$ có nghiệm duy nhất $u = P(z)$ với mọi $z \in W^{-1,p'}(\Omega)$. Ánh xạ $P$ là ánh xạ tăng, liên tục và compact từ $L^\delta(\Omega)$ vào $W_0^{1,p}(\Omega)$ khi $\delta > (p^*)'$.
• Trường hợp dưới tuyến tính ($\alpha < p - 1$, Định lý 3.1): Chứng minh sự tồn tại của ít nhất một nghiệm không tầm thường thuộc $K$ dưới điều kiện $\tau < p - 1$ hoặc $\tau < \frac{p(\beta+1)}{\beta+p}$.
• Trường hợp tuyến tính ($\alpha = p - 1$, Định lý 3.2 và Định lý 3.3):
  • Khi $0 < f(x, u, v) \le m_1(x)u^{p-1} + c|v|^\tau$ và giá trị riêng chính tương ứng thỏa mãn $\lambda_0 < 1$, bất phương trình biến phân có ít nhất một nghiệm dương (Định lý 3.2).
  • Khi điều kiện của $f$ được mở rộng thành $0 < f(x, u, v) \le m(x)u^{p-1}(1 + c|v|^\tau)$ với $\tau < p(1 - \frac{1+\alpha}{p^*})$, bài toán vẫn bảo toàn sự tồn tại nghiệm dương khi $\lambda_0 < 1$ (Định lý 3.3).

Chương 4: Phương trình logistic chứa số hạng Kirchhoff

Chương 4 khảo sát phương trình dừng mô tả dao động dây đàn hồi phi đồng nhất: $$-M(x, |u|)\Delta_p u = \lambda f(x, u, \nabla u) - g(x, u, \nabla u) \quad \text{trong } \Omega, \quad u = 0 \quad \text{trên } \partial\Omega$$ trong đó $|u| = (\int_\Omega |\nabla u|^p dx)^{1/p}$.

Các kết quả phân tích theo từng dạng của hàm Kirchhoff $M(x, t)$:

• Trường hợp $M(x, t)$ tổng quát (Mục 4.3.1): Khi $f$ là hàm $(p-1)$-dưới tuyến tính, phương trình có nghiệm không âm không tầm thường với mọi $\lambda > 0$.
• Trường hợp $M(x, t) = a(x) + b(x)t^\gamma$ không suy biến (Mục 4.3.2): Với giả thiết $\min_{x \in \bar{\Omega}} b(x) > 0, a(x) \ge a_0 > 0$:
  • Nếu $f$ dưới tuyến tính: Bài toán có nghiệm với mọi $\lambda > 0$.
  • Nếu $f$ tuyến tính: Bài toán có nghiệm với mọi $\lambda > \lambda_0$.
• Trường hợp $M(x, t) = a(x) + b(x)t^\gamma$ suy biến (Mục 4.3.3): Khi tập hợp ${x \in \Omega: b(x) = 0}$ có phần trong $\Omega_0 = \text{int}{x \in \Omega: b(x) = 0} \ne \emptyset$ là miền con chính quy và $f$ là hàm tuyến tính:
  • Tác giả chứng minh bài toán có nghiệm khi tham số $\lambda \in (\lambda_1, \lambda_2)$ và vô nghiệm khi $\lambda > \lambda_2 + \sigma$ (trong đó $\lambda_1, \lambda_2, \sigma$ là các hằng số dương xác định tường minh từ dữ liệu bài toán).
  • Khi $g = 0$, hằng số $\sigma = 0$, kết quả này khôi phục và mở rộng phát hiện của Corrêa và Morais (2009) [30] từ toán tử Laplace sang $p$-Laplace.

Chương 5: Hệ phương trình logistic

Chương 5 nghiên cứu hệ phương trình elliptic mở rộng mô hình cộng sinh hai loài: $$\begin{cases} -\Delta_p u = \lambda f_1(x, u, v) - g_1(x, u) & \text{trong } \Omega \ -\Delta_p v = \lambda f_2(x, v, u) - g_2(x, v) & \text{trong } \Omega \ u = v = 0 & \text{trên } \partial\Omega \end{cases}$$

Các phát hiện chính của chương:

• Đưa hệ về phương trình điểm bất động trên tích không gian Banach $W_0^{1,p}(\Omega) \times W_0^{1,p}(\Omega)$ thông qua hai toán tử giải độc lập $P_1, P_2$.
• Trường hợp dưới tuyến tính (Mục 5.3.1): Hệ có ít nhất một nghiệm không âm $(u, v) \ne (0, 0)$ với mọi $\lambda > 0$.
• Trường hợp tuyến tính (Mục 5.3.1): Hệ có ít nhất một nghiệm không âm không tầm thường khi $\lambda > \lambda_0$ (với $\lambda_0$ là giá trị riêng chính liên kết của hệ).
• Trường hợp trên tuyến tính (Mục 5.3.2): Hệ có ít nhất HAI nghiệm không âm không tầm thường trong không gian $C_0^1(\bar{\Omega}) \times C_0^1(\bar{\Omega})$ khi $\lambda$ đủ lớn.

Kết quả và những đóng góp mới

Các đóng góp mới về mặt lý luận toán học được luận án thiết lập bao gồm:

1. Thiết lập khung phương pháp thống nhất: Xây dựng thành công phương pháp luận giải tích phi tuyến thống nhất dựa trên toán tử giải của bài toán phụ kết hợp bậc tô pô trong nón, áp dụng hiệu quả cho bốn lớp bài toán elliptic phi tuyến có cấu trúc phi biến phân do chứa gradient $\nabla u$.
2. Xác lập kết quả đa nghiệm cho lớp bài toán trên tuyến tính: Chứng minh sự tồn tại ít nhất hai nghiệm không âm không tầm thường cho phương trình logistic suy rộng chứa đạo hàm và hệ phương trình logistic cộng sinh khi $\lambda$ đủ lớn. Đây là kết quả mới chưa từng được công bố trước đó cho phương trình chứa đạo hàm (các công trình đi trước như [50, 67] chỉ đạt được một nghiệm).
3. Mở rộng lý thuyết bất phương trình biến phân phi tuyến: Thiết lập điều kiện đủ cho sự tồn tại nghiệm không tầm thường của bất phương trình biến phân dạng logistic chứa toán tử $p$-Laplace và số hạng đạo hàm trong cả hai trường hợp dưới tuyến tính và tuyến tính với điều kiện giá trị riêng chính $\lambda_0 < 1$.
4. Làm rõ tính chất suy biến của phương trình Kirchhoff: Mở rộng lý thuyết phương trình Kirchhoff sang toán tử $p$-Laplace và vế phải chứa đạo hàm $\nabla u$; chỉ ra sự tồn tại khoảng tham số bị chặn $(\lambda_1, \lambda_2)$ để bài toán có nghiệm và xác định ngưỡng chặn trên $\lambda_2 + \sigma$ khiến bài toán vô nghiệm khi số hạng Kirchhoff $b(x)$ suy biến.

Các kết quả của luận án đã được công bố trong 3 công trình khoa học chuyên ngành ([Q1], [Q2], [Q3] trong danh mục công trình của tác giả).

Hạn chế và hướng nghiên cứu tiếp

Dựa trên phạm vi và nội dung văn bản luận án:

• Hạn chế về phạm vi: Luận án chỉ xét các bài toán trên miền mở bị chặn $\Omega \subset \mathbb{R}^N$ với điều kiện biên Dirichlet thuần nhất $u = 0$ trên $\partial\Omega$. Nghiệm được khảo sát là nghiệm dừng (không phụ thuộc thời gian). Tính duy nhất của nghiệm và cấu trúc phân nhánh toàn cục của đường cong nghiệm theo tham số $\lambda$ chưa được phân tích chi tiết cho tất cả các trường hợp do sự phức tạp của số hạng gradient.
• Hướng nghiên cứu tiếp:
  1. Mở rộng bài toán trên các miền không bị chặn (như toàn không gian $\mathbb{R}^N$ hoặc miền ngoài).
  2. Khảo sát bài toán với các điều kiện biên phi tuyến khác như điều kiện biên Neumann, Robin hoặc điều kiện biên phi địa phương.
  3. Khảo sát các hệ phương trình với các toán tử vi phân không đồng nhất (như hệ ghép giữa toán tử $p$-Laplace và $q$-Laplace) hoặc hệ phương trình chứa đồng thời số hạng Kirchhoff ở cả hai phương trình.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Giải tích phi tuyến và Phương trình đạo hàm riêng:

• Đối tượng hưởng lợi: Nghiên cứu sinh, học viên cao học, giảng viên và các nhà nghiên cứu thuộc chuyên ngành Toán giải tích, Phương trình vi phân và Toán ứng dụng trong sinh thái học.
• Các phần có giá trị tham khảo cao:
  • Chương 1 và Chương 2: Kỹ thuật áp dụng định lý dạng Leggett - Williams trên nón dương của không gian $C_0^1(\bar{\Omega})$ để tìm kiếm đa nghiệm cho các phương trình elliptic phi biến phân.
  • Chương 3: Quy trình xây dựng toán tử giải từ định lý Ancona cho bất phương trình biến phân phi tuyến.
  • Chương 4: Kỹ thuật đánh giá và phân tích hiện tượng suy biến đối với phương trình elliptic phi địa phương chứa số hạng Kirchhoff.

Câu hỏi thường gặp

1. Tại sao phương pháp biến phân cổ điển không áp dụng được cho các bài toán phương trình trong luận án? Phương pháp biến phân đòi hỏi phương trình vi phân phải là phương trình Euler - Lagrange của một phiếm hàm năng lượng xác định trên không gian Sobolev. Khi vế phải của phương trình xuất hiện số hạng phụ thuộc vào gradient của ẩn hàm ($\nabla u$), toán tử tương ứng không còn tính đối xứng và không có cấu trúc biến phân thế, do đó không thể tìm nghiệm bằng cách tìm điểm dừng hay áp dụng định lý đèo núi trực tiếp.

2. Kỹ thuật then chốt nào giúp tác giả chứng minh được sự tồn tại của hai nghiệm trong trường hợp trên tuyến tính? Tác giả sử dụng Định lý điểm bất động dạng Leggett - Williams mở rộng (Mệnh đề 1.4) kết hợp với việc xây dựng phiếm hàm lõm liên tục $\psi(u) = \sup{t \in \mathbb{R}: u \ge tu_0}$ xác định trên phần trong của nón dương $\text{int}K$ trong không gian $C_0^1(\bar{\Omega})$, với $u_0$ là hàm riêng chính dương. Nhờ đó, tác giả tách biệt được không gian nghiệm thành các miền mở có bậc tô pô bằng 1 và chứng minh tồn tại hai điểm bất động khác nhau.

3. Giá trị riêng chính $\lambda_0$ đóng vai trò gì trong các định lý tồn tại nghiệm ở trường hợp tuyến tính? Trong trường hợp tuyến tính ($\alpha = p - 1$), $\lambda_0$ là giá trị riêng chính dương nhỏ nhất của bài toán $p$-Laplace có trọng số. Đối với phương trình logistic suy rộng (Chương 2, 4, 5), bài toán có nghiệm không tầm thường khi tham số $\lambda > \lambda_0$. Đối với bất phương trình biến phân (Chương 3), điều kiện tồn tại nghiệm dương đòi hỏi $\lambda_0 < 1$.

4. Hiện tượng gì xảy ra với phương trình Kirchhoff khi số hạng trọng $b(x)$ bị suy biến? Khi hàm trọng $b(x)$ không suy biến ($\min b(x) > 0$), phương trình Kirchhoff có nghiệm với mọi $\lambda > \lambda_0$. Tuy nhiên, khi $b(x)$ suy biến (tồn tại miền con $\Omega_0 \subset \Omega$ sao cho $b(x) = 0$), miền tồn tại nghiệm bị thu hẹp: phương trình chỉ có nghiệm khi $\lambda \in (\lambda_1, \lambda_2)$ và hoàn toàn vô nghiệm khi $\lambda > \lambda_2 + \sigma$, với $\lambda_1, \lambda_2, \sigma$ là các hằng số phụ thuộc dữ liệu bài toán.

5. Điểm khác biệt cơ bản giữa bài toán của luận án và các công trình của Ruiz (2004) hay Ko - Lee (2014) là gì? Các công trình của Ko - Lee (2014) [50] và Ruiz (2004) [67] sử dụng phương pháp đánh giá tiên nghiệm kết hợp lý thuyết phân nhánh và chỉ chứng minh được sự tồn tại của ít nhất một nghiệm. Luận án của Bùi Thế Quán đặt các điều kiện nhẹ hơn lên hàm phi tuyến $f$, đồng thời thiết lập được sự tồn tại của ít nhất hai nghiệm không âm không tầm thường trong trường hợp trên tuyến tính bằng phương pháp bậc tô pô trong nón.

Kết luận

Luận án tiến sĩ của tác giả Bùi Thế Quán đã nghiên cứu toàn diện bốn lớp phương trình vi phân và bất phương trình biến phân elliptic phi tuyến dạng logistic chứa toán tử $p$-Laplace, số hạng Kirchhoff và đạo hàm của ẩn hàm. Bằng cách thiết lập khung phương pháp tiếp cận thống nhất qua toán tử giải và bậc tô pô trong nón, công trình đã giải quyết thành công bài toán tồn tại nghiệm và đa nghiệm trong các trường hợp dưới tuyến tính, tuyến tính và trên tuyến tính. Các kết quả đạt được đã mở rộng nhiều công trình giải tích phi tuyến trong nước và quốc tế, cung cấp các đóng góp lý thuyết có giá trị học thuật cao cho chuyên ngành Giải tích toán học.