Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Thanh Tùng với đề tài "Bài toán biên đối với một số lớp phương trình truyền sóng trong miền không trơn" được thực hiện tại Trường Đại học Sư phạm Hà Nội dưới sự hướng dẫn khoa học của TS. Vũ Trọng Lưỡng và GS. Nguyễn Mạnh Hùng. Luận án thuộc chuyên ngành Phương trình vi phân và tích phân, mã số 62 46 01 03, bảo vệ năm 2017.

Về tính cấp thiết và khoảng trống nghiên cứu, lý thuyết bài toán biên đối với phương trình đạo hàm riêng tuyến tính trong miền có biên trơn đã được hoàn thiện từ nửa đầu thế kỷ XX. Từ giữa thế kỷ XX, các nghiên cứu mở rộng sang miền có biên kỳ dị (chứa điểm nón, điểm góc, điểm lùi, đỉnh nón) đối với phương trình dừng (elliptic) và một số lớp phương trình không dừng (parabolic, hyperbolic). Tuy nhiên, hầu hết các kết quả đối với phương trình không dừng mới chỉ dừng lại ở các hình trụ hữu hạn hoặc phương trình tuyến tính thuần túy. Tác giả chỉ ra các khoảng trống khoa học cụ thể:

  1. Khi bổ sung hạng tử nhiễu phi tuyến vào phương trình hyperbolic cấp cao xét trong các hình trụ không trơn vô hạn thì tính giải được của bài toán chưa được làm rõ.
  2. Trên các miền có biên kỳ dị phức tạp hơn như miền có cạnh hoặc miền nón có cạnh (thay vì các điểm nón cô lập), tính giải được và tính chính quy theo biến thời gian của nghiệm yếu đối với phương trình hyperbolic nửa tuyến tính cấp hai vẫn là vấn đề mở.
  3. Đối với phương trình truyền sóng nửa tuyến tính có cấu trúc tắt dần (hệ đàn hồi có cấu trúc tắt dần), các kết quả đã công bố về sự tồn tại và tính phân rã của nghiệm mềm phần lớn chỉ áp dụng cho lớp hàm phi tuyến thỏa mãn điều kiện Lipschitz và các toán tử xét trên miền trơn.

Mục tiêu nghiên cứu của luận án được xác định gồm ba nội dung chính:

  • Mục tiêu 1: Nghiên cứu sự tồn tại và tính duy nhất của nghiệm yếu trên khoảng thời gian vô hạn $(0, \infty)$ trong không gian Sobolev đối với bài toán biên ban đầu cho phương trình hyperbolic nửa tuyến tính cấp cao trong các hình trụ không trơn.
  • Mục tiêu 2: Nghiên cứu sự tồn tại duy nhất và tính chính quy theo biến thời gian của nghiệm yếu trên đoạn $[0, T]$ trong không gian Sobolev có trọng đối với bài toán biên ban đầu cho phương trình hyperbolic nửa tuyến tính cấp hai trong miền có cạnh và miền nón có cạnh.
  • Mục tiêu 3: Nghiên cứu sự tồn tại và tính phân rã theo tốc độ mũ của nghiệm mềm đối với bài toán giá trị ban đầu không địa phương cho phương trình vi phân cấp hai nửa tuyến tính trong không gian Banach với cấu trúc tắt dần trên cả miền trơn và miền không trơn, trong đó thành phần phi tuyến thuộc lớp hàm liên tục bị chặn.

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

  • Đối tượng nghiên cứu: Nghiệm yếu toàn cục, nghiệm yếu địa phương và nghiệm mềm của các lớp phương trình truyền sóng nửa tuyến tính cấp cao, phương trình hyperbolic nửa tuyến tính cấp hai, và phương trình vi phân cấp hai trừu tượng có cấu trúc tắt dần.
  • Phạm vi không gian: Miền bị chặn $\Omega \subset \mathbb{R}^n$ có biên không trơn $\partial\Omega$; hình trụ hữu hạn $Q_T = \Omega \times (0, T)$ và hình trụ vô hạn $Q = \Omega \times (0, \infty)$; miền có cạnh $\Omega \subset \mathbb{R}^n$ có biên gồm hai mặt giao nhau theo một đa tạp; miền nón có cạnh $K \subset \mathbb{R}^3$ có đỉnh tại gốc tọa độ và các cạnh là các nửa đường thẳng; không gian Banach trừu tượng $X$.
  • Phạm vi thời gian: Khoảng thời gian hữu hạn $[0, T]$ với $0 < T < \infty$ và khoảng thời gian vô hạn $[0, \infty)$.

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

Tổng quan tài liệu trong luận án phân tích tiến trình phát triển của lý thuyết bài toán biên qua các giai đoạn:

  • Giai đoạn nửa đầu thế kỷ XX: Các bài toán biên tuyến tính cho phương trình và hệ phương trình đạo hàm riêng trên miền có biên trơn được nghiên cứu cơ bản hoàn thiện bởi S. Agmon, A. Douglis, L. Nirenberg (1959, 1964). Các bài toán dừng được xử lý bằng phép phân hoạch đơn vị đưa về toàn không gian hoặc nửa không gian theo công trình của J. L. Lions, E. Magenes (1972) và O. A. Ladyzhenskaya (1973, 1985). Bài toán không dừng trong hình trụ có đáy trơn được giải quyết bằng phép biến đổi Laplace hoặc Fourier.
  • Nghiên cứu miền có biên kỳ dị: V. A. Kondratiev (1967, 1970) giải quyết bài toán biên tổng quát cho phương trình elliptic trong miền có điểm nón, làm sáng tỏ tính đặt đúng, tính trơn và tiệm cận của nghiệm. Phương pháp của Kondratiev được V. G. Maz'ya và B. A. Plamenevskii (1973, 1977, 1978, 1980) kế thừa để nghiên cứu các hệ dừng trong miền có các điểm kỳ dị biên.
  • Lý thuyết toán tử pencil và miền đa diện: J. Rossmann (1991) nghiên cứu tính giải được của bài toán biên elliptic tổng quát trong không gian Sobolev có trọng và không gian Hölder có trọng trên các miền nhị diện, nón có cạnh và đa diện thông qua lý thuyết toán tử pencil.
  • Bài toán không dừng trong miền không trơn: Cuối thế kỷ XX, phương pháp cắt thiết diện được áp dụng để khảo sát bài toán không dừng với hệ số phụ thuộc thời gian (Nguyễn Mạnh Hùng và các cộng sự, 1994, 1997, 2000, 2002, 2005). Các công trình này xác định tính giải được, tính trơn và biểu diễn tiệm cận gần điểm nón, điểm góc, điểm đỉnh, điểm lùi cho hệ parabolic và hyperbolic trong trụ hữu hạn và trụ vô hạn. Năm 2007 và 2011, Nguyễn Mạnh Hùng và cộng sự sử dụng phương pháp xấp xỉ Galerkin khẳng định tính trơn và sự tồn tại duy nhất của nghiệm suy rộng cho phương trình hyperbolic cấp cao trong trụ vô hạn có biên bất kỳ hoặc chứa điểm nón. Năm 2012 và 2014, Nguyễn Mạnh Hùng và Vũ Trọng Lưỡng dùng phương pháp xấp xỉ biên khảo sát hệ hyperbolic cấp cao trong hình trụ có đáy chứa điểm đỉnh hoặc điểm lùi.
  • Hệ đàn hồi với cấu trúc tắt dần: D. L. Russell (1979) nghiên cứu mối liên hệ giữa toán tử đàn hồi và toán tử tắt dần. F. L. Huang (1998) phát triển bài toán thay thế toán tử đàn hồi. Năm 2013, X. Fan, Y. Li và N. Chen chứng minh sự tồn tại nghiệm mềm trong không gian Banach với hệ số tắt dần $\rho > 2$ và hàm phi tuyến Lipschitz. Năm 2014, X. Fan và P. Ly công bố kết quả về tính giải tích và tính ổn định mũ của nửa nhóm sinh bởi hệ đàn hồi có tắt dần; cùng năm, X. Fan và H. Gao nghiên cứu biểu diễn tiệm cận của nghiệm.

Khoảng trống mà luận án lựa chọn giải quyết: Luận án kết nối và mở rộng các kết quả trên sang ba hướng chưa được giải quyết trọn vẹn:

  1. Xét phương trình hyperbolic nửa tuyến tính cấp cao có chứa thành phần nhiễu phi tuyến phức tạp trong hình trụ không trơn vô hạn thay vì chỉ xét trường hợp tuyến tính hoặc hình trụ hữu hạn.
  2. Thiết lập tính giải được và tính chính quy theo biến thời gian của nghiệm trong không gian Sobolev có trọng đối với phương trình hyperbolic nửa tuyến tính cấp hai trên miền có cạnh và miền nón có cạnh.
  3. Khảo sát phương trình truyền sóng nửa tuyến tính có cấu trúc tắt dần với điều kiện ban đầu không địa phương khi hàm phi tuyến chỉ giả thiết liên tục bị chặn, loại bỏ điều kiện Lipschitz toàn cục của các công bố trước đó.

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

Luận án vận dụng hệ thống lý thuyết giải tích hàm hiện đại, giải tích phương trình đạo hàm riêng và lý thuyết phương trình tiến hóa trừu tượng:

  • Các không gian hàm và định lý nhúng:
    • Không gian Lebesgue $L_p(\Omega)$, $L_\infty(\Omega)$ và không gian các hàm phụ thuộc thời gian $L_p(0, T; X)$, $C([0, T]; X)$, $BC(\mathbb{R}^+; X)$ gồm các hàm liên tục bị chặn từ $\mathbb{R}^+$ vào không gian Banach $X$.
    • Không gian Sobolev $W^{m,p}(\Omega)$, $H^m(\Omega) = W^{m,2}(\Omega)$, $\mathring{H}^m(\Omega)$ là bao đóng của $C_0^\infty(\Omega)$ trong $H^m(\Omega)$. Định lý nhúng Sobolev và định lý nhúng compact Rellich-Kondrachov.
    • Không gian Sobolev có trọng trên miền có cạnh $V_{p,\alpha}^l(\Omega)$ (bao đóng của $C_0^\infty(\Omega \setminus l_0)$ tương ứng với chuẩn tích phân có trọng khoảng cách $r = |x'|$ tới cạnh $l_0$) và không gian $H_\alpha^l(\Omega) = V_{2,\alpha}^l(\Omega)$.
    • Không gian Sobolev có trọng trên miền nón có cạnh $V_{p,\beta,\vec{\delta}}^l(K)$ với trọng số gồm khoảng cách $\rho = |x|$ tới đỉnh nón và khoảng cách $r_k$ tới các cạnh $M_k$, với $\vec{\delta} = (\delta_1, \dots, \delta_d) \in \mathbb{R}^d$.
  • Các bất đẳng thức giải tích:
    • Bất đẳng thức Cauchy, bất đẳng thức Young và bất đẳng thức Hölder.
    • Các dạng phát biểu của bất đẳng thức Gronwall: dạng vi phân chuẩn, dạng tích phân (Bổ đề 1.1, Bổ đề 1.2) và dạng tích phân phi tuyến mở rộng (Bổ đề 1.3).
    • Bất đẳng thức Gagliardo-Nirenberg với hằng số tối ưu theo kết quả của Manuel Del Pino và Jean Dolbeault (2002) (Định lý 1.2, Định lý 1.3).
  • Lý thuyết toán tử và phương trình elliptic phụ trợ:
    • Toán tử tuyến tính đóng, compact, tự liên hợp; tập giải thức $\rho(A)$, phổ điểm $\sigma_p(A)$ và biểu diễn phổ của toán tử tự liên hợp trong không gian Hilbert.
    • Định lý Kondratiev (Định lý 1.4) về tính giải được của bài toán Dirichlet đối với phương trình elliptic cấp hai trong miền đa diện $L(x, D)u = f(x)$ trong không gian Sobolev có trọng $H_\alpha^{k+2}(\Omega)$.
    • Toán tử pencil $\mathcal{A}_k(\lambda, t)$ trên nhị diện bờ cạnh và toán tử pencil $\mathcal{L}(\lambda, t)$ trên nón; định lý về dải phổ không chứa giá trị riêng của toán tử pencil đối với hệ elliptic mạnh trong miền nón có cạnh (Bổ đề 1.8 trích từ J. Rossmann).
  • Lý thuyết nửa nhóm và độ đo không compact:
    • Định nghĩa $C_0$-nửa nhóm, nửa nhóm liên tục mạnh, nửa nhóm liên tục chuẩn, nửa nhóm giải tích, nửa nhóm compact và nửa nhóm ổn định mũ $|S(t)|_{\mathcal{L}(X)} \le M e^{-\delta t}$. Định lý Hille-Yosida và tiêu chuẩn nửa nhóm giải tích sinh bởi toán tử tự liên hợp.
    • Độ đo không compact (MNC): Độ đo Hausdorff $\chi(B)$, độ đo theo dãy $\chi^d$, độ đo $\omega_0$ trên $L_p(\mathbb{R}^N)$, và tính chất của MNC trên không gian hàm $C([0, T]; X)$ và $BC(\mathbb{R}^+; X)$.
    • Nguyên lý điểm bất động đối với ánh xạ nén theo độ đo không compact (Định lý Darbo-Sadovskii, Định lý 1.6, Định lý 1.7).

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

  • Phương pháp xấp xỉ Galerkin: Sử dụng hệ cơ sở trực chuẩn trong $L_2(\Omega)$ đồng thời trực giao trong $\mathring{H}^m(\Omega)$ để xây dựng hệ phương trình vi phân thường cấp hai xấp xỉ, kết hợp các đánh giá năng lượng tiên nghiệm.
  • Phương pháp thác triển nghiệm: Mở rộng nghiệm yếu từ đoạn hữu hạn $[0, T]$ lên nửa trục vô hạn $[0, \infty)$ dựa trên tính bị chặn đều của chuẩn năng lượng độc lập với $T$.
  • Phương pháp cắt thiết diện và khử tham số: Đưa phương trình không dừng về bài toán dừng (elliptic) chứa tham số thời gian để áp dụng các kết quả giải tích kỳ dị biên đa diện.
  • Phương pháp điểm bất động: Áp dụng nguyên lý điểm bất động Banach và nguyên lý điểm bất động Darbo-Sadovskii cho ánh xạ nén theo độ đo không compact.

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

Cấu trúc tổng thể của luận án gồm 4 chương với sự phân chia đối tượng và phương pháp nghiên cứu được tổng hợp trong bảng sau:

Chương Tên chương Đối tượng nghiên cứu Miền xác định Phương pháp giải quyết chính
Chương 1 Một số kiến thức chuẩn bị Không gian hàm, toán tử, bất đẳng thức, bài toán elliptic Miền đa diện, miền có cạnh, miền nón có cạnh Tổng thuật giải tích hàm, lý thuyết nhúng, lý thuyết nửa nhóm, độ đo không compact
Chương 2 Bài toán biên ban đầu đối với phương trình hyperbolic nửa tuyến tính trong các trụ không trơn Phương trình hyperbolic nửa tuyến tính cấp cao Hình trụ không trơn hữu hạn $Q_T$ và vô hạn $Q$ Phương pháp xấp xỉ Galerkin, đánh giá năng lượng tiên nghiệm, phương pháp thác triển
Chương 3 Bài toán Dirichlet-Cauchy đối với phương trình hyperbolic nửa tuyến tính trong các miền đa diện Phương trình hyperbolic nửa tuyến tính cấp hai Miền có cạnh $\Omega$ và miền nón có cạnh $K$ Nguyên lý ánh xạ co, bài toán elliptic chứa tham số, lý thuyết toán tử pencil
Chương 4 Phương trình truyền sóng nửa tuyến tính với cấu trúc tắt dần Phương trình vi phân cấp hai trừu tượng có cấu trúc tắt dần Miền trơn và không trơn (dạng trừu tượng trong Banach) Lý thuyết $C_0$-nửa nhóm giải tích, độ đo không compact Hausdorff, điểm bất động Darbo

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ả bổ trợ phục vụ cho việc chứng minh các định lý ở các chương sau. Nội dung gồm:

  • Định nghĩa chuẩn và tính chất của các không gian Sobolev $W^{m,p}(\Omega)$, $\mathring{H}^m(\Omega)$, $H_\gamma^m(\Omega)$, và các không gian trọng $V_{p,\alpha}^l(\Omega)$, $V_{p,\beta,\vec{\delta}}^l(K)$. Trình bày các định lý nhúng Sobolev liên tục và compact (Định lý 1.1) đối với miền có tính chất nón.
  • Trình bày hệ thống bất đẳng thức: Cauchy, Young, Hölder; các bổ đề về bất đẳng thức Gronwall dạng vi phân và tích phân (Bổ đề 1.1, Bổ đề 1.2, Bổ đề 1.3). Bất đẳng thức Gagliardo-Nirenberg tối ưu của Del Pino và Dolbeault (Định lý 1.2 và 1.3): $$|w|{L_p(\mathbb{R}^d)} \le A |\nabla w|{L_2(\mathbb{R}^d)}^\theta |w|{L{p+1}(\mathbb{R}^d)}^{1-\theta}$$
  • Lý thuyết toán tử tuyến tính bị chặn, toán tử đóng, toán tử compact, toán tử tự liên hợp trong không gian Hilbert và công thức biểu diễn phổ.
  • Thiết lập các bổ đề nhúng trong miền có cạnh và nón có cạnh:
    • Bổ đề 1.4: Nếu $u \in H_\alpha^k(\Omega)$ và $k > \alpha + n/2$ thì $u \in L_\infty(\Omega)$ và $|u(x)| \le C |u|{H\alpha^k(\Omega)}$.
    • Bổ đề 1.5: Nhúng liên tục $V_{p,\alpha}^l(\Omega) \hookrightarrow V_{q,\gamma}^k(\Omega)$ với các điều kiện tương ứng về chỉ số.
    • Bổ đề 1.6 và 1.7: Các nhúng liên tục của không gian $V_{p,\beta,\vec{\delta}}^l(K)$ trên miền nón có cạnh.
    • Bổ đề 1.8: Trích xuất kết quả của J. Rossmann về bài toán Dirichlet cho hệ elliptic mạnh trên miền nón có cạnh thông qua toán tử pencil $\mathcal{A}_k(\lambda, t)$ và $\mathcal{L}(\lambda, t)$, xác lập dải phổ không chứa giá trị riêng.
  • Cơ sở lý thuyết $C_0$-nửa nhóm giải tích, nửa nhóm co, nửa nhóm ổn định mũ. Ví dụ 1.1 chứng minh chi tiết toán tử Laplace âm $-\Delta$ sinh ra $C_0$-nửa nhóm giải tích, compact và liên tục chuẩn trên $L_2(\Omega)$.
  • Lý thuyết độ đo không compact: Các tiên đề của MNC; định nghĩa độ đo Hausdorff $\chi(Q)$; tính chất MNC trên $C([0, T]; X)$ và $BC(\mathbb{R}^+; X)$; các nguyên lý điểm bất động Darbo-Sadovskii đối với ánh xạ nén theo độ đo không compact (Định lý 1.6, Định lý 1.7).

Chương 2: Bài toán biên ban đầu đối với phương trình hyperbolic nửa tuyến tính trong các trụ không trơn

Chương 2 giải quyết bài toán biên ban đầu thứ nhất đối với phương trình hyperbolic nửa tuyến tính cấp cao: $$u_{tt} + (-1)^m Lu + F(x, t, u, Du, \dots, D^{m-1}u) = h(x, t), \quad (x, t) \in Q$$ với điều kiện biên thuần nhất: $$\frac{\partial^j u}{\partial \nu^j} = 0 \quad \text{trên } S, \quad j = 0, 1, \dots, m-1$$ và điều kiện ban đầu: $$u(x, 0) = \varphi(x), \quad u_t(x, 0) = \psi(x), \quad x \in \Omega$$

Toán tử vi phân $L$ có dạng: $$Lu = \sum_{|\alpha|, |\beta| \le m} D^\alpha \left( a_{\alpha\beta}(x, t) D^\beta u \right)$$ thỏa mãn điều kiện elliptic mạnh và đối xứng với hằng số dương $\beta$: $$\mathcal{B}[u, u; t] = (-1)^m \sum_{|\alpha|, |\beta| \le m} \int_\Omega (-1)^{|\alpha|} a_{\alpha\beta}(x, t) D^\beta u D^\alpha u , dx \ge \beta |u|_{\mathring{H}^m(\Omega)}^2$$

Thành phần phi tuyến $F$ có cấu trúc $F = \sum_{|\alpha| \le m-1} (-1)^{|\alpha|} D^\alpha F_\alpha$, trong đó tồn tại hàm thế vị $A(x, t, v_\alpha, |\alpha| \le m-1)$ sao cho $F_\alpha = \frac{\partial A}{\partial v_\alpha}$. Các hàm $F_\alpha$ và $A$ thỏa mãn các điều kiện tăng trưởng: $$|F_\alpha(x, t, v_0, \dots, v_{m-1})| \le C \left( 1 + \sum_{|\alpha| \le m-1} |v_\alpha|^{p+1} \right)$$ $$|F_\alpha(x, t, v) - F_\alpha(x, t, w)| \le C \sum_{|\alpha| \le m-1} \left( 1 + |v_\alpha|^p + |w_\alpha|^p \right) |v_\alpha - w_\alpha|$$ $$\left| \frac{\partial A}{\partial t} \right| \le C \left( 1 + \sum_{|\alpha| \le m-1} |v_\alpha|^2 \right)$$ trong đó số mũ $p$ thỏa mãn $2 \le p \le \frac{4}{n-2}$ khi $n > 2$ và $1 \le p < \infty$ khi $n = 2$. Văn bản minh họa cụ thể sự tồn tại của hàm $F$ thỏa mãn các điều kiện này bằng trường hợp $F_0 = u|u|^p$ và $F_i = u |u_{x_i}|^p \frac{\partial u}{\partial x_i}$.

Quá trình chứng minh sự tồn tại và duy nhất của nghiệm yếu địa phương trên $[0, T]$:

  • Sử dụng hệ hàm cơ sở ${w_j(x)}{j=1}^\infty \subset \mathring{H}^m(\Omega) \cap L_2(\Omega)$ trực chuẩn trong $L_2(\Omega)$ và trực giao trong $\mathring{H}^m(\Omega)$. Tìm nghiệm xấp xỉ Galerkin cấp $N$ có dạng: $$u^N(t) = \sum{j=1}^N g_j(t) w_j(x)$$
  • Hệ số $g_k(t)$ là nghiệm của hệ phương trình vi phân thường cấp hai phi tuyến: $$g_k''(t) + \sum_{j=1}^N B_{jk}(t) g_j(t) + f_k^N(t) = h_k(t), \quad k = 1, \dots, N$$
  • Thiết lập bất đẳng thức năng lượng tiên nghiệm (Bổ đề 2.2): $$\text{esssup}{0 \le t \le T} \left( |u_t^N(t)|{L_2(\Omega)}^2 + |u^N(t)|{\mathring{H}^m(\Omega)}^2 + |u^N(t)|{L_{p+2}(\Omega)}^{p+2} \right) \le C(T) \left( 1 + |h|{L_2(0, T; L_2(\Omega))}^2 + |\varphi|{\mathring{H}^m(\Omega)}^2 + |\psi|{L_2(\Omega)}^2 + |\varphi|{L_{p+2}(\Omega)}^{p+2} \right)$$
  • Qua giới hạn yếu và yếu sao khi $N \to \infty$, áp dụng tính compact khẳng định sự tồn tại của nghiệm yếu địa phương $u \in H^{2,m}(Q_T)$.
  • Sự tồn tại nghiệm yếu toàn cục: Nhờ các đánh giá năng lượng tiên nghiệm độc lập với khoảng thời gian và phương pháp thác triển nghiệm liên tục, tác giả chứng minh nghiệm yếu tồn tại duy nhất trên toàn bộ nửa trục thời gian $[0, \infty)$ trong không gian $H^{2,m}(Q)$.

Chương 3: Bài toán Dirichlet-Cauchy đối với phương trình hyperbolic nửa tuyến tính trong các miền đa diện

Chương 3 khảo sát phương trình hyperbolic nửa tuyến tính cấp hai ($m=1$) trong hai lớp miền kỳ dị biên cụ thể:

  1. Trong miền có cạnh $\Omega$:
    • Tác giả nghiên cứu bài toán tuyến tính tương ứng, thiết lập các đánh giá tiên nghiệm đối với nghiệm suy rộng.
    • Đối với bài toán nửa tuyến tính, áp dụng nguyên lý ánh xạ co (Banach fixed point theorem) trong không gian Banach thích hợp để chứng minh sự tồn tại và tính duy nhất của nghiệm yếu trên đoạn $[0, T]$.
    • Khảo sát tính chính quy theo biến thời gian của nghiệm: Biến đổi phương trình về dạng bài toán dừng trên thiết diện tại mỗi thời điểm $t$: $$Lu = h(x, t) - u_{tt}(x, t) - F(x, t, u, Du)$$ Bằng cách xem $t$ như tham số và áp dụng định lý Kondratiev (Định lý 1.4) cho bài toán Dirichlet elliptic trên miền đa diện, tác giả chứng minh nghiệm yếu $u(t)$ thuộc không gian Sobolev có trọng $H_\alpha^{k+2}(\Omega)$, từ đó suy ra tính trơn theo biến thời gian của nghiệm khi các hàm dữ kiện đầu vào đạt độ trơn tương ứng.
  2. Trong miền nón có cạnh $K \subset \mathbb{R}^3$:
    • Khảo sát bài toán trong các không gian Sobolev có trọng $V_{2,\beta,\vec{\delta}}^l(K)$.
    • Sử dụng các toán tử pencil $\mathcal{A}_k(\lambda, t)$ xác định trên nhị diện bờ cạnh và toán tử pencil $\mathcal{L}(\lambda, t)$ xác định tại đỉnh nón.
    • Dưới giả thiết dải số thực đóng nối giữa các đường thẳng $\lambda = l - \beta - 3/2$ và $\lambda = l' - \beta' - 3/2$ không chứa các giá trị riêng của toán tử pencil $\mathcal{A}k(\lambda, t)$, tác giả chứng minh tính giải được duy nhất và thiết lập đánh giá chính quy của nghiệm yếu trong $V{2,\beta,\vec{\delta}}^l(K)$ cho cả bài toán tuyến tính và bài toán nửa tuyến tính trên đoạn $[0, T]$.

Chương 4: Phương trình truyền sóng nửa tuyến tính với cấu trúc tắt dần

Chương 4 nghiên cứu bài toán giá trị ban đầu không địa phương đối với phương trình vi phân cấp hai nửa tuyến tính trừu tượng có cấu trúc tắt dần trong không gian Banach $X$: $$u''(t) + B u'(t) + A u(t) = f(t, u(t), u'(t)), \quad t \in (0, \infty)$$ với điều kiện không địa phương: $$u(0) = g(u), \quad u'(0) = h(u)$$ trong đó $A$ là toán tử đàn hồi, $B$ là toán tử tắt dần, $f$ là hàm phi tuyến, $g$ và $h$ là các toán tử phi địa phương xác định trên không gian hàm.

Các nội dung và kết quả chính của chương gồm:

  • Thiết lập bài toán dưới dạng hệ phương trình tiến hóa cấp một trong không gian tích $\mathcal{H} = D(A^{1/2}) \times X$: $$\frac{dY}{dt} = \mathcal{A} Y(t) + \mathcal{F}(t, Y(t)), \quad Y(0) = \mathcal{G}(Y)$$ với $Y = (u, u')^T$ và toán tử khối $\mathcal{A} = \begin{pmatrix} 0 & I \ -A & -B \end{pmatrix}$.
  • Sử dụng các kết quả về lý thuyết nửa nhóm, chứng minh toán tử $\mathcal{A}$ sinh ra một $C_0$-nửa nhóm giải tích và ổn định mũ ${S(t)}{t \ge 0}$ trên $\mathcal{H}$, thỏa mãn: $$|S(t)|{\mathcal{L}(\mathcal{H})} \le M e^{-\delta t}, \quad \forall t \ge 0 \quad (M \ge 1, \delta > 0)$$
  • Khác biệt với các công trình trước đây yêu cầu $f$ phải thỏa mãn điều kiện Lipschitz, tác giả chỉ giả thiết thành phần phi tuyến $f$ là hàm liên tục bị chặn.
  • Để khắc phục việc thiếu tính compact trong không gian vô hạn chiều và tính không co của hàm phi tuyến, tác giả sử dụng độ đo không compact Hausdorff $\chi$ trên không gian các hàm liên tục bị chặn $BC(\mathbb{R}^+; \mathcal{H})$.
  • Thiết lập các điều kiện đối với toán tử không địa phương $g, h$ và hàm phi tuyến $f$ để toán tử tích phân tương đương là một ánh xạ nén theo độ đo không compact (k-MNC-contraction). Áp dụng định lý điểm bất động Darbo-Sadovskii chứng minh sự tồn tại của nghiệm mềm (mild solution) của bài toán.
  • Chứng minh tính phân rã theo tốc độ mũ của nghiệm mềm: Dựa trên tính ổn định mũ của nửa nhóm sinh bởi hệ và các đánh giá tích phân, khẳng định chuẩn của nghiệm mềm phân rã về 0 theo tốc độ mũ $e^{-\omega t}$ khi $t \to \infty$.

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

Luận án tự xác định ba nhóm đóng góp khoa học mới về mặt lý thuyết:

  1. Khẳng định sự tồn tại duy nhất của nghiệm yếu toàn cục trên $[0, \infty)$ trong không gian $H^{2,m}(Q)$ của bài toán biên ban đầu đối với phương trình hyperbolic nửa tuyến tính cấp cao trong các hình trụ không trơn vô hạn tổng quát, với thành phần nhiễu phi tuyến thỏa mãn điều kiện thế vị và tăng trưởng lũy thừa.
  2. Khẳng định sự tồn tại duy nhất và tính chính quy theo biến thời gian của nghiệm yếu trên đoạn $[0, T]$ trong không gian Sobolev có trọng của bài toán biên ban đầu đối với phương trình hyperbolic nửa tuyến tính cấp hai trong miền có cạnh và miền nón có cạnh thông qua lý thuyết toán tử pencil.
  3. Khẳng định sự tồn tại và tính phân rã theo tốc độ mũ của nghiệm mềm đối với bài toán giá trị ban đầu không địa phương cho phương trình vi phân cấp hai nửa tuyến tính trong không gian Banach với cấu trúc tắt dần trên cả miền trơn và miền không trơn, mở rộng phạm vi áp dụng cho lớp hàm phi tuyến liên tục bị chặn không thỏa mãn điều kiện Lipschitz.

Các kết quả nghiên cứu của luận án đã được công bố trong 03 bài báo khoa học trên các tạp chí quốc tế (trong đó có 01 bài báo thuộc danh mục ISI) và được báo cáo tại:

  • Đại hội Toán học toàn quốc lần thứ VIII (Nha Trang, tháng 8/2013).
  • Hội thảo khoa học "Toán học giải tích và ứng dụng" (Đại học Hồng Đức, tháng 5/2016).
  • Seminar chuyên môn của Bộ môn Giải tích, Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội.

Kiến nghị và định hướng nghiên cứu tiếp theo nêu trong văn bản:

  • Mở rộng bài toán biên ban đầu đối với phương trình hyperbolic nửa tuyến tính cấp cao trong miền có cạnh và miền nón có cạnh.
  • Khảo sát các hệ phương trình hyperbolic nửa tuyến tính trên các miền kỳ dị biên phức tạp.
  • Nghiên cứu bài toán với các điều kiện biên phi tuyến hoặc điều kiện biên loại hai, loại ba (Neumann, Robin) trong miền không trơn.

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

Hạn chế của nghiên cứu dựa trên phạm vi và giả thiết của văn bản:

  • Về số mũ phi tuyến: Điều kiện tăng trưởng của hàm phi tuyến $F$ trong Chương 2 bị giới hạn bởi chỉ số chiều không gian $2 \le p \le \frac{4}{n-2}$ khi $n > 2$ do đòi hỏi của phép nhúng Sobolev và việc áp dụng bất đẳng thức Gagliardo-Nirenberg.
  • Về loại bài toán biên: Luận án tập trung chủ yếu vào điều kiện biên Dirichlet thuần nhất (bài toán thứ nhất), chưa mở rộng cho các bài toán biên không thuần nhất hoặc điều kiện biên hỗn hợp.
  • Về cấp của phương trình trong miền có cạnh: Ở Chương 3, kết quả về tính chính quy và toán tử pencil mới chỉ khảo sát cho phương trình cấp hai ($m=1$), chưa giải quyết cho phương trình hyperbolic cấp cao ($m \ge 2$) do cấu trúc phức tạp của hệ toán tử pencil trên các cạnh giao nhau.

Hướng nghiên cứu tiếp theo được văn bản đề xuất:

  • Mở rộng nghiên cứu tính giải được và tính chính quy cho các phương trình và hệ phương trình hyperbolic cấp cao trong miền có cạnh và miền nón có cạnh.
  • Nghiên cứu phương trình sóng tắt dần với các điều kiện biên phi tuyến và điều kiện ban đầu ngẫu nhiên hoặc đa trị.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo hữu ích cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Phương trình vi phân và tích phân, Giải tích hiện đại và Vật lý toán.
  • Các nhà nghiên cứu quan tâm đến phương pháp giải tích trên miền có biên kỳ dị, kỹ thuật toán tử pencil, lý thuyết nửa nhóm toán tử và phương pháp độ đo không compact.

Các phần có giá trị tham khảo nổi bật trong luận án:

  • Kỹ thuật xây dựng đánh giá năng lượng tiên nghiệm kết hợp bất đẳng thức Gronwall dạng tích phân để xử lý các số hạng phi tuyến tăng trưởng lũy thừa trong Chương 2.
  • Quy trình đưa bài toán không dừng về bài toán dừng chứa tham số trên thiết diện kết hợp không gian Sobolev có trọng để khảo sát kỳ dị cạnh trong Chương 3.
  • Cách thiết lập không gian hàm bị chặn $BC(\mathbb{R}^+; \mathcal{H})$ và vận dụng độ đo không compact Hausdorff chứng minh sự tồn tại nghiệm mềm phân rã mũ trong Chương 4.

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

1. Cấu trúc hàm phi tuyến trong Chương 2 đòi hỏi những điều kiện gì để đảm bảo nghiệm yếu toàn cục tồn tại?
Hàm phi tuyến có dạng phân kỳ $F = \sum_{|\alpha| \le m-1} (-1)^{|\alpha|} D^\alpha F_\alpha$ và phải tồn tại hàm thế vị $A(x, t, v_\alpha)$ sao cho $F_\alpha = \frac{\partial A}{\partial v_\alpha}$. Các thành phần $F_\alpha$ phải thỏa mãn điều kiện tăng trưởng bậc $p+1$ với $2 \le p \le \frac{4}{n-2}$ (khi $n > 2$), điều kiện liên tục Lipschitz địa phương, và đạo hàm riêng theo thời gian $\left| \frac{\partial A}{\partial t} \right|$ bị chặn bởi hàm bậc hai của các biến đạo hàm.

2. Điểm mấu chốt để chứng minh tính chính quy của nghiệm theo thời gian trong miền nón có cạnh ở Chương 3 là gì?
Điểm mấu chốt là việc sử dụng toán tử pencil $\mathcal{A}_k(\lambda, t)$ trên các mặt nhị diện tạo bởi các cạnh và toán tử pencil $\mathcal{L}(\lambda, t)$ tại đỉnh nón. Điều kiện quyết định là dải số thực đóng nằm giữa hai đường thẳng $\lambda = l - \beta - 3/2$ và $\lambda = l' - \beta' - 3/2$ không chứa bất kỳ giá trị riêng nào của toán tử pencil.

3. Sự khác biệt căn bản về giả thiết đối với hàm phi tuyến trong Chương 4 so với các công bố trước đó của Fan, Li và Chen (2013) là gì?
Trong công trình của Fan, Li và Chen (2013), hàm phi tuyến $f$ bắt buộc phải thỏa mãn điều kiện Lipschitz theo biến thứ hai. Trong luận án này, tác giả giải phóng điều kiện Lipschitz, chỉ yêu cầu $f$ là hàm liên tục bị chặn trên không gian Banach, và sử dụng công cụ độ đo không compact Hausdorff kết hợp định lý điểm bất động Darbo-Sadovskii để chứng minh tính giải được.

4. Bằng cách nào luận án chuyển từ nghiệm yếu địa phương sang nghiệm yếu toàn cục trên $[0, \infty)$ ở Chương 2?
Tác giả thiết lập bất đẳng thức năng lượng tiên nghiệm trong đó chặn trên của chuẩn nghiệm chỉ phụ thuộc vào chuẩn của các dữ kiện ban đầu và vế phải $h \in L_2(0, \infty; L_2(\Omega))$. Vì đánh giá này không phụ thuộc vào độ dài khoảng thời gian mở rộng, tác giả sử dụng phương pháp thác triển nghiệm liên tục để kéo dài nghiệm từ đoạn $[0, T]$ ra toàn bộ nửa trục vô hạn $[0, \infty)$.

5. Không gian Sobolev có trọng trên miền nón có cạnh $V_{p,\beta,\vec{\delta}}^l(K)$ được xây dựng với những trọng số nào?
Không gian này được định nghĩa là bao đóng của $C_0^\infty(K \setminus S)$ với $S$ là tập kỳ dị gồm đỉnh gốc tọa độ và các cạnh $M_1, \dots, M_d$. Chuẩn tích phân chứa hai loại trọng số: khoảng cách $\rho = |x|$ từ điểm $x$ tới đỉnh gốc tọa độ (với số mũ liên quan đến $\beta$ và cấp đạo hàm) và khoảng cách $r_k$ từ $x$ tới từng cạnh $M_k$ (với các số mũ thành phần của véc-tơ $\vec{\delta} = (\delta_1, \dots, \delta_d)$).

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Thanh Tùng đã giải quyết có hệ thống các bài toán biên đối với một số lớp phương trình truyền sóng nửa tuyến tính trong các miền không trơn và không gian Banach. Các kết quả chính bao gồm việc xác lập tính giải được toàn cục của phương trình hyperbolic cấp cao trong hình trụ không trơn vô hạn, tính chính quy trong không gian Sobolev có trọng trên miền có cạnh và miền nón có cạnh, cùng sự tồn tại và phân rã mũ của nghiệm mềm cho hệ truyền sóng tắt dần với điều kiện không địa phương. Công trình đóng góp các kỹ thuật giải tích kết hợp giữa phương pháp xấp xỉ Galerkin, lý thuyết toán tử pencil và độ đo không compact, cung cấp cơ sở lý thuyết chuẩn xác cho hướng nghiên cứu phương trình đạo hàm riêng trên các miền biên kỳ dị.