Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Điều kiện Landesman-Lazer suy rộng đối với một số lớp bài toán biên elliptic không tuyến tính" được thực hiện bởi nghiên cứu sinh Bùi Quốc Hưng, dưới sự hướng dẫn khoa học của PGS.TS Hoàng Quốc Toàn, thuộc chuyên ngành Phương trình vi phân và tích phân (mã số: 62460103) tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội năm 2016.

Tính cấp thiết và khoảng trống nghiên cứu

Lý thuyết phương trình đạo hàm riêng không tuyến tính đóng vai trò làm mô hình toán học cho nhiều hiện tượng vật lý và cơ học như truyền nhiệt phi tuyến, truyền sóng, dòng chất lỏng phi Newton, cơ học lượng tử và lý thuyết trường. Khi nghiên cứu các phương trình dạng phân kỳ $-\text{div}(a(x, \nabla u)) = f(x, u)$, việc tìm nghiệm cổ điển (nghiệm khả vi) thường không khả thi, đòi hỏi phải mở rộng khái niệm sang nghiệm yếu (nghiệm suy rộng) thông qua các phương pháp biến phân và lý thuyết điểm tới hạn.

Tuy nhiên, trong các bài toán biên elliptic không đều (hệ số phương trình không trơn hoặc suy biến, chẳng hạn hệ số $h(x) \in L^1_{\text{loc}}(\Omega)$) trên miền không bị chặn, nghiên cứu lý thuyết đối mặt với hai khó khăn kỹ thuật cơ bản:

  1. Phép nhúng Sobolev thông thường trên miền không bị chặn mất tính compact.
  2. Nghiệm yếu không tồn tại trong các không gian Sobolev thông thường $H^1(\Omega)$ hay $W_0^{1,p}(\Omega)$, do phiếm hàm năng lượng Euler-Lagrange liên kết có thể không xác định trên toàn không gian.

Bên cạnh đó, hiện tượng cộng hưởng (xảy ra khi phần tuyến tính tiệm cận của toán tử trùng với giá trị riêng của toán tử vi phân tương ứng) làm cho bài toán biên trở nên phức tạp hơn. Việc thiết lập các điều kiện đủ dạng Landesman-Lazer suy rộng để đảm bảo sự tồn tại nghiệm yếu cho các phương trình đơn và hệ phương trình elliptic nửa tuyến tính hoặc tựa tuyến tính không đều trên miền bị chặn và không bị chặn là một khoảng trống nghiên cứu cần được giải quyết.

Mục tiêu và nhiệm vụ nghiên cứu

Mục tiêu xuyên suốt của luận án là thiết lập các điều kiện dạng Landesman-Lazer suy rộng nhằm chứng minh sự tồn tại nghiệm yếu không tầm thường cho một số lớp bài toán biên elliptic không tuyến tính bị cộng hưởng. Các nhiệm vụ nghiên cứu cụ thể bao gồm:

  1. Xây dựng các không gian con Hilbert và Banach dạng Sobolev có trọng phù hợp để chứa nghiệm của bài toán không đều.
  2. Khảo sát tính khả vi Fréchet và tính chất hình học của phiếm hàm năng lượng Euler-Lagrange liên kết với bài toán.
  3. Thiết lập các điều kiện tiệm cận tích phân dạng Landesman-Lazer suy rộng để chứng minh phiếm hàm thỏa mãn điều kiện Palais-Smale và điều kiện bức (coercive).
  4. Áp dụng nguyên lý cực tiểu và định lý điểm yên ngựa của Rabinowitz để chứng minh sự tồn tại điểm tới hạn của phiếm hàm, từ đó khẳng định sự tồn tại nghiệm yếu của bài toán biên.

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

  • Đối tượng nghiên cứu: Nghiệm yếu của phương trình và hệ phương trình elliptic nửa tuyến tính không đều với điều kiện biên Neumann; nghiệm yếu của hệ phương trình tựa tuyến tính $(p, p)$-Laplacian không đều với điều kiện biên Dirichlet.
  • Phạm vi không gian: Không gian Euclid $\mathbb{R}^N$ với số chiều $N \ge 3$. Luận án khảo sát hai cấu trúc miền:
    • Miền $\Omega \subset \mathbb{R}^N$ không bị chặn, có biên $\partial \Omega$ trơn và bị chặn (áp dụng cho bài toán Neumann ở Chương 2).
    • Miền $\Omega \subset \mathbb{R}^N$ mở và bị chặn (áp dụng cho bài toán Dirichlet ở Chương 3).

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

Phương trình đạo hàm riêng khởi nguồn từ thế kỷ 18 trong các công trình của Euler, D'Alembert, Lagrange, Laplace và được phát triển mạnh mẽ từ thế kỷ 19 như chiếc cầu nối giữa toán học thuần túy và các khoa học ứng dụng theo mô tả của Poincaré. Vào những năm 1950–1960, lý thuyết phương trình đạo hàm riêng tuyến tính và bài toán biên elliptic trên đa tạp compact đã đạt nhiều thành tựu, thúc đẩy sự chuyển dịch trọng tâm sang lớp phương trình đạo hàm riêng phi tuyến.

Để khảo sát sự tồn tại nghiệm phi tuyến, nhiều phương pháp giải tích hàm đã được phát triển như phương pháp trực giao, toán tử đơn điệu, nguyên lý điểm bất động, phương pháp nghiệm trên – nghiệm dưới, lý thuyết bậc tôpô và phương pháp biến phân. Trong đó, phương pháp biến phân thông qua lý thuyết điểm tới hạn của phiếm hàm khả vi trong không gian Banach tỏ ra hiệu quả nhất.

Hướng nghiên cứu / Tác giả Công trình & Năm Nội dung và đóng góp chính liên quan
A. C. Lazer 1968 Thiết lập điều kiện cần và đủ cho sự tồn tại nghiệm tuần hoàn của phương trình vi phân thường phi tuyến bị cưỡng bức dưới tác động ngoại lực.
E. M. Landesman & A. C. Lazer 1970 [22] Đưa ra điều kiện Landesman-Lazer kinh điển cho bài toán Dirichlet elliptic cộng hưởng tại giá trị riêng $\lambda_k$: $\Delta u + \lambda_k u + g(u) = h(x)$ trên miền bị chặn.
P. H. Rabinowitz 1978, 1986 [30] Phát triển Định lý điểm yên ngựa (Saddle Point Theorem) và hệ thống hóa lý thuyết điểm tới hạn cho phiếm hàm khả vi Fréchet.
Dương Minh Đức & Nguyễn Thanh Vũ 1989 [13], 1999 [14] Thiết lập bổ đề biến dạng và định lý qua núi cho lớp phiếm hàm khả vi liên tục yếu $C_w^1$; mở đầu việc nghiên cứu bài toán elliptic không đều với trọng $h \in L^1_{\text{loc}}(\Omega)$.
Ngô Quốc Anh & Hoàng Quốc Toàn 2010, 2011 [27, 28] Mở rộng điều kiện Landesman-Lazer cho bài toán Dirichlet cộng hưởng đối với phương trình elliptic không đều dạng $p$-Laplacian tổng quát trong miền bị chặn.
N. Zographopoulos 2004 [37] Lần đầu tiên áp dụng điều kiện Landesman-Lazer để xét sự tồn tại nghiệm yếu cho hệ $(p, q)$-Laplacian cộng hưởng trong miền bị chặn với điều kiện biên Dirichlet.
D. Motreanu; Zeng-Qi Ou & Chun-Lei Tang 2008 [20], 2007 [29] Khảo sát hệ phương trình cộng hưởng trong miền không bị chặn và miền bị chặn, nhưng giới hạn ở trường hợp các hàm phi tuyến $g_1, g_2$ chỉ phụ thuộc đơn biến vào $u$ hoặc $v$.

Vị trí và khoảng trống luận án lựa chọn giải quyết: Hầu hết các nghiên cứu trước đây về điều kiện Landesman-Lazer chỉ tập trung vào phương trình đơn hoặc miền bị chặn với điều kiện biên Dirichlet. Đối với hệ phương trình, các tác giả đi trước thường giả định các số hạng phi tuyến tách biệt biến (nghĩa là $f_1(x, u)$ và $f_2(x, v)$). Luận án của Bùi Quốc Hưng đã giải quyết các khoảng trống học thuật này bằng cách:

  1. Mở rộng bài toán cộng hưởng sang điều kiện biên Neumann đối với phương trình và hệ phương trình nửa tuyến tính không đều trên miền không bị chặn $\Omega \subset \mathbb{R}^N$.
  2. Khảo sát hệ phương trình cộng hưởng trong đó các hàm phi tuyến $f_i(x, u, v)$ và hàm biên phi tuyến $g_i(x, u, v)$ ($i=1,2$) phụ thuộc đồng thời vào cả hai biến trạng thái $u$ và $v$.
  3. Mở rộng điều kiện Landesman-Lazer cho hệ tựa tuyến tính $(p, p)$-Laplacian có trọng không đều $h_i(x) \in L^1_{\text{loc}}(\Omega)$ trong miền bị chặn.

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

Khung lý thuyết và khái niệm sử dụng

Luận án vận dụng các khái niệm và công cụ của giải tích hàm phi tuyến hiện đại:

  • Đạo hàm Fréchet và đạo hàm Gâteaux: Khảo sát tính khả vi của phiếm hàm năng lượng Euler-Lagrange xác định trên không gian Banach.
  • Tính nửa liên tục dưới yếu (Weak Lower Semicontinuity): Sử dụng tính lồi của các số hạng năng lượng chính kết hợp với tính compact của phép nhúng để chứng minh phiếm hàm năng lượng đạt cực tiểu.
  • Điều kiện Palais-Smale $(PS)$ và điều kiện Cerami: Đóng vai trò là điều kiện compact hóa cho phiếm hàm trên không gian vô hạn chiều, đảm bảo mọi dãy Palais-Smale đều trích được dãy con hội tụ mạnh.
  • Nguyên lý cực tiểu và Định lý điểm yên ngựa của Rabinowitz: Cho không gian phân rã $X = Z \oplus Y$ với $\dim Z < \infty$, định lý xác định sự tồn tại giá trị tới hạn $c = \inf_{\gamma \in \Gamma} \max_{u \in M} F(\gamma(u))$.
  • Lý thuyết phổ của toán tử đạo hàm riêng: Nghiên cứu tính chất của giá trị riêng thứ nhất $\lambda_1$ (tính đơn, tính dương của hàm riêng $\phi_1 > 0$ thông qua bất đẳng thức Harnack).

Phương pháp nghiên cứu

Luận án sử dụng thuần túy phương pháp nghiên cứu lý thuyết toán học (định tính phương trình đạo hàm riêng):

  • Kỹ thuật không gian Sobolev có trọng: Xây dựng không gian hàm con $E \subset H^1(\Omega)$ hoặc $E \subset W_0^{1,p}(\Omega) \times W_0^{1,p}(\Omega)$ trang bị chuẩn tích phân có chứa trọng $h(x)$ và $a(x)$, chứng minh phép nhúng compact $E \hookrightarrow L^2(\Omega)$ và ánh xạ vết compact $E \to L^2(\partial \Omega)$ trên miền không bị chặn có biên bị chặn.
  • Phương pháp biến phân: Biến đổi bài toán biên tìm nghiệm yếu của phương trình vi phân thành bài toán tìm điểm tới hạn của phiếm hàm khả vi liên tục $I \in C^1(E, \mathbb{R})$.
  • Kỹ thuật ước lượng giải tích: Sử dụng bất đẳng thức Clarkson, bất đẳng thức Hölder, định lý hội tụ trội Lebesgue và phương pháp phản chứng để thiết lập điều kiện Palais-Smale và tính bức của phiếm hàm dựa trên các giả thiết tiệm cận tích phân Landesman-Lazer suy rộng.

Nguồn dữ liệu và tư liệu

Nguồn tư liệu của luận án là các hệ thống định lý, bổ đề giải tích hàm chuẩn mực cùng 4 công trình khoa học chuyên ngành do tác giả công bố (trong đó có 2 bài báo trên tạp chí Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie vào các năm 2014 và 2015).

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

CẤU TRÚC NỘI DUNG LUẬN ÁN:

Chương 1: Một số kiến thức chuẩn bị

Chương 1 hệ thống hóa các kết quả cơ sở làm nền tảng cho việc chứng minh các định lý ở Chương 2 và Chương 3:

  • Nguyên lý biến phân và tính khả vi: Trình bày định nghĩa đạo hàm Fréchet, Gâteaux và điều kiện đủ của Krasnoselskii để phiếm hàm tích phân $f(u) = \int_\Omega F(x, u, \nabla u)dx$ thuộc lớp $C^1(H^1)$. Trình bày các điều kiện tăng tự nhiên $F1)–F3)$ của hàm Lagrange.
  • Tính nửa liên tục dưới yếu và điều kiện Palais-Smale: Phân tích sự liên hệ giữa dãy cực tiểu, tính bức và tính nửa liên tục dưới yếu trong không gian Banach phản xạ; định nghĩa dãy Palais-Smale $(PS)_\beta$, điều kiện Cerami; thiết lập nguyên lý cực tiểu cho phiếm hàm $I \in C^1(X)$ và lớp phiếm hàm $C_w^1(X)$ theo nghĩa Dương Minh Đức (1989). Trình bày Định lý điểm yên ngựa Rabinowitz và Định lý qua núi (Mountain Pass Theorem).
  • Hiện tượng cộng hưởng và điều kiện Landesman-Lazer: Phân tích mô hình vật lý của dao động cưỡng bức $x'' + 2\beta x' + \omega_0^2 x = \frac{H}{m}\cos(\Omega t)$, giải thích hiện tượng cộng hưởng nhọn khi ma sát $\beta \approx 0$ và tần số góc ngoại lực $\Omega = \omega_0$. Trình bày bài toán Dirichlet cộng hưởng của Landesman-Lazer (1970) cho phương trình $-\Delta u = \lambda_k u + g(u) - h(x)$ và phân loại ba cấp độ cộng hưởng tiệm cận tại vô cùng của hàm $g(t)$. Điểm lại các mở rộng cho phương trình $p$-Laplacian và bài toán không đều của Ngô Quốc Anh và Hoàng Quốc Toàn.

Chương 2: Bài toán Neumann cộng hưởng đối với phương trình và hệ phương trình elliptic phi tuyến, không đều trong miền không bị chặn

Chương 2 khảo sát sự tồn tại nghiệm yếu của phương trình và hệ phương trình elliptic nửa tuyến tính không đều trên miền không bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) có biên $\partial \Omega$ trơn và bị chặn.

1. Bài toán phương trình nửa tuyến tính không đều với điều kiện biên Neumann

Xét bài toán biên: $$\begin{cases} -\text{div}(h(x)\nabla u) + a(x)u = \lambda_1 \theta(x)u + f(x, u) - k(x) & \text{trong } \Omega, \ \dfrac{\partial u}{\partial n} = g(x, u) & \text{trên } \partial \Omega. \end{cases}$$

Do $h(x) \in C(\bar{\Omega}) \subset L^1_{\text{loc}}(\bar{\Omega})$ và $a(x) \ge a_0 > 0$, luận án xây dựng không gian con Hilbert: $$E = \left{ u \in H^1(\Omega) : \int_\Omega \left( h(x)|\nabla u|^2 + a(x)|u|^2 \right) dx < +\infty \right}$$ với tích vô hướng $(u, v)E = \int\Omega (h(x)\nabla u \nabla v + a(x)uv)dx$. Tác giả chứng minh phép nhúng $E \hookrightarrow L^2(\Omega)$ và phép nhúng vết $E \to L^2(\partial \Omega)$ là compact.

Giá trị riêng thứ nhất $\lambda_1$ được xác định qua công thức biến phân: $$\lambda_1 = \inf_{0 \ne u \in E} \frac{\int_\Omega (h(x)|\nabla u|^2 + a(x)|u|^2)dx}{\int_\Omega \theta(x)|u|^2 dx}$$ và tồn tại duy nhất (sai khác hằng số) một hàm riêng dương $\phi_1 > 0$ trên $\bar{\Omega}$ ứng với $\lambda_1$ (sử dụng bất đẳng thức Harnack).

Điều kiện Landesman-Lazer suy rộng $(L^+)$: $$\int_\Omega F^{+\infty}(x)\phi_1(x)dx + \int_{\partial \Omega} h(x)G^{+\infty}(x)\phi_1(x)ds < \int_\Omega k(x)\phi_1(x)dx < \int_\Omega F_{-\infty}(x)\phi_1(x)dx + \int_{\partial \Omega} h(x)G_{-\infty}(x)\phi_1(x)ds$$ trong đó $F(x, s) = \int_0^s f(x, t)dt$, $G(x, s) = \int_0^s g(x, t)dt$, và các hàm tiệm cận $F^{+\infty}(x) = \liminf_{s \to +\infty} \frac{F(x, s)}{s}$, $F_{-\infty}(x) = \limsup_{s \to -\infty} \frac{F(x, s)}{s}$.

Kết quả chính (Định lý 2.7): Nếu các giả thiết $(F_1)$ và điều kiện $(L^+)$ (hoặc $(L^-)$) thỏa mãn, phiếm hàm năng lượng Euler-Lagrange $I(u) \in C^1(E, \mathbb{R})$ thỏa mãn điều kiện Palais-Smale và điều kiện bức trên $E$. Theo nguyên lý cực tiểu, bài toán có ít nhất một nghiệm yếu không tầm thường trong $E$.

2. Bài toán hệ phương trình nửa tuyến tính không đều với điều kiện biên phi tuyến

Xét hệ phương trình: $$\begin{cases} -\text{div}(h_1(x)\nabla u) + a_1(x)u = \lambda_{11} \theta_1(x)u + f_1(x, u, v) - k_1(x) & \text{trong } \Omega, \ -\text{div}(h_2(x)\nabla v) + a_2(x)v = \lambda_{21} \theta_2(x)v + f_2(x, u, v) - k_2(x) & \text{trong } \Omega, \ \dfrac{\partial u}{\partial n} = g_1(x, u, v), \quad \dfrac{\partial v}{\partial n} = g_2(x, u, v) & \text{trên } \partial \Omega. \end{cases}$$

Luận án xây dựng không gian tích Hilbert $E = E_1 \times E_2$ với chuẩn: $$|w|E^2 = \int\Omega \left( h_1(x)|\nabla u|^2 + h_2(x)|\nabla v|^2 + a_1(x)u^2 + a_2(x)v^2 \right) dx$$ Áp dụng nguyên lý cực tiểu và định lý điểm yên ngựa kết hợp với điều kiện Landesman-Lazer suy rộng cho hệ hai biến, tác giả chứng minh hệ phương trình tồn tại nghiệm yếu không tầm thường $w = (u, v) \in E$.

Chương 3: Bài toán cộng hưởng đối với hệ phương trình (p, p)−Laplacian trong miền bị chặn

Chương 3 xét hệ phương trình tựa tuyến tính $(p, p)$-Laplacian trên miền mở bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 3$): $$\begin{cases} -\text{div}\left( h_1(x)|\nabla u|^{p-2}\nabla u \right) = \lambda_1 |u|^{\alpha-1}|v|^{\beta-1}v + f(x, u, v) - k_1(x) & \text{trong } \Omega, \ -\text{div}\left( h_2(x)|\nabla v|^{p-2}\nabla v \right) = \lambda_1 |u|^{\alpha-1}|v|^{\beta-1}u + g(x, u, v) - k_2(x) & \text{trong } \Omega, \ u = v = 0 & \text{trên } \partial \Omega, \end{cases}$$ với $p \ge 2$, $\alpha + \beta = p$, $h_i \in L^1_{\text{loc}}(\Omega)$, $h_i(x) \ge 1$ và $k_i \in L^{p'}(\Omega)$ ($p' = \frac{p}{p-1}$). Giá trị riêng $\lambda_1$ liên kết với hệ $-\Delta_p u = \lambda |u|^{\alpha-1}|v|^{\beta-1}v$, $-\Delta_p v = \lambda |u|^{\alpha-1}|v|^{\beta-1}u$.

Trường hợp nghiên cứu Không gian hàm và công cụ giải tích Điều kiện Landesman-Lazer suy rộng Kết luận về nghiệm
Hệ không đều ($h_i(x) \ge 1$, $h_i \in L^1_{\text{loc}}(\Omega)$) (Mục 3.2) Không gian con $E \subset W_0^{1,p}(\Omega) \times W_0^{1,p}(\Omega)$; Lý thuyết điểm tới hạn & Nguyên lý cực tiểu. Điều kiện $(L)$ qua các giới hạn tích phân tiệm cận $F_i(x), G_j(x)$:
$\int_\Omega (F_1\phi_1 + G_1\phi_2)dx < 2\int_\Omega (\alpha k_1\phi_1 + \beta k_2\phi_2)dx < \int_\Omega (F_2\phi_1 + G_2\phi_2)dx$.		 Tồn tại ít nhất một nghiệm yếu không tầm thường $w = (u, v) \in E$.
Hệ tựa tuyến tính đều ($h_i(x) \equiv 1$) (Mục 3.3) Không gian $X = W_0^{1,p}(\Omega) \times W_0^{1,p}(\Omega)$; Định lý điểm yên ngựa Rabinowitz. Điều kiện đối xứng vi phân $\alpha \frac{\partial f}{\partial t} = \beta \frac{\partial g}{\partial s}$ cùng điều kiện tiệm cận biên $f^{+\infty}(x) < k_1(x) < f^{-\infty}(x)$ và $g^{+\infty}(x) < k_2(x) < g^{-\infty}(x)$. Tồn tại nghiệm yếu không tầm thường $w = (u, v) \in X$.

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

Luận án đã đạt được các đóng góp khoa học mới về mặt lý luận toán học:

  1. Xây dựng không gian hàm Sobolev có trọng thích hợp: Luận án đã đề xuất và thiết lập các không gian con Hilbert và Banach $E$ có trọng $h(x), a(x)$ để khắc phục hiện tượng mất tính compact của phép nhúng Sobolev trên miền không bị chặn, đồng thời đảm bảo phiếm hàm năng lượng Euler-Lagrange xác định tốt trên không gian này.
  2. Thiết lập điều kiện Landesman-Lazer suy rộng mới: Đưa ra các dạng điều kiện Landesman-Lazer mở rộng cho bài toán Neumann đối với phương trình đơn và hệ phương trình nửa tuyến tính trên miền không bị chặn, giải quyết trường hợp phiếm hàm tích phân có sự tham gia của cả tích phân trên miền $\Omega$ và tích phân biên trên $\partial \Omega$.
  3. Mở rộng phạm vi hàm phi tuyến cho hệ phương trình: Khác với các công trình trước đây chỉ xét các hàm phi tuyến đơn biến tách rời ($f_1(x,u)$ và $f_2(x,v)$), luận án đã giải quyết thành công bài toán cộng hưởng cho hệ mà các hàm phi tuyến $f_i(x, u, v)$ và điều kiện biên phi tuyến $g_i(x, u, v)$ phụ thuộc tương tác vào cả hai biến trạng thái $u$ và $v$.
  4. Mở rộng cho lớp toán tử tựa tuyến tính $(p, p)$-Laplacian có trọng: Chứng minh sự tồn tại nghiệm yếu cho hệ cộng hưởng $(p, p)$-Laplacian không đều trong miền bị chặn bằng cách kết hợp điều kiện Landesman-Lazer suy rộng với Định lý điểm yên ngựa và nguyên lý cực tiểu.

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

Hạn chế của luận án

  • Các kết quả nghiên cứu chỉ giới hạn trong lớp toán tử elliptic cấp hai dạng phân kỳ (nửa tuyến tính và $(p, p)$-Laplacian), chưa bao quát toán tử cấp cao.
  • Điều kiện đối với miền không bị chặn $\Omega \subset \mathbb{R}^N$ đòi hỏi biên $\partial \Omega$ phải trơn và bị chặn để đảm bảo tính compact của toán tử vết.
  • Đối với hệ $(p, p)$-Laplacian ở Chương 3, bậc của toán tử đối với hai biến $u$ và $v$ phải bằng nhau (cùng bậc $p$), và các hàm phi tuyến trong trường hợp điểm yên ngựa đòi hỏi điều kiện đối xứng đạo hàm riêng $\alpha \frac{\partial f}{\partial t} = \beta \frac{\partial g}{\partial s}$.

Hướng nghiên cứu tiếp

  • Nghiên cứu mở rộng điều kiện Landesman-Lazer suy rộng cho hệ phương trình tựa tuyến tính dạng $(p, q)$-Laplacian với bậc sai khác ($p \ne q$).
  • Khảo sát các bài toán biên elliptic cộng hưởng trên các miền không bị chặn có biên không bị chặn (chẳng hạn miền hình nón, miền dải).
  • Khảo sát bài toán cộng hưởng đối với các toán tử vi tích phân phi địa phương (non-local operators) như phân số Laplacian $(-\Delta)^s$.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên ngành có giá trị lý thuyết đối với các nhóm đối tượng:

  • Giảng viên, nghiên cứu sinh và học viên cao học ngành Toán giải tích, Phương trình vi phân và tích phân: Cung cấp tài liệu tham khảo chi tiết về kỹ thuyết điểm tới hạn, phương pháp biến phân và kỹ thuật giải quyết tính không compact trên miền không bị chặn.
  • Các nhà nghiên cứu giải tích phương trình đạo hàm riêng: Tham khảo phương pháp xây dựng không gian Sobolev có trọng và cách thiết lập điều kiện Palais-Smale cho các phiếm hàm tích phân có số hạng biên phi tuyến.
  • Các nhà nghiên cứu mô hình hóa toán học trong vật lý và cơ học: Cung cấp cơ sở giải tích chuẩn xác về sự tồn tại nghiệm cho các mô hình truyền nhiệt, truyền sóng phi tuyến và chất lỏng phi Newton có tham số tiệm cận tại các giá trị cộng hưởng.

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

1. Tại sao bài toán biên trong luận án được gọi là "bài toán biên không đều"?

Bài toán biên được gọi là không đều (irregular/singular) do sự xuất hiện của hệ số hàm $h(x) \in L^1_{\text{loc}}(\bar{\Omega})$ (không đòi hỏi khả vi hay bị chặn dưới đều bởi hằng số dương). Do đó, phiếm hàm năng lượng Euler-Lagrange liên kết với bài toán có thể không xác định trên toàn bộ không gian Sobolev thông thường $H^1(\Omega)$ hoặc $W_0^{1,p}(\Omega)$, buộc phải xây dựng một không gian con hẹp hơn $E$ để tìm nghiệm yếu.

2. Ý nghĩa cốt lõi của điều kiện Landesman-Lazer suy rộng trong luận án là gì?

Điều kiện Landesman-Lazer suy rộng thiết lập mối quan hệ bất đẳng thức tích phân giữa dáng điệu tiệm cận tại vô cùng của các số hạng phi tuyến ($F^{+\infty}, F_{-\infty}, G^{+\infty}, G_{-\infty}$) với hàm riêng dương $\phi_1$ ứng với giá trị riêng thứ nhất $\lambda_1$. Điều kiện này là chìa khóa để chứng minh phiếm hàm năng lượng thỏa mãn tính bức (coercive) và điều kiện Palais-Smale $(PS)$, loại bỏ khả năng dãy cực tiểu phân kỳ ra vô cùng.

3. Luận án khắc phục hiện tượng mất tính compact của phép nhúng Sobolev trên miền không bị chặn bằng cách nào?

Luận án giải quyết khó khăn này bằng hai kỹ thuật:

  1. Xây dựng không gian Hilbert có trọng $E$ với chuẩn tích hợp cả $h(x)|\nabla u|^2$ và $a(x)|u|^2$ (với $a(x) \ge a_0 > 0$), từ đó chứng minh phép nhúng $E \hookrightarrow L^2(\Omega)$ là compact.
  2. Tận dụng giả thiết biên $\partial \Omega$ trơn và bị chặn để bao biên trong một hình cầu $B_R(O)$, từ đó chứng minh ánh xạ vết từ $E$ vào $L^2(\partial \Omega)$ là compact.

4. Điểm mở rộng nổi bật của hệ $(p, p)$-Laplacian trong Chương 3 so với các công trình đi trước là gì?

Trong các công trình trước (như của N. Zographopoulos, D. Motreanu, Zeng-Qi Ou và Chun-Lei Tang), các hàm phi tuyến vế phải thường chỉ phụ thuộc đơn biến vào $u$ hoặc $v$. Chương 3 của luận án đã mở rộng thành công cho các hàm phi tuyến $f(x, u, v)$ và $g(x, u, v)$ phụ thuộc đồng thời vào cả hai biến trạng thái $(u, v)$ dưới điều kiện đối xứng vi phân và điều kiện tiệm cận Landesman-Lazer suy rộng.

5. Phiếm hàm năng lượng liên kết với bài toán cần thỏa mãn những điều kiện biến phân nào để khẳng định sự tồn tại nghiệm yếu?

Phiếm hàm năng lượng Euler-Lagrange $I(u)$ cần thỏa mãn: thuộc lớp khả vi liên tục $C^1(E, \mathbb{R})$; thỏa mãn điều kiện Palais-Smale trên $E$; bị chặn dưới và thỏa mãn điều kiện bức (đối với nguyên lý cực tiểu); hoặc thỏa mãn cấu trúc hình học tách không gian $X = Z \oplus Y$ với $\dim Z < \infty$ (đối với Định lý điểm yên ngựa Rabinowitz). Khi đó, điểm tới hạn của $I(u)$ chính là nghiệm yếu không tầm thường của bài toán biên.

Kết luận

Luận án tiến sĩ của tác giả Bùi Quốc Hưng đã nghiên cứu có hệ thống bài toán biên elliptic phi tuyến cộng hưởng thông qua phương pháp biến phân và lý thuyết điểm tới hạn. Công trình đã xây dựng thành công các không gian Sobolev có trọng phù hợp, giải quyết triệt để các rào cản giải tích do tính không đều của phương trình và tính không compact của miền không bị chặn. Việc thiết lập các điều kiện Landesman-Lazer suy rộng mới cho phương trình đơn và hệ phương trình nửa tuyến tính với điều kiện biên Neumann phi tuyến, cũng như hệ tựa tuyến tính $(p, p)$-Laplacian trong miền bị chặn, đã khẳng định sự tồn tại nghiệm yếu không tầm thường cho các lớp bài toán biên được khảo sát. Các kết quả này đóng góp những dẫn liệu lý thuyết giải tích quan trọng cho chuyên ngành Phương trình vi phân và tích phân.