Tổng quan luận án

Luận án tiến sĩ chuyên ngành Toán giải tích (mã số 9460102) với đề tài "Khảo sát một số bài toán biên cho phương trình sóng phi tuyến chứa số hạng phi địa phương" được thực hiện bởi nghiên cứu sinh Đoàn Thị Như Quỳnh tại Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Thành phố Hồ Chí Minh, dưới sự hướng dẫn khoa học của PGS. Lê Thị Phương Ngọc và TS. Nguyễn Thành Long, hoàn thành vào năm 2023.

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 cho phương trình đạo hàm riêng là lĩnh vực trung tâm của toán học lý thuyết và ứng dụng. Các phương trình sóng phi tuyến chứa số hạng phi địa phương liên kết với các điều kiện biên xuất hiện trong nhiều mô hình cơ học và vật lý, điển hình như quá trình dao động của sợi dây đàn hồi hoặc các vật liệu đàn hồi nhớt có khả năng lưu trữ và tiêu hao năng lượng cơ học. Trong thực tế, không tồn tại phương pháp tổng quát nào có thể giải quyết được tất cả các bài toán biên phi tuyến. Khi xuất hiện các số hạng phi địa phương kiểu Kirchhoff-Carrier hoặc các số hạng dạng tích chập phi tuyến theo biến thời gian kết hợp số hạng tắt dần mạnh, bài toán trở nên phức tạp về mặt giải tích. Nhiều cấu trúc phương trình cụ thể vẫn là bài toán mở, đòi hỏi phải lựa chọn công cụ toán học thích hợp cùng kỹ thuật đánh giá tiên nghiệm để chứng minh sự tồn tại, duy nhất, độ ổn định của nghiệm, hoặc thiết lập các khai triển tiệm cận và thuật toán lặp xấp xỉ nghiệm.

Mục tiêu nghiên cứu của luận án tập trung vào bốn nội dung chính:

  1. Khảo sát sự tồn tại và tính duy nhất của nghiệm yếu đối với hai lớp bài toán biên cho phương trình sóng phi tuyến chứa số hạng tắt dần mạnh và các số hạng phi địa phương.
  2. Thiết lập khai triển tiệm cận của nghiệm yếu theo một tham số bé đến cấp $N + 1$ đối với bài toán nhiễu.
  3. Tìm kiếm các tính chất định tính của nghiệm bao gồm sự phụ thuộc liên tục của nghiệm vào các dữ kiện hàm cho trước và tính tắt dần tổng quát của nghiệm toàn cục khi thời gian $t \to +\infty$ với mức năng lượng ban đầu dương.
  4. Thiết lập thuật giải lặp cấp cao liên kết với bài toán để thu được dãy nghiệm xấp xỉ hội tụ bậc $N$ về nghiệm yếu duy nhất và đánh giá tốc độ hội tụ của dãy.

Đối tượng và phạm vi nghiên cứu của luận án được xác định cụ thể như sau:

  • Đối tượng nghiên cứu: Các bài toán giá trị biên và ban đầu cho phương trình sóng phi tuyến một chiều chứa số hạng tắt dần mạnh $-A u_{xxt}$ ($A > 0$) kết hợp với số hạng phi địa phương dạng Kirchhoff-Carrier và dạng tích chập Volterra theo biến thời gian.
  • Phạm vi không gian và thời gian: Miền không gian bị chặn một chiều $\Omega = (0,1)$, thời gian hữu hạn $t \in (0, T)$ đối với khảo sát nghiệm địa phương hoặc thời gian vô hạn $t \in (0, +\infty)$ khi xem xét nghiệm toàn cục và tính tắt dần của năng lượng.
Thông tin tổng quan Nội dung chi tiết
Tên đề tài Khảo sát một số bài toán biên cho phương trình sóng phi tuyến chứa số hạng phi địa phương
Nghiên cứu sinh Đoàn Thị Như Quỳnh (Khóa đào tạo: 2020)
Người hướng dẫn khoa học PGS. Lê Thị Phương Ngọc, TS. Nguyễn Thành Long
Cơ sở đào tạo Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia TP. Hồ Chí Minh
Chuyên ngành và mã số Toán giải tích — Mã số: 9460102
Miền khảo sát Miền không thời gian $Q_T = \Omega \times (0,T)$ với $\Omega = (0,1)$ và $T > 0$
Loại hình bài toán biên Bài toán Robin-Dirichlet không thuần nhất và Bài toán Dirichlet thuần nhất

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

Luận án điểm lại các mốc phát triển lý thuyết liên quan đến phương trình sóng phi tuyến chứa số hạng phi địa phương và phương trình đàn hồi nhớt:

  • Phương trình sóng Kirchhoff (1876): Được thiết lập để mô tả quá trình dao động của sợi dây đàn hồi chiều dài $L$ có hai đầu cố định với lực căng thay đổi theo thời gian: $\rho h u_{tt} = (P_0 + \frac{Eh}{2L}\int_0^L u_x^2 dx) u_{xx}$.
  • Phương trình Carrier (1945, [8]): Nghiên cứu dao động của sợi dây đàn hồi khi lực căng có thay đổi nhỏ: $\rho u_{tt} - (T_0 + \frac{EA}{2L}\int_0^L u_x^2 dx) u_{xx} = 0$. Cavalcanti (1998, [9]) đã sử dụng tên gọi phương trình Kirchhoff-Carrier cho lớp mô hình này.
  • Tổng quát hóa của Larkin: Đưa phương trình về dạng không thuần nhất $u_{tt} - M(x, t, |u(t)|^2) \Delta u + g(x,t,u) = f(x,t)$, chứng minh nghiệm mạnh toàn cục với dữ liệu đầu lớn, khảo sát tính tắt dần mũ và tính trơn của nghiệm khi $n=2$. Các nghiên cứu tiếp theo của Lions (1978, [52]), M. Milla Miranda [71], Medeiros, Limaco và Menezes ([63], [64]) đã hệ thống hóa các khía cạnh toán học của mô hình Kirchhoff-Carrier.
  • Nghiên cứu của Lê Minh Triết và cộng sự (2010): Sử dụng thuật giải xấp xỉ tuyến tính kết hợp phương pháp Faedo-Galerkin để chứng minh sự tồn tại duy nhất nghiệm yếu cho phương trình sóng Kirchhoff-Carrier với điều kiện biên Robin không thuần nhất, đồng thời thiết lập khai triển tiệm cận theo nhiều tham số bé.
  • Hướng phương trình sóng Kirchhoff chứa số hạng đàn hồi nhớt $\int_0^t g(t-s) \Delta u(s) ds$: Jie và Fei (2015) khảo sát tính bùng nổ của nghiệm với năng lượng ban đầu dương; Gong khảo sát tính bùng nổ với năng lượng ban đầu dương tùy ý. Araruna và cộng sự (2020, [2]) nghiên cứu phương trình kiểu Carrier chứa số hạng tắt dần mạnh $-Au_t$ và số hạng phi tuyến $h(u)$ với điều kiện biên Dirichlet thuần nhất, chỉ ra tính đặt chỉnh và tính tắt dần đa thức hoặc tắt dần mũ của năng lượng tùy thuộc vào tính suy biến của hàm $M$.
  • Hướng phương trình đàn hồi nhớt chứa tích phân Volterra: Khảo sát của Hrusa (1985, [37]) trong miền một chiều với nhân suy giảm $g(s) = e^{-s}$; Cavalcanti và cộng sự [13]; Messaoudi ([67], [68]) khảo sát tốc độ tắt dần của năng lượng theo nhân $g$ và hiện tượng bùng nổ nghiệm khi năng lượng đầu âm; Mesloub và Boulaaras [66]; Li và He (2015) xét phương trình có số hạng tắt dần mạnh $-Au_{xxt}$ và số hạng tắt dần tuyến tính; Kaddour và Reissig [43] xét tính đặt chỉnh và bùng nổ nghiệm cho bài toán Cauchy.
  • Hướng phương pháp lặp giải phương trình phi tuyến: Thuật giải Newton cổ điển và các biến thể nhiều bước, tiêu biểu là lược đồ hai bước hội tụ cấp năm của Cordero và cộng sự (2011, [17]). Các biến thể lặp cấp cao được mở rộng cho phương trình sóng phi tuyến trong các công trình [78], [79], [103].
  • Hướng nghiên cứu sự phụ thuộc liên tục của nghiệm: Các công trình nền tảng của Douglis và John (1960, [42]), Crandall [4], Pan [85], Bayraktar và Gir [3].

Khoảng trống nghiên cứu mà luận án giải quyết:

  • Chưa có kết quả hoàn chỉnh về sự tồn tại, duy nhất nghiệm yếu và khai triển tiệm cận cấp cao theo tham số bé cho phương trình sóng kiểu Kirchhoff-Carrier chứa đồng thời số hạng tắt dần mạnh, số hạng đàn hồi nhớt phi địa phương và điều kiện biên Robin-Dirichlet không thuần nhất.
  • Sự hiện diện đồng thời của đạo hàm riêng cấp hai của hàm phi tuyến dạng $\frac{\partial^2}{\partial x^2}[\mu(x,t,u)]$ và số hạng tích chập phi tuyến thời gian $\int_0^t g(t-s)\frac{\partial^2}{\partial x^2}[\eta(x,s,u)]ds$ gây trở ngại kỹ thuật lớn trong việc thiết lập nghiệm địa phương, kiểm soát tính phụ thuộc liên tục, chứng minh nghiệm toàn cục tắt dần với năng lượng dương, cũng như xây dựng thuật toán lặp cấp cao hội tụ bậc $N$.

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

Luận án xây dựng trên nền tảng của giải tích hàm phi tuyến và lý thuyết phương trình đạo hàm riêng hyperbolic.

Các không gian hàm và khung phân tích lý thuyết:

  • Miền không gian $\Omega = (0,1)$, miền trụ $Q_T = \Omega \times (0,T)$ với $T > 0$.
  • Các không gian Sobolev: $H^1(\Omega)$, $H^2(\Omega)$, $H_0^1(\Omega)$, và $H^2(\Omega) \cap H_0^1(\Omega)$.
  • Không gian hàm $V = {v \in H^1(0,1) : v(1) = 0}$ trang bị dạng song tuyến tính đối xứng $a(u,v) = (u_x, v_x) + h_0 u(0)v(0)$ với $h_0 > 0$. Trên $V$, ba chuẩn $|v|_{H^1}$, $|v_x|$ và chuẩn $|v|_a = \sqrt{a(v,v)}$ là tương đương nhau.
  • Các bất đẳng thức nhúng compact: Phép nhúng $H^1 \hookrightarrow C^0([0,1])$ là compact thỏa $|v|{C^0} \le \sqrt{2} |v|{H^1}$; phép nhúng $H_0^1 \hookrightarrow C^0([0,1])$ thỏa $|v|{C^0} \le |v_x|$; phép nhúng $V \hookrightarrow C^0([0,1])$ thỏa $|v|{C^0} \le |v_x| \le |v|_a$.
  • Không gian hàm Bochner $L^p(0, T; X)$ và không gian nghiệm yếu $V_T = {v \in L^\infty(0,T; V \cap H^2) : v' \in L^\infty(0,T; V \cap H^2), v'' \in L^2(0,T; V) \cap L^\infty(0,T; L^2)}$.
  • Các bổ đề giải tích cơ sở: Bổ đề compact Lions, Bổ đề compact Aubin-Lions đối với không gian $W(0,T) = {u \in L^{p_0}(0,T; X_0) : u' \in L^{p_1}(0,T; X_1)}$, Định lý phổ cho toán tử đối xứng compact để xây dựng cơ sở Hilbert ${w_j}$, và Bất đẳng thức Gronwall.

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

  • Phương pháp xấp xỉ tuyến tính: Tuyến tính hóa các số hạng phi tuyến và phi địa phương tại mỗi bước lặp quy nạp.
  • Phương pháp Faedo-Galerkin: Xấp xỉ nghiệm trong không gian con hữu hạn chiều sinh bởi cơ sở hàm riêng ${w_j}$. Hệ phương trình vi tích phân tuyến tính đối với các hệ số Galerkin được giải thông qua nguyên lý ánh xạ co Banach trên không gian hàm liên tục.
  • Kỹ thuật đánh giá tiên nghiệm và phương pháp compact: Xây dựng các phiếm hàm năng lượng thích hợp kết hợp bổ đề Aubin-Lions để chuyển qua giới hạn khi số chiều Galerkin tiến ra vô cùng và số bước lặp tiến ra vô cùng.
  • Phương pháp khai triển tiệm cận theo tham số bé: Biểu diễn nghiệm $u_\varepsilon$ qua đa thức bậc $N$ theo tham số nhiễu $\varepsilon$ và chứng minh phần dư có cấp hội tụ $O(|\varepsilon|^{N+1})$.
  • Phương pháp xây dựng phiếm hàm Lyapunov: Thiết lập mối quan hệ tiêu hao năng lượng để chứng minh tính tắt dần tổng quát của nghiệm toàn cục khi nhân $g$ thỏa $g'(t) \le -\xi(t) g(t)$.
  • Kỹ thuật đánh giá tích phân Volterra cải tiến: Sử dụng phiên bản mở rộng của Bổ đề 2.6 trong tài liệu [82] cho hàm thuộc lớp $C^2$ trên tập đóng của $\mathbb{R}^N$ nhằm kiểm soát các số hạng phi tuyến bậc hai trong sơ đồ lặp cấp cao bậc $N$.

Nguồn tư liệu của luận án là hệ thống các bài báo khoa học chuyên ngành giải tích toán học, phương trình đạo hàm riêng và cơ học lý thuyết được công bố trên các tạp chí quốc tế và trong nước.

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

Chương 1: Mở đầu

Chương 1 trình bày bối cảnh khoa học của các bài toán biên đối với phương trình đạo hàm riêng xuất phát từ cơ học và vật lý. Tác giả nêu rõ sự cần thiết của việc khảo sát phương trình sóng chứa đồng thời số hạng tắt dần mạnh $-Au_{xxt}$ và các số hạng phi địa phương dạng Kirchhoff-Carrier hoặc dạng tích chập Volterra. Chương này giới thiệu dạng tổng quát của hai bài toán biên chính, tóm tắt các mục tiêu nghiên cứu, cấu trúc bảy chương của luận án và danh mục các hội nghị khoa học mà kết quả đã được báo cáo.

Chương 2: Tổng quan

Chương 2 phân tích lịch sử nghiên cứu từ mô hình dây rung của Kirchhoff (1876) và Carrier (1945), qua các kết quả của Larkin, Lions, Cavalcanti, Messaoudi, Araruna đến các công trình gần đây về tính bùng nổ, tính tắt dần và tính giải được của phương trình sóng đàn hồi nhớt. Tác giả phân tích các phương pháp lặp phi tuyến từ phương pháp Newton cổ điển đến các lược đồ lặp cấp cao, đồng thời chỉ ra tính phức tạp đặc thù khi phương trình xuất hiện số hạng đạo hàm riêng cấp hai của hàm phi tuyến kết hợp số hạng nhớ tích phân.

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

Chương 3 trình bày các công cụ toán học được áp dụng xuyên suốt luận án. Tác giả định nghĩa các không gian hàm Sobolev $H^1, H^2, H_0^1, V$, không gian Bochner $L^p(0,T; X)$, không gian phân bố nhận giá trị vectơ $\mathcal{D}'(0,T; X)$. Chương này thiết lập các kết quả giải tích nền tảng gồm Bổ đề compact Lions, Bổ đề compact Aubin-Lions, Định lý cơ sở Hilbert sinh bởi dạng song tuyến tính đối xứng liên tục và cưỡng bức, cùng Bất đẳng thức Gronwall.

Chương 4: Khảo sát bài toán Robin-Dirichlet không thuần nhất cho phương trình sóng kiểu Kirchhoff-Carrier chứa số hạng đàn hồi nhớt

Chương 4 khảo sát bài toán biên cho phương trình sóng phi tuyến: $u_{tt} - Au_{xxt} - \frac{\partial}{\partial x}[\mu_1(x,t,u,|u|^2,|u_x|^2)u_x] + \int_0^t g(t-s)\frac{\partial}{\partial x}[\mu_2(x,s,u,|u|^2,|u_x|^2)u_x]ds = f$, với $0 < x < 1, 0 < t < T$, liên kết với điều kiện biên không thuần nhất $u_x(0,t) - h_0 u(0,t) = g_0(t)$, $u(1,t) = g_1(t)$ và điều kiện đầu $u(x,0) = \tilde{u}_0(x)$, $u_t(x,0) = \tilde{u}_1(x)$.

  • Thuần nhất hóa điều kiện biên: Sử dụng hàm tịnh tiến $\phi(x,t) = \frac{1}{1+h_0}[(g_0(t) + h_0 g_1(t))x + g_1(t) - g_0(t)]$ và đặt biến mới $v(x,t) = u(x,t) - \phi(x,t)$, đưa bài toán về điều kiện biên thuần nhất trên không gian $V$.
  • Xây dựng dãy nghiệm xấp xỉ tuyến tính ${v_m}$ qua hệ Faedo-Galerkin hữu hạn chiều: Dùng nguyên lý ánh xạ co chứng minh hệ phương trình tích phân đối với các hệ số Galerkin có nghiệm duy nhất trên đoạn $[0, T]$.
  • Đánh giá tiên nghiệm: Thiết lập phiếm hàm $S_m^{(k)}(t) = |v_{mt}^{(k)}(t)|^2 + a_1^{(m)}(t; v_m^{(k)}(t), v_m^{(k)}(t)) + A|v_{mxt}^{(k)}(t)|^2$. Tác giả chứng minh tồn tại các hằng số $M > 0$ và $T > 0$ độc lập với $m$ và $k$ để dãy nghiệm bị chặn trong không gian $W(M,T)$.
  • Chuyển qua giới hạn và duy nhất nghiệm: Nhờ bổ đề Aubin-Lions và tính compact yếu, chứng minh ${v_m}$ hội tụ về nghiệm yếu duy nhất $v \in V_T$. Tính duy nhất được khẳng định qua bất đẳng thức Gronwall.
  • Khai triển tiệm cận bậc $N+1$: Với $f = f + \varepsilon f_1$, nghiệm yếu $u_\varepsilon$ được khai triển thành $u_\varepsilon(x,t) = \sum_{r=0}^N u_r(x,t)\varepsilon^r + v_\varepsilon(x,t)$, trong đó các hàm $u_r$ độc lập với $\varepsilon$ và phần dư thỏa mãn đánh giá $|v_\varepsilon|_{V_T} \le C |\varepsilon|^{N+1}$.

Chương 5: Khảo sát bài toán Dirichlet cho phương trình sóng phi tuyến chứa số hạng phi địa phương dạng tích chập phi tuyến theo biến thời gian

Chương 5 nghiên cứu bài toán với điều kiện biên Dirichlet thuần nhất $u(0,t) = u(1,t) = 0$: $u_{tt} - Au_{xxt} - \frac{\partial^2}{\partial x^2}[\mu(x,t,u)] + \int_0^t g(t-s)\frac{\partial^2}{\partial x^2}[\eta(x,s,u)]ds = f(x,t,u,u_t,u_x,u_{tx})$.

  • Sự tồn tại và duy nhất: Thiết lập định lý tồn tại duy nhất nghiệm yếu địa phương bằng phương pháp xấp xỉ tuyến tính, khắc phục trở ngại giải tích nảy sinh từ số hạng đạo hàm bậc hai của hàm phi tuyến $\frac{\partial^2}{\partial x^2}[\mu(x,t,u)]$.
  • Sự phụ thuộc liên tục: Thiết lập điều kiện đủ để nghiệm $u$ phụ thuộc liên tục vào bộ dữ kiện $(\mu, \eta, f, g)$. Khi dãy dữ kiện $(\mu_j, \eta_j, f_j, g_j)$ hội tụ về $(\mu, \eta, f, g)$ theo chuẩn compact $C^3$ và $C^1$, dãy nghiệm tương ứng $u_j$ hội tụ mạnh về $u$ trong không gian hàm xác định.
  • Nghiệm toàn cục và tính tắt dần tổng quát: Trong trường hợp riêng $\mu = \mu(t,u), \eta = u, f = -A_1 u_t + f(u) - \frac{1}{2}D_2\mu(t,u)u_x^2 + F(x,t)$, tác giả chứng minh nghiệm tồn tại toàn cục trên $[0, +\infty)$ và năng lượng của hệ tắt dần tổng quát về 0 khi $t \to +\infty$ dưới giả thiết nhân $g'(t) \le -\xi(t)g(t)$ ngay cả khi mức năng lượng ban đầu mang giá trị dương.

Chương 6: Thiết lập thuật giải lặp cấp cao cho Bài toán (2) trong trường hợp $f = f(x,t,u)$

Chương 6 xây dựng một thuật giải lặp cấp cao nhằm xấp xỉ nghiệm yếu cho Bài toán (2) khi hàm nguồn có dạng $f = f(x,t,u)$.

  • Thiết lập sơ đồ lặp bậc $N$: Xây dựng dãy truy hồi tuyến tính liên kết với bài toán bằng cách khai triển các số hạng phi tuyến quanh bước lặp trước đó.
  • Chứng minh tính hội tụ bậc $N$: Tác giả chứng minh dãy nghiệm lặp ${u_m}$ tồn tại và hội tụ bậc $N$ về nghiệm yếu duy nhất $u$ theo nghĩa tồn tại các hằng số $M > 0$ và $m_0$ sao cho $|u_{m+1} - u| \le M |u_m - u|^N$ với mọi $m \ge m_0$.
  • Kỹ thuật giải tích: Sử dụng phiên bản sửa đổi của Bổ đề 2.6 trong tài liệu [82] đối với hàm thuộc lớp $C^2$ trên tập đóng và giải quyết các bất đẳng thức tích phân Volterra phi tuyến để khắc phục hạn chế của các phương pháp đánh giá trước đây.

Chương 7: Kết luận và kiến nghị

Chương 7 tổng kết toàn bộ các kết quả đạt được của luận án tại các mục 7.1 và 7.2, đồng thời nêu các kiến nghị khoa học về những vấn đề còn bỏ ngỏ cần tiếp tục nghiên cứu tại mục 7.3.

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

Các kết quả mới về mặt lý thuyết và phương pháp của luận án bao gồm:

  1. Đối với bài toán Robin-Dirichlet chứa số hạng Kirchhoff-Carrier và đàn hồi nhớt (Bài toán 1):
    • Chứng minh định lý về sự tồn tại và tính duy nhất của nghiệm yếu địa phương dưới các điều kiện biên không thuần nhất.
    • Thiết lập thành công khai triển tiệm cận của nghiệm yếu theo tham số bé $\varepsilon$ đến cấp $N + 1$ cho bài toán nhiễu $f = f + \varepsilon f_1$, cung cấp công thức xác định các số hạng tiệm cận $u_r$ ($r = 0, 1, \dots, N$) độc lập với $\varepsilon$.
  2. Đối với bài toán Dirichlet chứa số hạng phi địa phương dạng tích chập và đạo hàm bậc hai phi tuyến (Bài toán 2):
    • Phát biểu và chứng minh định lý về sự tồn tại và duy nhất nghiệm yếu địa phương.
    • Thiết lập điều kiện đủ đảm bảo tính phụ thuộc liên tục của nghiệm vào các hàm dữ kiện $\mu, \eta, f, g$.
    • Chứng minh sự tồn tại của nghiệm toàn cục và tính chất tắt dần tổng quát của năng lượng khi thời gian tiến ra vô cùng ($t \to +\infty$) với năng lượng ban đầu dương.
  3. Về mặt phương pháp tính và thuật toán xấp xỉ:
    • Xây dựng thuật giải lặp cấp cao cho Bài toán (2) trong trường hợp $f = f(x,t,u)$, chứng minh dãy lặp hội tụ bậc $N$ về nghiệm yếu duy nhất và xác lập đánh giá định lượng về tốc độ hội tụ của dãy.
Bài toán khảo sát Phương pháp giải tích áp dụng Đóng góp mới chính
Bài toán 1 (Chương 4: Biên Robin-Dirichlet, kiểu Kirchhoff-Carrier, đàn hồi nhớt) Thuần nhất hóa biên, xấp xỉ tuyến tính, Faedo-Galerkin, compact Aubin-Lions Tồn tại, duy nhất nghiệm yếu; khai triển tiệm cận nghiệm theo tham số bé $\varepsilon$ đến cấp $N+1$
Bài toán 2 (Chương 5: Biên Dirichlet, tích chập phi tuyến, đạo hàm phi tuyến) Xấp xỉ tuyến tính, đánh giá tiên nghiệm, phiếm hàm Lyapunov Tồn tại, duy nhất nghiệm yếu; phụ thuộc liên tục vào dữ kiện; nghiệm toàn cục tắt dần tổng quát với năng lượng dương
Bài toán 2 với $f = f(x,t,u)$ (Chương 6) Thuật toán lặp cấp cao, mở rộng bổ đề chặn Volterra Thiết lập dãy lặp hội tụ bậc $N$ và đánh giá tốc độ hội tụ về nghiệm yếu duy nhất

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

Văn bản luận án nêu rõ các vấn đề còn bỏ ngỏ và định hướng phát triển tiếp theo gồm bốn điểm:

  • Khảo sát thêm các tính chất định tính khác của nghiệm đối với Bài toán (1) như tính bùng nổ nghiệm trong thời gian hữu hạn, tính tắt dần và tính ổn định của nghiệm.
  • Thiết lập khai triển tiệm cận của nghiệm của Bài toán (2) theo một tham số bé, hoặc khảo sát hiện tượng bùng nổ của nghiệm sau thời gian hữu hạn.
  • Thiết lập thuật giải lặp cấp cao cho Bài toán (2) trong trường hợp hàm nguồn phụ thuộc vào cả vận tốc: $f = f(x, t, u, u_t)$.
  • Xây dựng các ví dụ tính toán số (mô phỏng số) tương ứng với các Bài toán (1) và (2) nhằm minh họa và kiểm chứng các kết quả giải tích lý thuyết đã đạt được.

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 Toán giải tích, lý thuyết phương trình đạo hàm riêng và cơ học vật liệu đàn hồi nhớt:

  • Đối tượng thụ hưởng: Hữu ích cho nghiên cứu sinh, học viên cao học chuyên ngành Toán giải tích, Toán ứng dụng; các giảng viên giảng dạy các học phần chuyên đề phương trình đạo hàm riêng phi tuyến; các nhà nghiên cứu quan tâm đến mô hình dao động phi địa phương và phương pháp lặp cấp cao.
  • Nội dung tham khảo giá trị:
    • Chương 3 cung cấp hệ thống bổ đề compact và kỹ thuật không gian hàm chuẩn xác cho các bài toán hyperbolic có số hạng tắt dần mạnh.
    • Chương 4 cung cấp quy trình kỹ thuật kết hợp xấp xỉ tuyến tính với Faedo-Galerkin để xử lý điều kiện biên Robin không thuần nhất và kỹ thuật xây dựng khai triển tiệm cận bậc cao $N+1$.
    • Chương 5 cung cấp kỹ thuật kiểm soát các số hạng đạo hàm bậc hai phi tuyến $\frac{\partial^2}{\partial x^2}[\mu(x,t,u)]$ và kỹ thuật chứng minh nghiệm toàn cục tắt dần với năng lượng ban đầu dương.
    • Chương 6 cung cấp khung giải thuật lặp hội tụ bậc $N$, có thể áp dụng cho các lớp phương trình vi tích phân phi tuyến khác.

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

  1. Điểm khác biệt căn bản về mặt toán học giữa phương trình xét ở Chương 4 và Chương 5 là gì? Ở Chương 4, phương trình chứa số hạng phi địa phương dạng Kirchhoff-Carrier phụ thuộc vào các chuẩn $L^2$ của nghiệm và đạo hàm không gian, kết hợp số hạng đàn hồi nhớt và điều kiện biên Robin-Dirichlet không thuần nhất. Ở Chương 5, phương trình chứa trực tiếp đạo hàm cấp hai của hàm phi tuyến theo biến trạng thái $\frac{\partial^2}{\partial x^2}[\mu(x,t,u)]$ và số hạng tích chập phi tuyến thời gian $\int_0^t g(t-s) \frac{\partial^2}{\partial x^2}[\eta(x,s,u)] ds$ với điều kiện biên Dirichlet thuần nhất.

  2. Kỹ thuật nào được luận án sử dụng để xử lý các điều kiện biên Robin-Dirichlet không thuần nhất trong Chương 4? Tác giả sử dụng phép đổi biến tịnh tiến $v(x,t) = u(x,t) - \phi(x,t)$ với $\phi(x,t) = \frac{1}{1+h_0}[(g_0(t) + h_0 g_1(t))x + g_1(t) - g_0(t)]$. Phép tịnh tiến này chuyển bài toán ban đầu về bài toán biên thuần nhất đối với hàm $v$ trên không gian Hilbert $V = {v \in H^1(0,1) : v(1) = 0}$, cho phép áp dụng dạng song tuyến tính $a(u,v) = (u_x, v_x) + h_0 u(0)v(0)$.

  3. Tính tắt dần tổng quát của nghiệm toàn cục trong Chương 5 được chứng minh dưới điều kiện nào của nhân tích phân? Tính tắt dần tổng quát được chứng minh khi nhân tích phân $g(t)$ thỏa mãn điều kiện vi phân $g'(t) \le -\xi(t) g(t)$, trong đó $\xi(t)$ là một hàm số dương, giảm và khả vi, cho phép mức năng lượng của hệ tiêu hao về 0 khi $t \to +\infty$ ngay cả khi mức năng lượng ban đầu mang giá trị dương.

  4. Thuật toán lặp cấp cao trong Chương 6 đạt cấp hội tụ bao nhiêu và áp dụng cho trường hợp nào của hàm nguồn? Thuật toán lặp trong Chương 6 đạt tốc độ hội tụ bậc $N$ ($N$-order rate), thỏa mãn đánh giá sai số $|u_{m+1} - u| \le M |u_m - u|^N$ khi số bước lặp $m$ đủ lớn. Thuật toán này được thiết lập cho Bài toán (2) trong trường hợp hàm nguồn có dạng $f = f(x,t,u)$.

  5. Khai triển tiệm cận của nghiệm yếu ở Chương 4 được thiết lập đến cấp nào và phần dư được ước lượng ra sao? Nghiệm yếu $u_\varepsilon$ được khai triển tiệm cận theo tham số bé $\varepsilon$ đến cấp $N + 1$ dưới dạng đa thức $u_\varepsilon = \sum_{r=0}^N u_r \varepsilon^r + v_\varepsilon$. Phần dư $v_\varepsilon$ được chứng minh thỏa mãn đánh giá $|v_\varepsilon|_{V_T} \le C |\varepsilon|^{N+1}$, với hằng số $C$ hoàn toàn độc lập với tham số nhiễu $\varepsilon$.

Kết luận

Luận án của nghiên cứu sinh Đoàn Thị Như Quỳnh đã giải quyết các bài toán biên đối với hai lớp phương trình sóng phi tuyến chứa số hạng tắt dần mạnh và các số hạng phi địa phương dạng Kirchhoff-Carrier và dạng tích chập Volterra. Bằng việc kết hợp phương pháp xấp xỉ tuyến tính, phương pháp Faedo-Galerkin, lý thuyết compact và phiếm hàm Lyapunov, tác giả đã thiết lập các định lý về sự tồn tại, tính duy nhất, khai triển tiệm cận cấp cao, sự phụ thuộc liên tục và tính tắt dần tổng quát của nghiệm. Đồng thời, luận án đã đề xuất một thuật giải lặp cấp cao hội tụ bậc $N$ cùng các đánh giá sai số định lượng, đóng góp các kết quả lý thuyết và phương pháp giải tích cho chuyên ngành Toán giải tích.