Tổng quan về luận án

Nghiên cứu của tác giả Lê Hữu Kỳ Sơn (2022) thuộc chuyên ngành Toán giải tích (mã số 62460102) tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia TP. Hồ Chí Minh, dưới sự hướng dẫn khoa học của PGS. TS. Lê Thị Phương Ngọc, tập trung giải quyết bài toán cốt lõi: "Tính giải được và các tính chất của nghiệm cho một số phương trình phi tuyến chứa số hạng phi địa phương dạng Kirchhoff-Carrier". Bối cảnh khoa học của luận án xuất phát từ mô hình cơ học phi tuyến mô tả dao động ngang của màng đàn hồi hai chiều trong miền hình vành khăn $\Omega_1 = {(x_1, x_2) \in \mathbb{R}^2 : \rho^2 < x_1^2 + x_2^2 < 1}$ với bán kính trong $\rho \in (0, 1)$ và bán kính ngoài chuẩn hóa bằng $1$.

Khoảng trống nghiên cứu (research gap) then chốt được xác định: Trong khi các công trình cổ điển của Kirchhoff (1876), Carrier (1945), và các phát triển sau này của Larkin [22], Cavalcanti et al. [8], Messaoudi [45], Wu & Tsai [88] chủ yếu khảo sát mô hình sóng phi địa phương trên miền chữ nhật hoặc miền tổng quát với điều kiện biên Dirichlet thuần nhất ($u|{\partial \Omega} = 0$), thì các phương trình sóng phi tuyến chứa đồng thời toán tử Laplace dạng cực $\Delta u = u{xx} + \frac{1}{x}u_x$, số hạng phi địa phương chứa tích phân năng lượng $|u(t)|0^2 = \int\rho^1 x u^2(x,t)dx$ và $|u_x(t)|0^2 = \int\rho^1 x u_x^2(x,t)dx$, kết hợp điều kiện biên hỗn hợp Robin-Dirichlet $u(\rho,t) = 0, u_x(1,t) + \xi u(1,t) = 0$ ($\xi > 0$) hoặc biên Dirichlet không thuần nhất $u(\rho,t)=g_0(t), u(1,t)=g_1(t)$ chưa được giải quyết trọn vẹn về nghiệm yếu toàn cục, nghiệm mạnh, tốc độ hội tụ lặp cấp cao và khai triển tiệm cận.

Hệ thống câu hỏi và giả thuyết nghiên cứu được thiết lập chặt chẽ:

  1. Câu hỏi 1 (Q1): Dưới các điều kiện biên Robin-Dirichlet hoặc Dirichlet phi thuần nhất, phương trình sóng Kirchhoff-Carrier có tồn tại duy nhất nghiệm yếu cục bộ và toàn cục trong không gian hàm Hilbert có trọng $L^2_\rho(\Omega)$, $H^1_\rho(\Omega)$, $H^2_\rho(\Omega)$ hay không?
  2. Câu hỏi 2 (Q2): Có thể thiết lập một thuật giải lặp cấp cao đạt bậc hội tụ bậc $N$ ($N \ge 2$) và khai triển tiệm cận nghiệm yếu theo tham số bé $\varepsilon$ đến cấp $N+1$ mà không cần giả thiết bị chặn chặt như các công trình tiền nhiệm hay không?
  3. Câu hỏi 3 (Q3): Đâu là ngưỡng năng lượng ban đầu $E(0)$ và điều kiện cấu trúc của các hàm phi tuyến $\mu, f, F$ để nghiệm có tính chất tắt dần mũ/đa thức (energy decay) hoặc bùng nổ trong thời gian hữu hạn (blow-up in finite time)?

Khung lý thuyết (theoretical framework) vận dụng tổng hòa lý thuyết nửa nhóm phi tuyến, giải tích hàm Sobolev, phương pháp biến phân xấp xỉ Faedo-Galerkin, bổ đề compac Aubin-Lions, bất đẳng thức Nakao và phương pháp hàm lồi Levine. Đóng góp đột phá của luận án là chứng minh tường minh sự tồn tại duy nhất nghiệm, thiết lập thuật toán lặp cấp $N$ có tốc độ hội tụ dạng $|u_m - u|_{W_1(T)} \le C k_T^m$ ($k_T < 1$), tiệm cận nghiệm cấp $N+1$, và xác định chính xác điều kiện đủ cho sự bùng nổ và tắt dần của năng lượng.

Literature Review và Positioning

Tổng quan y văn quốc tế cho thấy phương trình sóng dạng Kirchhoff bắt nguồn từ công trình nền tảng của Kirchhoff (1876): $$\rho h \frac{\partial^2 u}{\partial t^2} = \left(P_0 + \frac{Eh}{2L}\int_0^L \left(\frac{\partial u}{\partial x}\right)^2 dx\right)\frac{\partial^2 u}{\partial x^2}$$ và mô hình mở rộng có xét đến biến thiên sức căng của Carrier (1945). Trong nhiều thập kỷ, hai nhánh nghiên cứu chính phát triển song song nhưng tồn tại nhiều tranh luận học thuật:

  • Nhánh 1: Tính giải được toàn cục và tính ổn định tiệm cận. Larkin [22] khảo sát phương trình $u_{tt} - M(x,t,|u(t)|^2)\Delta u + g(x,t,u_t) = f$ với biên Dirichlet, sử dụng bất đẳng thức Nakao để thu được đánh giá tắt dần mũ. Yang Zhijian & Wang Yunqing [94] nghiên cứu phương trình Kirchhoff chứa số hạng tắt dần mạnh $-\Delta u_t$ và nguồn phi tuyến, chứng minh sự tồn tại nghiệm toàn cục bằng xấp xỉ Faedo-Galerkin và kỹ thuật phiếm hàm Lyapunov. Cavalcanti et al. [8] và Santos et al. [79] khảo sát hệ Kirchhoff với số hạng đàn hồi nhớt $\int_0^t g(t-s)\Delta u(s)ds$, chứng minh tính tắt dần năng lượng phụ thuộc vào tốc độ suy giảm của nhân $g$.
  • Nhánh 2: Hiện tượng bùng nổ nghiệm trong thời gian hữu hạn. Messaoudi [45], [48] chỉ ra rằng với năng lượng ban đầu âm $E(0) < 0$ (hoặc dương đủ nhỏ), số hạng nguồn phi tuyến $|u|^{p-2}u$ sẽ thắng số hạng tiêu tán nhớt, dẫn đến nghiệm suy biến tại thời điểm hữu hạn $T^*$. Ngược lại, Liu Gongwei [27] và Liu Wenjun et al. [11] mở rộng điều kiện bùng nổ cho hệ hyperbolic thông qua kỹ thuật hàm lồi với năng lượng $E(0) \le 0$ và $E(0) > 0$ tùy ý.

Định vị nghiên cứu (positioning): Luận án của Lê Hữu Kỳ Sơn giải quyết mâu thuẫn giữa tính phi tuyến cao của toán tử biên Robin đàn hồi $u_x(1,t) + \xi u(1,t) = 0$ và tính phi địa phương kép trong phương trình (0.1): $$u_{tt} - \mu\left(t, u(1,t), |u(t)|_0^2, |u_x(t)|0^2\right)\left(u{xx} + \frac{1}{x}u_x\right) = f\left(x,t,u,u_x,u_t,|u(t)|_0^2,|u_x(t)|_0^2\right)$$ So sánh với nghiên cứu quốc tế của Gongwei Liu [27] (chỉ xét biên Dirichlet thuần nhất và phi địa phương bậc 1) và Wu & Tsai [88] (xét phương trình không có trọng tọa độ cực), công trình này bao quát hơn khi xử lý trọng kỳ dị $1/x$ tại lân cận $x = \rho > 0$, đồng thời thiết lập sơ đồ lặp tuyến tính hóa cấp cao vượt trội so với các lược đồ xấp xỉ bậc 1 truyền thống.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án tạo bước tiến lý thuyết đáng kể trong lĩnh vực phương trình đạo hàm riêng hyperbolic phi tuyến thông qua các đóng góp cụ thể:

  1. Mở rộng lý thuyết phương trình sóng phi địa phương: Tổng quát hóa toán tử Kirchhoff-Carrier bằng cách đưa biến phụ thuộc biên $u(1,t)$ trực tiếp vào hệ số căng $\mu(t, u(1,t), |u(t)|_0^2, |u_x(t)|_0^2)$, phản ánh chính xác thực tế vật lý: "Trong quá trình dao động, diện tích của màng $\Omega_1$ và lực căng tại các điểm trên đó thay đổi theo thời gian."
  2. Xây dựng không gian nghiệm Hilbert có trọng thích hợp: Luận án định nghĩa không gian Banach $V = {v \in H^1(\rho, 1) : v(\rho) = 0}$ trang bị dạng song tuyến tính đối xứng cưỡng bức: $$a(u,v) = \xi u(1)v(1) + \int_\rho^1 x u_x(x)v_x(x)dx, \quad \forall u,v \in V$$ chứng minh dạng $a(\cdot,\cdot)$ liên tục và thỏa mãn bất đẳng thức cưỡng bức $a(v,v) \ge C_0 |v|1^2$ với $C_0 = \frac{1}{2}\min{1, \xi(1-\rho^2)}$, tạo cơ sở thiết lập cơ sở Hilbert trực chuẩn ${w_j}{j=1}^\infty$ sinh bởi toán tử vi phân $A w_j = -\frac{1}{x}(x w_{jx})_x = \lambda_j w_j$.
  3. Mô hình hóa toán học với hệ mệnh đề xác thực: Thiết lập 3 định lý tồn tại duy nhất nghiệm yếu trong không gian $W_1(M,T) = {u \in L^\infty(0,T; V \cap H^2) : u' \in L^\infty(0,T; V), u'' \in L^2(Q_T)}$, chứng minh tính compact của phép nhúng $W(0,T) \hookrightarrow L^{p_0}(0,T;X)$ theo bổ đề Aubin-Lions.

Khung phân tích độc đáo

Khung phân tích tích hợp đồng thời ba cấu trúc lý thuyết giải tích:

  • Lý thuyết tuyến tính hóa cục bộ và ánh xạ co Banach: Chuyển bài toán phi tuyến về dãy phương trình biến phân tuyến tính hóa $(u_m''(t), v) + \mu_m(t) a(u_m(t), v) = (F_m(t), v)$, sử dụng chuẩn trọng số thời gian $|c|{\gamma, X} = \sup{0 \le t \le T} e^{-\gamma t}|c(t)|$ với $\gamma > 0$ đủ lớn để chứng minh tính co tuyệt đối.
  • Kỹ thuật năng lượng và bất đẳng thức Nakao: Xây dựng phiếm hàm năng lượng tổng quát $E(t) = \frac{1}{2}|u_t(t)|_0^2 + \frac{1}{2}\hat{\mu}(t)|u_x(t)|_0^2$, kết hợp bổ đề tích phân Nakao để thu được đánh giá suy giảm mũ: $$E(t) \le C E(0) e^{-\omega t}, \quad \forall t \ge 0, \quad \omega > 0$$
  • Điều kiện biên xác định (Boundary Conditions): Thiết lập rõ ràng ranh giới vật lý tại biên trong $x = \rho$ (cố định, $u=0$) và biên ngoài $x=1$ (liên kết lò xo đàn hồi tuyến tính với hệ số đàn hồi cơ học $\xi > 0$).

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

Thiết kế nghiên cứu

Nghiên cứu theo đuổi trường phái nhận thức luận thực chứng diễn dịch toán học chặt chẽ (Deductive Mathematical Positivism), vận dụng phương pháp giải tích định tính kết hợp giải tích cấu trúc vi phân. Thiết kế nghiên cứu vận hành theo quy trình 3 tầng phân tích:

Quy trình nghiên cứu rigorous

Quy trình chứng minh giải tích tuân thủ các chuẩn mực toán học quốc tế:

  1. Thiết lập không gian hàm và tích vô hướng có trọng: $$(u, v) = \int_\rho^1 x u(x)v(x)dx, \quad |u|_0 = \sqrt{(u,u)}$$ $$|u|_1 = \sqrt{|u|_0^2 + |u_x|_0^2}, \quad |u|_2 = \sqrt{|u|_0^2 + |u_x|0^2 + |u{xx}|_0^2}$$
  2. Đánh giá tương đương chuẩn: Chứng minh hệ 6 chuẩn tương đương trên $V$: $|v|_{H^1}, |v|_1, |v_x|, |v_x|_0, \sqrt{|v_x|_0^2 + \xi v^2(1)}$, và $|v|a = \sqrt{a(v,v)}$. Đảm bảo bất đẳng thức nhúng: $$|v|{C^0(\bar{\Omega})} \le \sqrt{\frac{1-\rho}{\rho}}|v|_1, \quad |v(1)| \le \sqrt{\frac{2}{1-\rho^2}}|v|_0$$
  3. Triệt tiêu số hạng phi tuyến bằng xấp xỉ Faedo-Galerkin: Xây dựng nghiệm xấp xỉ hữu hạn chiều $u_m^{(k)}(t) = \sum_{j=1}^k c_{mj}^{(k)}(t)w_j$, đưa phương trình đạo hàm riêng về hệ phương trình tích phân Volterra phi tuyến cấp hai, áp dụng nguyên lý ánh xạ co với chuẩn nén thời gian để suy ra nghiệm duy nhất $c_{mj}^{(k)} \in C^2[0,T]$.
  4. Đánh giá tiên nghiệm độc lập với $k$ và $m$: Thiết lập hàm năng lượng tổng quát: $$S_m^{(k)}(t) = |u_{mt}^{(k)}(t)|0^2 + \mu_m(t)|u{mx}^{(k)}(t)|_0^2 + \mu_m(t)\xi |u_m^{(k)}(1,t)|^2 + |A u_m^{(k)}(t)|_0^2$$ chứng minh tồn tại hằng số $M > 0$ và thời gian $T \in (0, T^*]$ thỏa mãn: $$\left(M_0^2 + T D_1(M)\right)\exp(T D_2(M)) \le M^2 \implies S_m^{(k)}(t) \le M^2, \quad \forall t \in [0,T]$$

Data và phân tích

Dữ liệu giải tích trong luận án được biểu diễn dưới dạng các hằng số tiên nghiệm và đánh giá định lượng:

  • Tốc độ co của toán tử lặp: Hằng số co $k_T$ trong không gian $W_1(T)$ thỏa mãn: $$k_T = \sqrt{T K_T} \exp\left[\frac{1}{2}T\left(1 + \frac{K_M(\mu)}{\mu_*}\right)\right] < 1$$ cho phép dãy nghiệm xấp xỉ ${u_m}$ hội tụ mạnh về nghiệm chính xác $u$ với tốc độ hình học: $$|u_m - u|_{W_1(T)} \le M \frac{k_T^m}{1 - k_T}, \quad \forall m \in \mathbb{N}$$
  • Phần dư khai triển tiệm cận bậc $N+1$: Với tham số bé $\varepsilon \in (0, \varepsilon_0)$, nghiệm $u_\varepsilon(x,t) = \sum_{i=0}^N \varepsilon^i u_i(x,t) + r_N(x,t,\varepsilon)$ thỏa mãn đánh giá phần dư: $$|r_N|{L^\infty(0,T; V \cap H^2)} + |r_N'|{L^\infty(0,T; V)} \le C \varepsilon^{N+1}$$

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Chứng minh thành công nghiệm yếu duy nhất toàn cục: Thiết lập sự tồn tại duy nhất nghiệm $u \in W_1(M,T)$ cho phương trình sóng chứa toán tử phi địa phương phụ thuộc biên $u(1,t)$ và các đạo hàm không gian dưới điều kiện biên Robin-Dirichlet mà không yêu cầu hàm $\mu$ bị chặn trên toàn trục số.
  2. Thiết lập thuật toán lặp hội tụ cấp cao bậc $N$: Khác với các sơ đồ lặp xấp xỉ bậc 1 thông thường, tác giả đề xuất sơ đồ lặp tuyến tính hóa cấp $N-1$: $$u_{mtt} - \mu(|u_{m-1}(t)|0^2)\left(u{mxx} + \frac{1}{x}u_{mx}\right) = \sum_{0 \le i+j \le N-1} A_{ij} f[u_{m-1}]\left(u_m - u_{m-1}\right)^i \left(|u_m|0^2 - |u{m-1}|_0^2\right)^j$$ giúp triệt tiêu sai số với tốc độ vượt bậc, giải phóng điều kiện giả thiết bị chặn $|f(z)| \le C_2(1+z^{p-1})$ vốn ràng buộc trong các công bố [S2], [S3].
  3. Cơ chế bùng nổ nghiệm trong thời gian hữu hạn ($T^ < \infty$):* Bằng kỹ thuật hàm lồi Levine trên phiếm hàm $H(t) = -E(t)$, luận án chứng minh rằng khi năng lượng ban đầu âm $E(0) < 0$ (hoặc dương đủ bé thỏa mãn bổ đề thế năng), nghiệm $u(t)$ sẽ bùng nổ theo chuẩn: $$\lim_{t \to T^{*-}} \int_\rho^1 x u^2(x,t)dx = +\infty$$
  4. Tính tắt dần mũ không cần giả thiết độ bé của dữ liệu ban đầu: Trong trường hợp dấu của hệ số phi tuyến $a = -1$, luận án chỉ ra rằng: "với $a = -1$, thì bài toán có duy nhất nghiệm toàn cục có năng lượng tắt dần mũ khi $t \to \infty$ mà không cần dữ liệu ban đầu $(u_0, u_1)$ có chuẩn bé."

Implications đa chiều

  • Về mặt phương pháp: Sơ đồ tiệm cận cấp $N+1$ cung cấp thuật toán giải tích giải xấp xỉ trực tiếp cho các bài toán hyperbolic phi tuyến biên đàn hồi mà không gặp phải hiện tượng mất ổn định số (numerical instability) thường thấy ở phương pháp phần tử hữu hạn thuần túy.
  • Về mặt kỹ thuật thực tiễn: Mô hình màng tròn vành khăn chịu ràng buộc đàn hồi Robin phản ánh chính xác cơ chế hoạt động của cảm biến áp suất màng mỏng, màng cộng hưởng âm học trong công nghệ MEMS/NEMS và dao động thành ống dẫn chất lỏng đàn hồi nhớt.

Limitations và Future Research

Luận án thừa nhận khách quan 3 giới hạn nghiên cứu chính:

  1. Bài toán mở về hệ số căng $\mu(|u_x(t)|_0^2)$ khi $\xi > 0$: Luận án nêu rõ: "Tuy nhiên khi xét $\xi > 0$ và hàm $\mu = \mu(|u_x(t)|_0^2)$ chúng tôi vẫn chưa biết được có hay không tính tắt dần và bùng nổ của nghiệm. Đây vẫn là vấn đề mở đối với chúng tôi."
  2. Miền không gian đối xứng trục: Nghiên cứu hiện giới hạn trên hình vành khăn 2 chiều quy về 1 chiều không gian $x \in (\rho, 1)$ nhờ phép đổi biến tọa độ cực; chưa mở rộng cho miền vành khăn bất đối xứng hoặc bài toán 3 chiều tổng quát.
  3. Số hạng nhớt tuyến tính: Các đánh giá suy giảm năng lượng chủ yếu khảo sát trên số hạng nhớt tuyến tính hoặc đa thức tiêu chuẩn, chưa bao quát toàn diện các toán tử nhớt suy biến (fractional viscoelastic damping).

Chương trình nghiên cứu tương lai (4 hướng phát triển):

  • Hướng 1: Giải quyết trọn vẹn bài toán mở với số hạng $\mu(|u_x(t)|_0^2)$ kết hợp điều kiện biên Robin đàn hồi $\xi > 0$.
  • Hướng 2: Mở rộng toán tử Kirchhoff-Carrier sang phương trình sóng với đạo hàm cấp phân số (Fractional derivative damped wave equations).
  • Hướng 3: Phát triển gói phần mềm tính toán khoa học dựa trên thuật giải lặp cấp $N$ kết hợp phần tử hữu hạn thích nghi (Adaptive FEM).
  • Hướng 4: Khảo sát bài toán điều khiển tối ưu biên (Optimal boundary control) cho hệ màng vành khăn dao động phi tuyến.

Tác động và ảnh hưởng

  • Ảnh hưởng học thuật: Các kết quả cốt lõi của luận án đã được công bố trên 5 bài báo khoa học quốc tế uy tín (từ [S1] đến [S5]) thuộc danh mục SCIE/Scopus của các nhà xuất bản hàng đầu như Elsevier, Springer, Taylor & Francis; đồng thời báo cáo tại 5 hội nghị toán học quốc gia và khu vực (Đại hội Toán học toàn quốc lần thứ 9 tại Nha Trang, Hội nghị Toán học miền Trung - Tây Nguyên lần 2 & 3, Hội nghị Khoa học ĐHKHTN TP.HCM lần 11 & 12). Ước tính các công bố này tạo ra nền tảng trích dẫn bền vững cho cộng đồng nghiên cứu giải tích phương trình đạo hàm riêng phi tuyến.
  • Chuyển giao và R&D công nghệ: Cung cấp mô hình toán học chuẩn xác cho việc tính toán độ bền mỏi, tần số dao động riêng và ngưỡng phá hủy nhiệt - cơ học của các màng đàn hồi và cấu trúc ống vành khăn trong kỹ thuật hàng không vũ trụ và công nghiệp chế tạo thiết bị đo lường chính xác.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giảng viên ngành Giải tích Toán học: Tiếp cận phương pháp luận giải tích hiện đại, khung đánh giá tiên nghiệm có trọng và kỹ thuật xử lý số hạng phi địa phương phụ thuộc biên.
  • Kỹ sư R&D Cơ học tính toán và Vật liệu: Sở hữu thuật toán xấp xỉ cấp cao và công thức tiệm cận nghiệm giải tích chính xác để kiểm chuẩn (benchmark) các phần mềm mô phỏng phần tử hữu hạn thương mại (ANSYS, ABAQUS, COMSOL Multiphysics).
  • Các nhà hoạch định chính sách KH&CN: Căn cứ minh chứng cho hiệu quả đầu tư vào nghiên cứu toán học cơ bản gắn liền với bài toán mô phỏng kỹ thuật thực tiễn.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì?

Đó là việc giải quyết trọn vẹn bài toán sóng phi tuyến Kirchhoff-Carrier mở rộng chứa đồng thời hệ số căng phụ thuộc giá trị biên $u(1,t)$ và các số hạng tích phân phi địa phương năng lượng trên miền hình vành khăn với điều kiện biên Robin đàn hồi $u_x(1,t) + \xi u(1,t) = 0$, mở rộng vượt bậc các kết quả cổ điển của Carrier (1945) và Larkin (1991).

2. Điểm cải tiến phương pháp luận so với các nghiên cứu tiền nhiệm?

So với nghiên cứu của Gongwei Liu [27] và Messaoudi [45], luận án không chỉ dừng lại ở việc chứng minh định tính sự tồn tại nghiệm yếu mà còn đề xuất thuật toán lặp cấp $N$ và khai triển tiệm cận nghiệm đến cấp $N+1$ theo tham số bé $\varepsilon$, loại bỏ hoàn toàn các giả thiết bị chặn ngặt nghèo của hàm nguồn phi tuyến $f$.

3. Phát hiện bất ngờ nhất về mặt toán học là gì?

Sự phân nhánh động lực học năng lượng phụ thuộc vào dấu của tham số phi tuyến $a$: Khi $a = -1$, nghiệm toàn cục luôn tắt dần mũ về 0 mà không cần bất kỳ điều kiện độ bé nào của dữ liệu ban đầu $(u_0, u_1)$, trong khi với $a = 1$, nghiệm chỉ ổn định khi dữ liệu đầu nằm trong tập ổn định (stable set) xây dựng từ phiếm hàm Lyapunov.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) không?

Có. Toàn bộ các bước biến đổi giải tích, hệ hàm cơ sở trực chuẩn Hilbert ${w_j}$, định nghĩa không gian Banach $W_1(M,T)$, cũng như các chặn tiên nghiệm $D_1(M), D_2(M)$ và công thức truy hồi của sơ đồ lặp cấp $N$ đều được trình bày tường minh, chi tiết, đảm bảo tính kiểm chứng toán học độc lập 100%.

5. Tầm nhìn chương trình nghiên cứu 10 năm tới?

Mở rộng lý thuyết phương trình hyperbolic phi địa phương từ hình vành khăn sang các đa tạp Riemann compact có biên, tích hợp hiệu ứng dao động nhiệt-áp-đàn hồi (thermo-piezoelectricity) và phát triển các bộ giải số bậc cao cho hệ phương trình sóng phi tuyến liên kết.

Kết luận

Luận án tiến sĩ toán học của tác giả Lê Hữu Kỳ Sơn đã hoàn thành xuất sắc các mục tiêu nghiên cứu với 5 đóng góp học thuật cốt lõi:

  1. Thiết lập hoàn chỉnh lý thuyết tồn tại và duy nhất nghiệm yếu cục bộ và toàn cục cho lớp phương trình sóng phi tuyến Kirchhoff-Carrier trong hình vành khăn với điều kiện biên Robin-Dirichlet và Dirichlet không thuần nhất.
  2. Xây dựng thành công thuật giải lặp tuyến tính hóa hội tụ cấp $N$ ($N \ge 2$) giải phóng các điều kiện bị chặn nhân tạo trên các hàm phi tuyến.
  3. Thiết lập biểu thức tường minh của khai triển tiệm cận nghiệm theo tham số bé $\varepsilon$ đến cấp $N+1$ với đánh giá sai số chính xác trong không gian Sobolev có trọng.
  4. Xác định tường minh các điều kiện đủ cho tính tắt dần mũ của năng lượng và cơ chế bùng nổ nghiệm sau thời gian hữu hạn bằng kỹ thuật hàm lồi và bất đẳng thức Nakao.
  5. Mở ra 3 hướng nghiên cứu mới về phương trình sóng phi tuyến trên đa tạp có trọng, cơ học màng vành khăn đàn hồi phi tuyến và phương pháp tính tiệm cận cấp cao trong giải tích số.