Tổng quan luận án

Luận án tiến sĩ toán học "Ứng dụng phương pháp điểm bất động trong sự tồn tại nghiệm của phương trình" được thực hiện bởi nghiên cứu sinh Lê Thị Phương Ngọc, dưới sự hướng dẫn khoa học của PGS. Lê Hoàn Hoa tại Trường Đại học Sư phạm Thành phố Hồ Chí Minh (chuyên ngành Toán Giải tích, mã số 1.01.01, bảo vệ năm 2007).

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

Lý thuyết điểm bất động là một trong những công cụ cơ bản của Giải tích phi tuyến để nghiên cứu định tính và định lượng tính giải được của các phương trình vi phân, tích phân và đạo hàm riêng xuất phát từ cơ học, vật lý học, hóa học và sinh học. Mặc dù các nguyên lý điểm bất động cổ điển (Banach, Schauder, Krasnosel'skii, Leray-Schauder) đã được ứng dụng rộng rãi, nhiều bài toán mở rộng đặt ra các thách thức giải tích mới:

  • Đối với phương trình tích phân phi tuyến dạng Volterra: Các kết quả trước đó của C. Avramescu và A. Vladimirescu (2004) chỉ giới hạn trong không gian hữu hạn chiều $\mathbb{R}^d$ với toán tử tích phân tuyến tính, hoặc của L. H. Hóa và K. Schmitt (1994) khi hàm phi tuyến ngoài dấu tích phân triệt tiêu ($f = 0$). Khoảng trống đặt ra là cần khảo sát phương trình trên không gian Banach tổng quát $E$, xét hàm $f \neq 0$, toán tử phi tuyến, đồng thời làm rõ cấu trúc hình học của tập nghiệm (tính chất Hukuhara-Kneser) trên nửa trục không bị chặn $[0, +\infty)$.
  • Đối với phương trình vi phân hàm cấp hai có đối số chậm: Các công trình của R. Y. Ma (1999) hay Yong-Pin Sun (2004) chỉ xét bài toán ba điểm không có trễ, trong khi các công trình của S. K. Ntouyas (1998) hay Bo Zhang (2000) chỉ dừng lại ở bài toán hai điểm biên hoặc chỉ giải quyết bài toán tồn tại mà chưa khảo sát đầy đủ tính duy nhất, sự phụ thuộc liên tục vào tham số và tính chất liên thông của tập nghiệm bài toán Cauchy.
  • Đối với bài toán sóng phi tuyến chứa toán tử Kirchhoff: Các nghiên cứu trước đây thường dùng phương pháp Galerkin kết hợp định lý Schauder để chứng minh tính giải được địa phương, chưa chỉ ra nghiệm tường minh trên toàn khoảng thời gian $[0, T]$, thiếu các đánh giá thuật toán lặp có bậc hội tụ cao (cấp hai) và chưa thiết lập khai triển tiệm cận nghiệm theo tham số bé cho toán tử phụ thuộc đồng thời vào các chuẩn năng lượng của nghiệm và đạo hàm.

2. Mục tiêu nghiên cứu

  1. Thiết lập định lý điểm bất động kiểu Krasnosel'skii trên không gian Fréchet; áp dụng chứng minh sự tồn tại nghiệm, nghiệm ổn định tiệm cận và cấu trúc compact, liên thông (tính chất Hukuhara-Kneser) của tập nghiệm cho phương trình tích phân Volterra phi tuyến trên nửa trục $[0, +\infty)$ cùng dạng mở rộng có trễ.
  2. Khảo sát sự tồn tại, tính duy nhất, sự phụ thuộc liên tục của nghiệm vào tham số và tính chất Hukuhara-Kneser của tập nghiệm cho phương trình vi phân hàm cấp hai có đối số chậm dưới các điều kiện biên ba điểm, biên hỗn hợp và điều kiện giá trị đầu.
  3. Chứng minh tính giải được duy nhất toàn cục trên $[0, T]$ của bài toán hỗn hợp cho phương trình sóng phi tuyến chứa toán tử Kirchhoff trên màng tròn đơn vị; xây dựng thuật toán lặp hội tụ cấp hai và thiết lập khai triển tiệm cận của nghiệm theo tham số bé $\varepsilon$ đến cấp $N + 1$.

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

  • Đối tượng nghiên cứu: Ba lớp phương trình giải tích phi tuyến gồm: phương trình tích phân phi tuyến dạng Volterra trong không gian Banach; phương trình vi phân hàm cấp hai có đối số chậm; bài toán giá trị biên - ban đầu cho phương trình sóng phi tuyến Kirchhoff trên màng tròn đơn vị.
  • Phạm vi không gian và thời gian: Biến thời gian $t$ thuộc nửa trục $[0, +\infty)$ (đối với phương trình tích phân Volterra) hoặc đoạn hữu hạn $[0, 1]$, $[0, T]$; biến không gian $r \in (0, 1)$ (đối với phương trình sóng trên màng tròn đơn vị); các không gian hàm nền tảng gồm không gian Banach $E$, không gian Fréchet $C(\mathbb{R}_+; E)$, không gian hàm khả vi $C^2$ và các không gian Sobolev có trọng $H_1, H_2$.

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

Luận án đã hệ thống hóa lịch sử phát triển của lý thuyết điểm bất động từ các nền tảng:

  • Nguyên lý điểm bất động Brouwer (1912) trong không gian hữu hạn chiều dựa trên lý thuyết bậc tôpô;
  • Nguyên lý ánh xạ co Banach (1922) trong không gian metric đầy đủ;
  • Định lý Schauder (1930) và định lý Tychonoff (1935) mở rộng cho không gian vô hạn chiều và không gian vectơ tôpô lồi địa phương;
  • Bổ đề KKM (Knaster - Kuratowski - Mazurkiewicz, 1929) và lý thuyết KKM của Ky Fan (1960/61);
  • Các mở rộng cho ánh xạ đa trị của S. Kakutani (1941), H. F. Bohnenblust và S. Karlin (1950);
  • Định lý Krasnosel'skii (1955) kết hợp toán tử co và toán tử compact $U + C$;
  • Lý thuyết bậc Leray - Schauder và nguyên lý loại trừ phi tuyến (Nonlinear Alternative).

Về mặt ứng dụng cụ thể vào các lớp phương trình:

  • Phương trình tích phân Volterra: Luận án đối chiếu với công trình của C. Avramescu và A. Vladimirescu (2004) trên $\mathbb{R}^d$ và công trình của L. H. Hóa và K. Schmitt (1994). Về cấu trúc tập nghiệm, tác giả kế thừa các tư tưởng về tính chất Hukuhara-Kneser từ N. Aronszajn (1942), K. Deimling (1985), S. Szufla (1990) và J. M. Ayerbe Toledano cùng cộng sự.
  • Phương trình vi phân hàm cấp hai có chậm: Luận án tổng hợp các kết quả nghiên cứu bài toán biên đa điểm của R. Y. Ma (1999), Yong-Pin Sun (2004), S. K. Ntouyas (1998) và Bo Zhang (2000).
  • Phương trình sóng phi tuyến chứa toán tử Kirchhoff: Luận án tiếp nối chuỗi nghiên cứu về phương trình sóng phi tuyến và toán tử Kirchhoff của các tác giả như E. H. de Brito (1983), K. Nishihara (1984), L. A. Medeiros (1994), P. D'Ancona và S. Spagnolo (1992), N. A. Lar'kin, TS. Nguyễn Thành Long và PGS. Lê Hoàn Hoa.

Khoảng trống nghiên cứu được lựa chọn: Luận án mở rộng đồng thời cả ba hướng: tổng quát hóa không gian hàm và dạng toán tử cho phương trình Volterra phi tuyến; bổ sung thành phần trễ chậm và khảo sát cấu trúc tôpô tập nghiệm bài toán vi phân cấp hai; thiết lập dãy lặp tuyến tính và phi tuyến có đánh giá sai số cấp hai, kèm khai triển tiệm cận bậc cao cho phương trình sóng Kirchhoff.

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

Luận án là công trình nghiên cứu lý thuyết giải tích toán học thuần túy (định tính và giải tích hàm), sử dụng các khung phân tích và công cụ toán học sau:

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

  • Lý thuyết không gian Fréchet: Sử dụng không gian vectơ $X$ với họ nửa chuẩn đếm được $(|x|n){n \ge 1}$, cấu trúc metric đầy đủ bất biến qua phép tịnh tiến: $$d(x, y) = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{|x - y|_n}{1 + |x - y|_n}$$
  • Họ nửa chuẩn tương đương có trọng hàm mũ: Để thiết lập tính co của toán tử trên từng đoạn $[0, n]$, tác giả xây dựng nửa chuẩn $|x|n = \sup{t \in [0, n]} e^{-\lambda_n (t - \gamma_n)} |x(t)|$ với các tham số $\lambda_n, \gamma_n > 0$ thích hợp.
  • Lý thuyết bậc tôpô Leray-Schauder và Định lý Krasnosel'skii - Perov: Dùng để kiểm tra tính compact và tính liên thông của tập điểm bất động thông qua tính toán chỉ số bậc $\deg(I - T, D, 0) = 1$.
  • Các bổ đề tôpô và giải tích chuẩn bị: Bổ đề thác triển Dugundji (thác triển ánh xạ liên tục trên tập đóng của không gian metric vào bao lồi của không gian định chuẩn); Bổ đề xấp xỉ Lipschitz địa phương Lasry - Robert (1976); Bổ đề Gronwall dạng tích phân.
  • Không gian Sobolev có trọng: Xây dựng hệ không gian hàm Hilbert $H_1, H_2$ gắn với toán tử vi phân Bessel loại elliptic $A u = -\frac{1}{r}(r u_r)_r$ trên miền $(0, 1)$ với chuẩn cảm sinh từ tích vô hướng có trọng $r$: $$|u|^2 = \int_0^1 r |u(r, t)|^2 dr, \quad |u_r|^2 = \int_0^1 r |u_r(r, t)|^2 dr, \quad |u_t|^2 = \int_0^1 r |u_t(r, t)|^2 dr$$

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

  • Phương pháp điểm bất động kiểu Krasnosel'skii: Biến đổi phương trình thành dạng $y = Uy + Cy$, trong đó $U$ là toán tử co theo họ nửa chuẩn tương đương và $C$ là toán tử hoàn toàn liên tục trên không gian Fréchet.
  • Phương pháp loại trừ phi tuyến Leray-Schauder: Thiết lập tính bị chặn tiên nghiệm của tập các nghiệm khả dĩ ${u \in X : u = \lambda T u, \lambda \in (0, 1)}$ để suy ra sự tồn tại nghiệm.
  • Nguyên lý ánh xạ co Banach: Áp dụng trên các tập đóng trong không gian Banach để chứng minh sự tồn tại duy nhất và tính hội tụ của dãy lặp xấp xỉ.
  • Phương pháp xấp xỉ Galerkin kết hợp đánh giá tiên nghiệm: Chiếu bài toán sóng lên không gian con hữu hạn chiều sinh bởi hệ hàm riêng của toán tử vi phân Bessel, thiết lập đánh giá năng lượng và chuyển qua giới hạn bằng lý luận tính compact yếu/mạnh (Bổ đề Aubin-Lions).
  • Phương pháp khai triển tiệm cận đa quy mô: Phân tích nghiệm giải tích theo chuỗi lũy thừa của tham số bé $\varepsilon$.

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

Chương Tên chương và đối tượng phương trình Phương pháp toán học chủ đạo Kết quả giải tích chính
Chương 1 Ứng dụng định lý kiểu Krasnosel'skii vào phương trình tích phân Volterra phi tuyến Định lý Krasnosel'skii trên Fréchet, Bổ đề Lasry-Robert, Krasnosel'skii-Perov Tồn tại nghiệm trên $[0, \infty)$, nghiệm ổn định tiệm cận, cấu trúc tập nghiệm compact và liên thông
Chương 2 Ứng dụng định lý kiểu Leray-Schauder và nguyên lý ánh xạ co vào phương trình vi phân hàm cấp hai có chậm Nonlinear alternative Leray-Schauder, Ánh xạ co Banach, Krasnosel'skii-Perov Tồn tại, duy nhất nghiệm, phụ thuộc liên tục vào tham số $\alpha$, tính chất Hukuhara-Kneser
Chương 3 Ứng dụng nguyên lý ánh xạ co vào bài toán hỗn hợp cho phương trình sóng phi tuyến chứa toán tử Kirchhoff Xấp xỉ Galerkin, Nguyên lý ánh xạ co, Không gian Sobolev có trọng Nghiệm duy nhất toàn cục trên $[0, T]$, thuật toán lặp hội tụ cấp hai, khai triển tiệm cận bậc $N+1$

Chương 1: Ứng dụng định lý kiểu Krasnosel'skii vào phương trình tích phân

Chương 1 gồm 6 mục, khảo sát phương trình tích phân Volterra phi tuyến trên không gian Banach $(E, |\cdot|)$: $$x(t) = q(t) + f(t, x(t)) + \int_0^t V(t, s, x(s)) ds + \int_0^t G(t, s, x(s)) ds, \quad t \in \mathbb{R}_+ \tag{1.1}$$

  • Định lý điểm bất động kiểu Krasnosel'skii (Mục 1.2): Tác giả chứng minh Định lý 1.1 trên không gian Fréchet $(X, |\cdot|_n)$. Cho $U, C: X \to X$ thỏa mãn:
    1. $U$ là toán tử co ứng với họ nửa chuẩn $|\cdot|_n$ tương đương với họ nửa chuẩn $|\cdot|_n$;
    2. $C$ hoàn toàn liên tục (liên tục và biến tập bị chặn thành tập compact tương đối);
    3. $\lim_{|x|_n \to \infty} \frac{|Cx|_n}{|x|_n} = 0, \quad \forall n \in \mathbb{N}^*$. Khi đó toán tử $U + C$ có ít nhất một điểm bất động trong $X$.
  • Sự tồn tại nghiệm (Mục 1.3): Dưới các giả thiết $(A_1)$-$ (A_4)$ (hàm $f$ thỏa mãn điều kiện Lipschitz với hằng số $L \in [0, 1)$, $V$ thỏa mãn điều kiện tựa Lipschitz với hàm $\omega_1$, $G$ hoàn toàn liên tục và tăng trưởng dưới tuyến tính), tác giả thực hiện đổi biến $x = y + \xi$ (với $\xi$ là điểm bất động duy nhất của phương trình $x = q + f(t, x)$ theo Bổ đề 1.1). Tác giả chứng minh $U$ là toán tử $k_n$-co theo chuẩn $|y|n$ với $k_n < 1$ và $C$ hoàn toàn liên tục thông qua Bổ đề 1.3 (tiêu chuẩn compact dạng Ascoli-Arzela trong không gian Fréchet $C(\mathbb{R}+; E)$), từ đó suy ra (1.1) có ít nhất một nghiệm trên $[0, +\infty)$.
  • Nghiệm ổn định tiệm cận (Mục 1.4): Hàm $\xi$ được gọi là nghiệm ổn định tiệm cận của (1.1) nếu với mọi nghiệm $x$, $\lim_{t \to +\infty} |x(t) - \xi(t)| = 0$. Dưới các điều kiện bổ sung $(A_5)$-$ (A_6)$ và hệ giả thiết triệt tiêu tích phân $(H_1)$-$ (H_3)$, Định lý 1.2 khẳng định sự tồn tại của nghiệm ổn định tiệm cận. Luận án cung cấp ví dụ tường minh trên không gian $E = C([0, 1]; \mathbb{R})$ với các hàm phi tuyến chứa hàm lượng giác $\sin$ và hàm mũ $e^{-t}$, chỉ ra nghiệm giải tích $x(t)(\theta) = \theta e^{-t}$.
  • Tính compact và liên thông của tập hợp nghiệm (Mục 1.5): Áp dụng Định lý Krasnosel'skii - Perov, Bổ đề thác triển Dugundji và Bổ đề xấp xỉ Lipschitz địa phương Lasry - Robert, Định lý 1.3 chứng minh tập nghiệm của (1.1) trên $[0, +\infty)$ là tập khác rỗng, compact và liên thông trong $C(\mathbb{R}_+; E)$. Tác giả nêu ví dụ cụ thể phương trình có 3 nghiệm phân biệt $x_1, x_2 \neq 0$ và $x_3 = 0$, khẳng định không gian nghiệm chứa một continuum các nghiệm liên thông.
  • Trường hợp mở rộng có đối số chậm (Mục 1.6): Mở rộng toàn bộ các kết quả trên cho phương trình chứa các hàm trễ $\omega(t), \sigma(t), \chi(t) \le t$: $$x(t) = q(t) + f(t, x(t), x(\omega(t))) + \int_0^t V(t, s, x(s), x(\sigma(s))) ds + \int_0^t G(t, s, x(s), x(\chi(s))) ds \tag{1.2}$$ Các Định lý 1.4, 1.5 và 1.6 xác lập sự tồn tại nghiệm, nghiệm ổn định tiệm cận và tính chất Hukuhara-Kneser cho bài toán tổng quát này dưới hệ điều kiện $(I_1)$-$ (I_8)$.

Chương 2: Ứng dụng định lý kiểu Leray-Schauder và nguyên lý ánh xạ co vào phương trình vi phân hàm cấp hai có chậm

Chương 2 gồm 5 mục, khảo sát phương trình vi phân hàm cấp hai có đối số chậm: $$u'' + f(t, u_t, u'(t)) = 0, \quad 0 < t < 1 \tag{2.1}$$ trong đó $u_t(\theta) = u(t + \theta)$ với $\theta \in [-r, 0]$ ($r > 0$).

  • Bài toán giá trị biên ba điểm có đối số chậm (Mục 2.3): Phương trình liên kết với điều kiện: $$u_0 = \phi \in C([-r, 0]; \mathbb{R}), \quad u(1) = \alpha u(\eta), \quad \eta \in (0, 1), ; \alpha \in \mathbb{R} \tag{2.2}$$ Sử dụng biểu diễn nghiệm tích phân thông qua hàm Green tương ứng, tác giả áp dụng nguyên lý loại trừ phi tuyến Leray-Schauder chứng minh sự tồn tại nghiệm. Khi hàm $f$ thỏa mãn điều kiện Lipschitz, áp dụng nguyên lý ánh xạ co Banach, tác giả chứng minh tính duy nhất nghiệm và chứng minh nghiệm $u(t; \alpha)$ phụ thuộc liên tục vào tham số thực $\alpha$.
  • Bài toán giá trị biên hỗn hợp có đối số chậm (Mục 2.4): Khảo sát bài toán với điều kiện biên: $$u_0 = \phi, \quad u'(1) + h u(1) = 0 \quad (h > 0) \tag{2.3}$$ Sự tồn tại nghiệm được thiết lập bằng phương pháp thác triển tôpô Leray-Schauder kết hợp các đánh giá tiên nghiệm trên không gian Banach $C^1([0, 1]; \mathbb{R})$.
  • Bài toán giá trị đầu có đối số chậm (Mục 2.5): Xét bài toán Cauchy với điều kiện ban đầu: $$u_0 = \phi, \quad u'(0) = v_0 \in \mathbb{R} \tag{2.4}$$ Luận án chứng minh sự tồn tại, tính duy nhất nghiệm, sự phụ thuộc liên tục của nghiệm vào điều kiện ban đầu $(\phi, v_0)$. Đồng thời, bằng việc vận dụng định lý Krasnosel'skii - Perov, tác giả chứng minh tập nghiệm của bài toán giá trị đầu là một tập compact và liên thông (tính chất Hukuhara-Kneser).

Chương 3: Ứng dụng nguyên lý ánh xạ co vào bài toán hỗn hợp cho phương trình sóng phi tuyến chứa toán tử Kirchhoff

Chương 3 gồm 5 mục, nghiên cứu bài toán hỗn hợp cho phương trình sóng phi tuyến chứa toán tử Kirchhoff trên màng tròn đơn vị: $$\begin{cases} u_{tt} - B\left(t, |u|^2, |u_r|^2, |u_t|^2\right) \left( \dfrac{1}{r} u_r + u_{rr} \right) = f(r, t, u, u_t), & 0 < r < 1, ; 0 < t < T \ \lim_{r \to 0^+} |\sqrt{r} u_r(r, t)| < +\infty, \quad u_r(1, t) + h u(1, t) = 0 & (h > 0) \ u(r, 0) = u_0(r), \quad u_t(r, 0) = u_1(r) \end{cases} \tag{3.1}$$

  • Không gian hàm và kết quả chuẩn bị (Mục 3.2): Thiết lập cơ sở trực chuẩn trong không gian Hilbert trọng ${w_j(r)}_{j=1}^\infty$ ứng với bài toán phổ Bessel: $-\frac{1}{r}(r w_j')' = \lambda_j w_j$, $w_j'(1) + h w_j(1) = 0$. Xây dựng các đánh giá tiên nghiệm năng lượng cho phiếm hàm năng lượng: $$E(t) = |u_t(t)|^2 + |u_r(t)|^2 + h |u(1, t)|^2$$
  • Sự tồn tại và duy nhất nghiệm (Mục 3.3): Tuyến tính hóa bài toán bằng dãy quy nạp liên hợp: $$u_{tt}^{(m)} - B\left(t, |u^{(m-1)}|^2, |u_r^{(m-1)}|^2, |u_t^{(m-1)}|^2\right) \left( \frac{1}{r} u_r^{(m)} + u_{rr}^{(m)} \right) = f(r, t, u^{(m-1)}, u_t^{(m-1)})$$ Sử dụng phương pháp Galerkin và nguyên lý ánh xạ co Banach, tác giả chứng minh tính giải được duy nhất của bài toán xấp xỉ trên $[0, T]$ và chứng minh dãy nghiệm xấp xỉ ${u^{(m)}}$ hội tụ mạnh cấp một về nghiệm duy nhất $u \in L^\infty(0, T; H_2) \cap W^{1, \infty}(0, T; H_1) \cap W^{2, \infty}(0, T; H_0)$.
  • Thuật giải lặp phi tuyến hội tụ cấp hai (Mục 3.4): Đối với trường hợp $f = f(r, u)$ và $B = B(t)$, tác giả xây dựng dãy lặp phi tuyến bậc cao: $$u_{tt}^{(m)} - B(t) \left( \frac{1}{r} u_r^{(m)} + u_{rr}^{(m)} \right) = f(r, u^{(m-1)}) + f_u'(r, u^{(m-1)})(u^{(m)} - u^{(m-1)})$$ Luận án thiết lập đánh giá sai số tiên lượng: $$|u^{(m)} - u|{L^\infty(0, T; H_1)} \le C |u^{(m-1)} - u|{L^\infty(0, T; H_1)}^2$$ chứng minh dãy lặp đạt tốc độ hội tụ bậc hai (tương tự phương pháp Newton-Kantorovich).
  • Khai triển tiệm cận của nghiệm theo tham số bé (Mục 3.5): Khi phương trình chứa tham số nhiễu $\varepsilon > 0$ ở các số hạng phi tuyến: $$u_{tt} - B\left(t, \varepsilon |u|^2, \varepsilon |u_r|^2, \varepsilon |u_t|^2\right) \left( \frac{1}{r} u_r + u_{rr} \right) = f(r, t, u, u_t) + \varepsilon g(r, t, u, u_t)$$ Tác giả xây dựng khai triển tiệm cận bậc $N + 1$: $$u_\varepsilon(r, t) = \sum_{k=0}^N \varepsilon^k v_k(r, t) + R_{N+1}(r, t, \varepsilon)$$ và chứng minh đánh giá phần dư $|R_{N+1}|_{L^\infty(0, T; H_1)} \le K \varepsilon^{N+1}$, trong đó cấp trơn phụ thuộc trực tiếp vào độ trơn của dữ kiện ban đầu $(u_0, u_1)$ và các hàm $B, f, g$.

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

  1. Về mặt lý luận giải tích:

    • Mở rộng thành công Định lý điểm bất động Krasnosel'skii trên không gian Fréchet trang bị họ nửa chuẩn tương đương có trọng hàm mũ, giải quyết bài toán điểm bất động của tổng toán tử $U + C$ khi không gian nền tảng không có tính chất compact cục bộ.
    • Giải quyết trọn vẹn bài toán về tính chất Hukuhara-Kneser (tính compact và liên thông của tập nghiệm) cho phương trình tích phân Volterra phi tuyến trên nửa trục không bị chặn $[0, +\infty)$ và phương trình vi phân hàm cấp hai có đối số chậm.
    • Đưa ra tiêu chuẩn giải tích tường minh cho tính ổn định tiệm cận của nghiệm phương trình Volterra phi tuyến không thuần nhất trên không gian Banach.
    • Thiết lập bài toán biên ba điểm và bài toán biên hỗn hợp cho phương trình vi phân hàm cấp hai có chậm, làm rõ sự phụ thuộc liên tục của nghiệm vào tham số biên $\alpha$.
    • Chứng minh sự tồn tại duy nhất nghiệm toàn cục trên $[0, T]$ của phương trình sóng phi tuyến chứa toán tử Kirchhoff trên đĩa tròn; thiết lập thuật toán xấp xỉ lặp đạt độ hội tụ cấp hai và công thức khai triển tiệm cận cấp $N+1$ theo tham số bé.

  2. Về mặt ứng dụng và công bố khoa học:

    • Kết quả nghiên cứu trong luận án đã được công bố trong 6 bài báo khoa học chính thức ([N2] đến [N6]), 2 bài gửi đăng ([N7], [N8]), cùng 2 bài báo mở rộng phương pháp cho các dạng phương trình khác ([N1], [N9], [N10]).
    • Các kết quả đã được báo cáo tại các diễn đàn khoa học chuyên ngành: Hội nghị Khoa học Khoa Toán - Tin học ĐHSP TP.HCM (2003, 2005), Hội nghị Quốc tế về Phương trình Vi phân và Ứng dụng (ICDEA, TP.HCM, 2004), và Hội nghị Toàn quốc lần thứ hai về Ứng dụng Toán học (Hà Nội, 2005).

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

  • Hạn chế: Các phương trình vi phân hàm trong luận án chủ yếu khảo sát đối số chậm hữu hạn trên đoạn $[0, 1]$ hoặc trễ đơn; phương trình sóng phi tuyến Kirchhoff được giới hạn trong miền đối xứng màng tròn đơn vị 1 chiều không gian $r \in (0, 1)$; các toán tử phi tuyến đòi hỏi tính trơn và các điều kiện tựa Lipschitz hoặc tăng trưởng dưới tuyến tính nghiêm ngặt.
  • Hướng nghiên cứu tiếp: Mở rộng phương pháp điểm bất động và kỹ thuật không gian Sobolev có trọng cho phương trình vi phân hàm cấp cao có trễ vô hạn; nghiên cứu bài toán sóng phi tuyến Kirchhoff trên miền đa chiều bất kỳ ($\Omega \subset \mathbb{R}^n$) với biên không trơn; khảo sát hiện tượng bùng nổ nghiệm (blow-up) trong thời gian hữu hạn khi số hạng phi tuyến có độ tăng trưởng trên tuyến tính.

Giá trị tham khảo

  • Đối với nghiên cứu sinh và học viên cao học ngành Toán Giải tích: Cung cấp tài liệu tham khảo chi tiết về kỹ thuật áp dụng lý thuyết điểm bất động trên không gian Fréchet, phương pháp đánh giá tiên nghiệm và xử lý cấu trúc tôpô của tập nghiệm (tính chất Hukuhara-Kneser).
  • Đối với giảng viên và nhà nghiên cứu phương trình vi phân - tích phân: Cung cấp các mô hình toán học giải quyết trọn vẹn từ bài toán biên ba điểm có đối số chậm đến phương trình sóng màng tròn chứa toán tử Kirchhoff phi tuyến.
  • Các phần đáng tham khảo sâu:
    • Kỹ thuật xây dựng họ nửa chuẩn tương đương có trọng hàm mũ để biến đổi toán tử tích phân thành toán tử co trong Mục 1.3 và Mục 1.6;
    • Kỹ thuật sử dụng Bổ đề Lasry-Robert và Định lý Krasnosel'skii - Perov để chứng minh tính liên thông của tập nghiệm trong Mục 1.5;
    • Sơ đồ xây dựng dãy lặp phi tuyến hội tụ cấp hai và đánh giá sai số trong Mục 3.4.

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

1. Định lý Krasnosel'skii trên không gian Fréchet trong Chương 1 khắc phục hạn chế gì của các công trình trước đó? Định lý 1.1 trong luận án mở rộng định lý Krasnosel'skii cổ điển từ không gian Banach sang không gian Fréchet, loại bỏ yêu cầu tập xác định phải bị chặn toàn cục và cho phép toán tử $U$ chỉ cần co đối với một họ nửa chuẩn tương đương $|\cdot|_n$. Kết quả này áp dụng trực tiếp cho phương trình Volterra phi tuyến trên nửa trục $[0, +\infty)$ khi hàm $f \neq 0$ và toán tử tích phân phi tuyến, tổng quát hóa kết quả của C. Avramescu - A. Vladimirescu (2004) và L. H. Hóa - K. Schmitt (1994).

2. Tính chất Hukuhara-Kneser trong luận án là gì và được chứng minh bằng công cụ nào? Tính chất Hukuhara-Kneser khẳng định tập hợp tất cả các nghiệm của bài toán là một tập khác rỗng, compact và liên thông trong không gian tôpô tương ứng. Tính chất này được tác giả chứng minh bằng cách áp dụng Định lý Krasnosel'skii - Perov, kết hợp Bổ đề thác triển Dugundji, Bổ đề xấp xỉ Lipschitz địa phương Lasry - Robert và tính toán bậc tôpô Leray-Schauder $\deg(I - T, D_n, 0) = 1$. Khi phương trình có từ 2 nghiệm phân biệt, tính liên thông đảm bảo sự tồn tại của một continuum (tập hợp có lực lượng liên tục) các nghiệm.

3. Tại sao trong bài toán biên ba điểm ở Chương 2, tác giả lại kết hợp cả Định lý Leray-Schauder và Nguyên lý ánh xạ co Banach? Định lý Leray-Schauder (nguyên lý loại trừ phi tuyến) được sử dụng để thiết lập sự tồn tại nghiệm dưới điều kiện phi tuyến liên tục và bị chặn tiên nghiệm. Sau đó, nguyên lý ánh xạ co Banach được vận dụng khi bổ sung điều kiện Lipschitz để chứng minh tính duy nhất nghiệm và thiết lập tính chất nghiệm phụ thuộc liên tục vào tham số biên $\alpha$.

4. Dãy lặp trong Chương 3 đạt được tốc độ hội tụ cấp hai dựa trên kỹ thuật nào? Trong Mục 3.4, khi xét trường hợp $f = f(r, u)$ và $B = B(t)$, tác giả không sử dụng dãy lặp tuyến tính thông thường (vốn chỉ hội tụ cấp một) mà xây dựng dãy lặp phi tuyến kiểu Newton-Kantorovich bằng cách khai triển tuyến tính hóa đạo hàm riêng $f_u'(r, u^{(m-1)})(u^{(m)} - u^{(m-1)})$. Đánh giá năng lượng trong không gian Sobolev có trọng $H_1$ chứng minh được sai số bước thứ $m$ tỷ lệ với bình phương sai số bước thứ $m-1$.

Kết luận

Luận án tiến sĩ của tác giả Lê Thị Phương Ngọc là công trình nghiên cứu hệ thống về lý thuyết giải tích phi tuyến, tập trung giải quyết trọn vẹn bài toán tồn tại, duy nhất, ổn định tiệm cận và cấu trúc tôpô tập nghiệm cho ba lớp phương trình vi - tích phân quan trọng. Luận án đã mở rộng định lý điểm bất động Krasnosel'skii trên không gian Fréchet, thiết lập tính chất Hukuhara-Kneser trên miền không bị chặn, giải quyết bài toán biên có trễ và xây dựng thuật toán lặp hội tụ cấp hai kèm khai triển tiệm cận cho phương trình sóng Kirchhoff. Toàn bộ các kết luận toán học được chứng minh chặt chẽ, đóng góp các kỹ thuật giải tích có giá trị tham khảo cao cho chuyên ngành Toán Giải tích.