Tổng quan luận án
Luận án tiến sĩ toán học với đề tài "Một số tính chất định tính của vài lớp phương trình vi phân giá trị khoảng", chuyên ngành Toán Giải tích (mã số: 62 46 01 02), được thực hiện bởi nghiên cứu sinh Trương Vĩnh An dưới sự hướng dẫn khoa học của PGS.TS. Nguyễn Đình Phư và PGS.TS. Nguyễn Anh Tuấn tại Trường Đại học Sư phạm Thành phố Hồ Chí Minh (năm 2018).
Tính cấp thiết và khoảng trống nghiên cứu
Trong thực tế, phần lớn các bài toán kỹ thuật và tự nhiên được mô hình hóa dưới dạng hệ động lực, phương trình vi phân, phương trình tích phân hoặc phương trình vi - tích phân. Tuy nhiên, các tham số của hệ thống thường chịu tác động bởi các yếu tố bất định, không đầy đủ hoặc bị nhiễu từ môi trường bên ngoài. Để mô tả tính bất định, ba hướng tiếp cận chính được áp dụng gồm: lý thuyết xác suất, lý thuyết tập mờ và giải tích khoảng.
Trong đó, giải tích khoảng là công cụ tiếp cận không mang tính xác suất, hữu ích khi hệ thống không đủ dữ liệu thực nghiệm để xác định hàm mật độ phân phối xác suất. Trước đây, việc nghiên cứu phương trình vi phân khoảng dựa trên đạo hàm Hukuhara cổ điển bộc lộ hai hạn chế căn bản:
- Hiệu Hukuhara giữa hai khoảng không phải lúc nào cũng tồn tại, dẫn đến việc đạo hàm không luôn tồn tại.
- Độ rộng của nghiệm khoảng theo đạo hàm Hukuhara luôn tăng dần theo biến thời gian, khiến tính bất định ngày càng mở rộng và quỹ đạo nghiệm xa rời nghiệm cổ điển, không thích hợp để khảo sát tính tiệm cận hay bài toán biên tuần hoàn.
Để khắc phục các nhược điểm trên, khái niệm đạo hàm Hukuhara tổng quát ($gH$-đạo hàm) đã được đề xuất. Dù vậy, các kết quả nghiên cứu định tính đối với các lớp phương trình vi phân, tích phân và vi - tích phân nhận giá trị khoảng dưới tính khả vi Hukuhara tổng quát vẫn còn khiêm tốn. Luận án được thực hiện nhằm hoàn thiện cơ sở lý thuyết định tính cho các lớp phương trình này.
Mục tiêu nghiên cứu
Luận án tập trung vào các mục tiêu cụ thể sau:
- Thiết lập các điều kiện đủ đảm bảo sự tồn tại và duy nhất nghiệm của phương trình tích phân khoảng Volterra bằng phương pháp xấp xỉ liên tiếp và nguyên lý ánh xạ co Banach.
- Xây dựng khái niệm tích trong trên không gian các hàm khoảng $K_c(\mathbb{R})$, từ đó thiết lập điều kiện tiêu biến Lyapunov để chứng minh sự tồn tại và duy nhất nghiệm toàn cục cho phương trình vi phân khoảng có trễ.
- Ứng dụng công cụ hàm tựa Lyapunov để khảo sát tính tồn tại và duy nhất nghiệm của ba lớp phương trình: phương trình vi - tích phân khoảng, phương trình vi - tích phân khoảng có trễ và phương trình vi - tích phân khoảng có xung với trễ.
- Mở rộng giải tích phân thứ (Riemann-Liouville và Caputo) cho hàm nhận giá trị khoảng, ứng dụng lý thuyết điểm bất động trong không gian thứ tự để nghiên cứu sự tồn tại, tính duy nhất và tính ổn định của nghiệm phương trình vi phân/vi - tích phân khoảng phân thứ có trễ.
- Đề xuất các quy trình giải nghiệm tường minh (phương pháp giải nghiệm) cho từng lớp phương trình được khảo sát.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Các tính chất định tính (tính tồn tại, tính duy nhất, tính khả vi, nghiệm toàn cục, sự phụ thuộc liên tục của nghiệm) và phương pháp tìm nghiệm của các lớp phương trình tích phân Volterra, phương trình vi phân có trễ, phương trình vi - tích phân (có trễ, có xung) và phương trình vi - tích phân phân thứ nhận giá trị khoảng.
- Phạm vi nghiên cứu:
- Không gian toán học: Không gian các tập con lồi, đóng, bị chặn (compắc) khác rỗng trong $\mathbb{R}$, ký hiệu là $K_c(\mathbb{R})$, trang bị mêtric Hausdorff $H$.
- Tính khả vi: Đạo hàm Hukuhara tổng quát ($gH$-đạo hàm mạnh và $gH$-đạo hàm thường), đạo hàm phân thứ Riemann-Liouville và Caputo với bậc không nguyên $\alpha \in (0, 1)$.
- Miền thời gian: Đoạn hữu hạn $[t_0, T]$ hoặc nửa đường thẳng thực $[t_0, \infty)$ đối với bài toán nghiệm toàn cục; độ trễ hữu hạn $\sigma > 0$.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu liên quan được điểm lại
Lý thuyết không chắc chắn và giải tích mờ, giải tích khoảng được hình thành và phát triển qua nhiều giai đoạn với các công trình tiêu biểu được tác giả tổng thuật:
- Nền tảng giải tích mờ và ánh xạ đa trị: Zadeh cùng các cộng sự Chang (1972) [10], Heilpern (1980) [19], Dubois và Prade đã đặt nền móng cho các phép toán giải tích mờ như tính khả vi, tính đo được và tính khả tích. Về sau, lý thuyết này được hoàn thiện bởi Bede, Stefanini, Chalco-Cano [7]-[9], Diamond và Kloeden [11], Lakshmikantham và Mohapatra [30].
- Hệ động lực và phương trình vi phân mờ: Kaleva khởi đầu nghiên cứu phương trình vi phân mờ dựa trên đạo hàm Hukuhara, chứng minh định lý tồn tại duy nhất nghiệm cho bài toán Cauchy cấp 1 dưới điều kiện Lipschitz. Nhóm nghiên cứu của Nieto và cộng sự [24], [46] phát triển kỹ thuật giải phương trình vi phân mờ tuyến tính cấp 1 có điều kiện biên tuần hoàn hoặc có trễ. Chalco-Cano [8] đề xuất khái niệm nghiệm dưới tính khả vi mờ tổng quát. Lupulescu [32] sử dụng phương pháp dãy xấp xỉ nghiệm chứng minh định lý tồn tại duy nhất toàn cục cho phương trình vi phân mờ có trễ, kết hợp nguyên lý Zadeh, phương pháp giải từng bước (Method of steps) và định lý Stacking. Malinowski [34], [37] kết hợp khái niệm mờ và ngẫu nhiên để nghiên cứu tính ổn định của nghiệm.
- Giải tích khoảng (Interval Analysis): Khái niệm biến khoảng trong đường thẳng thực được Moore đề xuất năm 1966 [42], [44] nhằm xử lý sai số đo đạc trong cơ học kết cấu. Moore và Lodwick [43], Pedrycz và Gomide [47] đã chứng minh mối liên hệ giữa tập mờ và biến khoảng thông qua các tập mức ($\alpha$-cuts).
- Phát triển đạo hàm Hukuhara tổng quát cho hàm khoảng: Khái niệm hiệu Hukuhara tổng quát và đạo hàm $gH$ được Stefanini và Bede [54], Markov [40], Lupulescu [31], [33], Chalco-Cano và cộng sự [9], Malinowski [35] xây dựng nhằm giải quyết triệt để vấn đề độ rộng nghiệm luôn tăng của đạo hàm Hukuhara truyền thống.
- Giải tích phân thứ: Các lý thuyết nền tảng về đạo hàm phân thứ Riemann-Liouville và Caputo của hàm thực được kế thừa từ Kilbas và cs [25], Samko và cs [52].
Khoảng trống luận án lựa chọn giải quyết
Mặc dù đạo hàm Hukuhara tổng quát mở ra khả năng mô tả độ rộng nghiệm tăng, giảm hoặc xuất hiện các điểm chuyển (switching points), các công trình trước đó chủ yếu dừng lại ở phương trình vi phân khoảng cấp 1 cơ bản. Luận án lựa chọn giải quyết các khoảng trống lý thuyết:
- Thiếu các định lý tồn tại và duy nhất nghiệm toàn cục cho phương trình vi phân khoảng có trễ với các điều kiện tiêu biến suy rộng.
- Chưa có hệ thống lý thuyết hoàn chỉnh cho phương trình vi - tích phân khoảng có trễ và có xung.
- Chưa tổng quát hóa đầy đủ giải tích phân thứ (Riemann-Liouville và Caputo) cho hàm khoảng dưới tính khả vi $gH$ để giải quyết các lớp phương trình vi phân và vi - tích phân phân thứ có trễ.
Cơ sở lý thuyết và phương pháp nghiên cứu
Lý thuyết, khái niệm và khung phân tích
Luận án vận dụng hệ thống giải tích khoảng và giải tích hàm trên không gian metric:
- Không gian khoảng $(K_c(\mathbb{R}), H)$: $K_c(\mathbb{R})$ là tập các khoảng đóng compắc $A = [\underline{A}, \overline{A}] \subset \mathbb{R}$ ($\underline{A} \le \overline{A}$). Khoảng cách Hausdorff: $$H[A, B] = \max{|\underline{A} - \underline{B}|, |\overline{A} - \overline{B}|}$$ Độ lớn $|A| = H[A, 0] = \max{|\underline{A}|, |\overline{A}|}$, độ rộng $w(A) = \overline{A} - \underline{A}$. $(K_c(\mathbb{R}), H)$ là không gian mêtric đầy đủ.
- Hiệu Hukuhara tổng quát ($\ominus_{gH}$): $$A \ominus_{gH} B = \begin{cases} [\underline{A} - \underline{B}, \overline{A} - \overline{B}], & \text{nếu } w(A) \ge w(B) \ [\overline{A} - \overline{B}, \underline{A} - \underline{B}], & \text{nếu } w(A) < w(B) \end{cases}$$
- Đạo hàm Hukuhara tổng quát ($D_{gH}X(t)$): Phân loại thành:
- $(i)$-khả vi (loại 1, $w$-tăng): $D_{gH}X(t) = [\underline{X}'(t), \overline{X}'(t)]$.
- $(ii)$-khả vi (loại 2, $w$-giảm): $D_{gH}X(t) = [\overline{X}'(t), \underline{X}'(t)]$.
- Tích trong trên $(K_c(\mathbb{R}), H)$: Luận án định nghĩa tích trong giữa hai khoảng $A, B \in K_c(\mathbb{R})$: $$\langle A, B \rangle = \lim_{h \to 0^+} \frac{H^2[A + hB, 0] - H^2[A, 0]}{2h}$$ Hệ quả quan trọng: $\frac{1}{2} \frac{d^+}{dt} |X(t)|^2 = \langle X(t), D_{gH}X(t) \rangle_+$.
- Giải tích phân thứ dạng khoảng:
- Tích phân Riemann-Liouville bậc $\alpha \in (0, 1)$: $(I_{a^+}^\alpha X)(t) = \frac{1}{\Gamma(\alpha)} \int_a^t (t-s)^{\alpha-1} X(s) ds$.
- Đạo hàm Riemann-Liouville: $(^R D_{a^+}^\alpha X)(t) = D_{gH}(X_{1-\alpha})(t)$ với $X_{1-\alpha}(t) = (I_{a^+}^{1-\alpha} X)(t)$.
- Đạo hàm Caputo: $(^C D_{a^+}^\alpha X)(t) = (I_{a^+}^{1-\alpha} D_{gH}X)(t)$.
Phương pháp nghiên cứu
Luận án sử dụng các phương pháp toán học định tính thuần túy:
- Phương pháp xấp xỉ liên tiếp (Picard-Lindelöf): Thiết lập dãy hàm xấp xỉ và chứng minh tính hội tụ đều trong không gian mêtric đầy đủ $C([a, b], K_c(\mathbb{R}))$.
- Phương pháp điểm bất động: Sử dụng nguyên lý ánh xạ co Banach và định lý điểm bất động trong không gian metric được sắp thứ tự một phần thỏa mãn điều kiện co yếu $\psi(d(f(u), f(v))) \le \psi(d(u, v)) - \phi(d(u, v))$.
- Phương pháp hàm Lyapunov và tựa Lyapunov: Sử dụng hàm loại $L-H$, đánh giá đạo hàm Dini kết hợp Bổ đề Zorn để kéo dài nghiệm cục bộ thành nghiệm toàn cục trên $[t_0, \infty)$.
- Phương pháp giải từng bước (Method of steps): Tách phương trình vi phân có trễ thành các hệ phương trình vi phân thông thường trên từng đoạn độ dài trễ $\sigma$.
- Kỹ thuật tách biên: Chuyển đổi phương trình khoảng thành hệ phương trình thực cho cận dưới $\underline{X}(t)$ và cận trên $\overline{X}(t)$ dựa trên dấu của hàm nhân hoặc tính đơn điệu độ rộng.
Nguồn tư liệu/dữ liệu
Toàn bộ luận án là công trình nghiên cứu toán học lý thuyết; tư liệu nghiên cứu bao gồm các hệ thống định lý, bổ đề giải tích thực, lý thuyết phương trình vi phân và các bài báo khoa học chuyên ngành đã công bố ([A1]-[A5]).
Nội dung chính theo từng chương
Chương 1: Kiến thức chuẩn bị
Chương 1 hệ thống hóa các khái niệm và bổ đề giải tích làm cơ sở cho toàn bộ luận án:
- Trình bày đại số khoảng, mêtric Hausdorff, hiệu Hukuhara $\ominus$ và hiệu Hukuhara tổng quát $\ominus_{gH}$.
- Trình bày định nghĩa đạo hàm Hukuhara mạnh $D_{gH}^*X(t)$, đạo hàm Hukuhara tổng quát $D_{gH}X(t)$, tính chất $w$-đơn điệu ($w$-tăng, $w$-giảm), tích phân khoảng Markov và Stefanini-Bede.
- Đưa ra khái niệm tích trong $\langle A, B \rangle$ trên $K_c(\mathbb{R})$ và chứng minh hệ thức liên hệ với đạo hàm của bình phương chuẩn.
- Trình bày quan hệ thứ tự $\le$ trên $K_c(\mathbb{R})$ và trong không gian $C([a, b], K_c(\mathbb{R}))$.
- Thiết lập định nghĩa và các tính chất cơ bản của tích phân phân thứ, đạo hàm Riemann-Liouville phân thứ và đạo hàm Caputo phân thứ bậc $\alpha \in (0,1)$ cho hàm khoảng.
- Nhắc lại các định lý giải tích thực: Định lý hội tụ đơn điệu, Bổ đề Arzela-Ascoli, Định lý so sánh vi phân Lakshmikantham, Bất đẳng thức Gronwall mở rộng, Định lý điểm bất động trong không gian thứ tự với cặp hàm biến đổi khoảng cách $(\psi, \phi)$.
Chương 2: Phương trình tích phân và vi phân khoảng
Chương này tập trung nghiên cứu hai lớp bài toán:
| Lớp bài toán | Dạng phương trình | Công cụ chứng minh chính | Kết quả đạt được |
|---|---|---|---|
| Phương trình tích phân Volterra | $X(t) = F(t) + \int_{t_0}^t K(t, s, X(s))ds$ | Dãy xấp xỉ liên tiếp; Ánh xạ co Banach ($LT < 1$) | Tồn tại duy nhất nghiệm; Phân tách hệ thực theo dấu $\lambda k(t,s)$ |
| Phương trình vi phân có trễ | $D_{gH}^*X(t) = F(t, X_t)$, $X(t) = \phi(t-t_0)$ | Tích trong $K_c(\mathbb{R})$, Hàm loại $L-H$, Bổ đề Zorn | Tồn tại duy nhất $(S_1)$-nghiệm và $(S_2)$-nghiệm toàn cục trên $[t_0, \infty)$ |
- Phương pháp giải nghiệm phương trình tích phân Volterra: Xét $X(t) = F(t) + \lambda \int_0^t k(t, s)X(s)ds$:
- Trường hợp $\lambda k(t, s) > 0$: Phương trình tách thành hệ độc lập: $$\begin{cases} \underline{X}(t) = \underline{F}(t) + \int_0^t \lambda k(t, s) \underline{X}(s)ds \ \overline{X}(t) = \overline{F}(t) + \int_0^t \lambda k(t, s) \overline{X}(s)ds \end{cases}$$ Ví dụ 2.1: $X(t) = [1, 2]\cos(t) + \int_0^t X(s)ds$ trên $[0, \pi/2]$ cho nghiệm: $$X(t) = \left[-\frac{1}{2}(\sin t + \cos t) + \frac{3}{2}e^t, -(\sin t + \cos t) + 3e^t\right]$$
- Trường hợp $\lambda k(t, s) < 0$: Phương trình tách thành hệ đan xen cận: $$\begin{cases} \underline{X}(t) = \underline{F}(t) + \int_0^t \lambda k(t, s) \overline{X}(s)ds \ \overline{X}(t) = \overline{F}(t) + \int_0^t \lambda k(t, s) \underline{X}(s)ds \end{cases}$$ Ví dụ 2.2: $X(t) = [2, 1+2t] + (-1)\int_0^t X(s)ds$ trên $[0, 2]$ cho nghiệm: $$X(t) = [-e^t + 2e^{-t} + 2t - 1, e^t + 2e^{-t} + t - 2]$$
- Nghiệm của phương trình vi phân có trễ: Khảo sát bài toán với đạo hàm Hukuhara tổng quát mạnh, phân biệt $(S_1)$-nghiệm ($w$-tăng) và $(S_2)$-nghiệm ($w$-giảm). Sử dụng phương pháp giải từng bước giải tường minh cho bài toán $D_{gH}X(t) = -A X(t - 1/2)$ (Ví dụ 2.3) và $D_{gH}X(t) = -\frac{1}{2}X(t - 1/2)$ (Ví dụ 2.4).
Chương 3: Phương trình vi-tích phân khoảng
Chương 3 mở rộng khảo sát cho ba lớp phương trình vi - tích phân khoảng:
- Phương trình vi - tích phân khoảng: $$D_{gH}X(t) = F\left(t, X(t), \int_{t_0}^t K(t, s, X(s))ds\right)$$
- Phương trình vi - tích phân khoảng có trễ: $$D_{gH}X(t) = F\left(t, X_t, \int_{t_0}^t K(t, s, X_s)ds\right)$$
- Phương trình vi - tích phân khoảng có xung với trễ: Khảo sát hệ có bước nhảy xung tại các thời điểm rời rạc $t_k$.
Tác giả sử dụng công cụ hàm tựa Lyapunov kết hợp định lý so sánh vi phân để chứng minh sự tồn tại và tính duy nhất của nghiệm. Đồng thời, xây dựng phương pháp giải nghiệm giải tích bằng cách chuyển đổi hệ phương trình vi - tích phân khoảng sang các hệ phương trình vi - tích phân thực tương ứng.
Chương 4: Phương trình vi-tích phân khoảng phân thứ
Chương 4 khảo sát hai lớp phương trình bậc không nguyên $\alpha \in (0, 1)$:
- Phương trình vi phân khoảng phân thứ có trễ: $$(^C D_{t_0^+}^\alpha X)(t) = F(t, X_t), \quad t \in [t_0, T]$$
- Phương trình vi - tích phân khoảng phân thứ: $$(^C D_{t_0^+}^\alpha X)(t) = F\left(t, X(t), \int_{t_0}^t K(t, s, X(s))ds\right)$$
- Công cụ giải tích: Luận án vận dụng định lý điểm bất động trên không gian metric được sắp thứ tự $(C([a, b], K_c(\mathbb{R})), \le)$ với điều kiện co yếu phi tuyến dạng $\psi - \phi$.
- Các kết quả chính:
- Chứng minh định lý tồn tại và duy nhất nghiệm cho cả hai lớp phương trình.
- Nghiên cứu sự phụ thuộc liên tục của nghiệm vào hàm dữ liệu ban đầu và bậc đạo hàm phân thứ $\alpha$.
- Đưa ra thuật toán giải nghiệm giải tích thông qua việc quy đổi về phương trình tích phân phân thứ thực.
Kết quả và những đóng góp mới
Đóng góp về mặt lý luận
- Xây dựng cấu trúc tích trong trên không gian khoảng: Đề xuất định nghĩa tích trong trên không gian mêtric $(K_c(\mathbb{R}), H)$ và chứng minh công thức tính đạo hàm của bình phương chuẩn Hausdorff qua tích trong: $\frac{1}{2} \frac{d^+}{dt} |X(t)|^2 = \langle X(t), D_{gH}X(t) \rangle_+$.
- Phát triển giải tích phân thứ cho hàm khoảng: Tổng quát hóa định nghĩa đạo hàm Riemann-Liouville và Caputo bậc $\alpha \in (0,1)$ cho hàm nhận giá trị khoảng dưới tính khả vi Hukuhara tổng quát, thiết lập các tính chất liên hệ giữa tính đơn điệu độ rộng và cấu trúc đạo hàm.
- Hệ thống hóa các định lý định tính: Thiết lập các điều kiện đủ đảm bảo sự tồn tại, tính duy nhất và tính toàn cục của nghiệm cho các lớp phương trình:
- Phương trình tích phân khoảng Volterra.
- Phương trình vi phân khoảng có trễ.
- Phương trình vi - tích phân khoảng (thường, có trễ, có xung).
- Phương trình vi phân và vi - tích phân khoảng phân thứ có trễ.
- Đặc trưng hóa cấu trúc nghiệm: Làm sáng tỏ cấu trúc phân nhánh nghiệm gồm $(S_1)$-nghiệm ($w$-tăng) và $(S_2)$-nghiệm ($w$-giảm), giải quyết triệt để hạn chế nghiệm luôn giãn rộng của giải tích Hukuhara cổ điển.
Đóng góp về mặt thực tiễn và phương pháp giải
- Xây dựng quy trình giải nghiệm giải tích cụ thể: Tách phương trình khoảng thành hệ phương trình vi phân/tích phân thực thông qua dấu của nhân tích phân $\lambda k(t, s)$ hoặc phương pháp giải từng bước (Method of steps) cho bài toán có trễ.
- Cung cấp các ví dụ giải tích minh họa có nghiệm tường minh và đồ thị biểu diễn biên nghiệm, tạo công cụ tham khảo cho việc mô hình hóa các hệ động lực có tham số bất định không ngẫu nhiên.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế của luận án
- Không gian khảo sát giới hạn trên không gian một chiều $K_c(\mathbb{R})$; chưa mở rộng sang không gian đa chiều $K_c(\mathbb{R}^n)$ do cấu trúc hình học và đại số khoảng nhiều chiều phức tạp.
- Các điều kiện trễ chỉ xét trễ hữu hạn $\sigma > 0$, chưa khảo sát trễ vô hạn hoặc trễ phụ thuộc trạng thái.
- Bậc phân thứ giới hạn trong khoảng $\alpha \in (0, 1)$ đối với phương trình Caputo và Riemann-Liouville.
Hướng nghiên cứu tiếp theo
Theo định hướng của tác giả ở phần cuối luận án:
- Nghiên cứu tính ổn định Lyapunov, tính ổn định tiệm cận và tính ổn định Mittag-Leffler cho các lớp phương trình vi phân và vi - tích phân khoảng phân thứ.
- Mở rộng bài toán sang không gian đa chiều $K_c(\mathbb{R}^n)$ và không gian Banach trừu tượng.
- Khảo sát bài toán điều khiển tối ưu và bài toán biên đối với hệ động lực khoảng.
Giá trị tham khảo
Luận án có giá trị tham khảo chuyên môn cao đối với:
- Nghiên cứu sinh, học viên cao học và giảng viên ngành Toán Giải tích, Phương trình vi phân và Hệ động lực: Cung cấp khung lý thuyết hoàn chỉnh về giải tích khoảng, $gH$-đạo hàm, tích trong trên không gian compắc và giải tích phân thứ dạng khoảng.
- Nhà nghiên cứu Toán ứng dụng và Cơ học tính toán: Cung cấp phương pháp giải tường minh và kỹ thuật tách biên để tính toán quỹ đạo sai số, mô phỏng các hệ kỹ thuật chịu nhiễu bất định mà không cần giả định về phân phối xác suất.
- Phần đáng tham khảo nhất:
- Mục 1.2 & 1.4: Kỹ thuật xây dựng tích trong trên $K_c(\mathbb{R})$ và giải tích phân thứ khoảng.
- Mục 2.1 & 2.2: Kỹ thuật kết hợp hàm loại $L-H$, bổ đề Zorn và phương pháp giải từng bước cho phương trình có trễ.
- Chương 4: Kỹ thuật ứng dụng điểm bất động trên không gian thứ tự xử lý phương trình phân thứ.
Câu hỏi thường gặp
1. Nhược điểm chính của đạo hàm Hukuhara cổ điển là gì và đạo hàm Hukuhara tổng quát ($gH$) khắc phục như thế nào?
Đạo hàm Hukuhara cổ điển yêu cầu sự tồn tại của hiệu Hukuhara $A \ominus B$ (chỉ tồn tại khi $w(A) \ge w(B)$), dẫn đến việc đạo hàm không luôn tồn tại. Hơn nữa, độ rộng $w(X(t))$ của nghiệm luôn tăng theo thời gian. Đạo hàm Hukuhara tổng quát ($gH$) sử dụng hiệu $A \ominus_{gH} B$ luôn tồn tại cho mọi cặp khoảng, cho phép độ rộng của nghiệm có thể tăng, giảm hoặc đổi chiều tại các điểm chuyển (switching points).
2. Khái niệm $(S_1)$-nghiệm và $(S_2)$-nghiệm của phương trình vi phân khoảng được phân biệt như thế nào?
- $(S_1)$-nghiệm: Là nghiệm khả vi theo nghĩa loại 1 ($(i)$-khả vi), tương ứng với trường hợp hàm khoảng $X(t)$ có độ rộng $w(X(t))$ không giảm ($w$-tăng) trên miền xác định, đạo hàm có dạng $D_{gH}X(t) = [\underline{X}'(t), \overline{X}'(t)]$.
- $(S_2)$-nghiệm: Là nghiệm khả vi theo nghĩa loại 2 ($(ii)$-khả vi), tương ứng với trường hợp hàm khoảng $X(t)$ có độ rộng $w(X(t))$ không tăng ($w$-giảm) trên miền xác định, đạo hàm có dạng $D_{gH}X(t) = [\overline{X}'(t), \underline{X}'(t)]$.
3. Tích trong trên không gian khoảng $(K_c(\mathbb{R}), H)$ đóng vai trò gì trong việc chứng minh nghiệm toàn cục?
Tích trong $\langle A, B \rangle$ cho phép thiết lập hệ thức vi phân chuẩn $\frac{1}{2}\frac{d^+}{dt}|X(t)|^2 = \langle X(t), D_{gH}X(t)\rangle_+$. Kết hợp hệ thức này với điều kiện tiêu biến Lyapunov và bổ đề Zorn, tác giả thiết lập được các đánh giá tiên nghiệm chặn trên cho chuẩn của nghiệm, từ đó chứng minh nghiệm địa phương có thể kéo dài duy nhất thành nghiệm toàn cục trên toàn bộ khoảng $[t_0, \infty)$.
4. Phương pháp giải nghiệm cho phương trình tích phân khoảng Volterra $X(t) = F(t) + \lambda \int_0^t k(t, s)X(s)ds$ được thực hiện như thế nào?
Phương pháp dựa vào dấu của tích $\lambda k(t, s)$:
- Nếu $\lambda k(t, s) > 0$: Tách thành hệ hai phương trình tích phân thực độc lập cho cận dưới $\underline{X}(t)$ và cận trên $\overline{X}(t)$.
- Nếu $\lambda k(t, s) < 0$: Tách thành hệ hai phương trình tích phân thực đan xen (cận dưới $\underline{X}(t)$ phụ thuộc tích phân của cận trên $\overline{X}(s)$ và ngược lại). Nghiệm của hệ thực tạo thành nghiệm khoảng nếu thỏa mãn $\underline{X}(t) \le \overline{X}(t)$.
5. Luận án sử dụng công cụ gì để chứng minh nghiệm của phương trình vi - tích phân phân thứ trong Chương 4?
Tác giả sử dụng lý thuyết điểm bất động trong không gian metric được sắp thứ tự một phần $(C([a, b], K_c(\mathbb{R})), \le)$ kết hợp điều kiện co yếu tổng quát dạng $\psi(d(f(u), f(v))) \le \psi(d(u, v)) - \phi(d(u, v))$, với $\psi, \phi$ là các hàm biến đổi khoảng cách, thay vì chỉ dùng điều kiện co Lipschitz cổ điển.
Kết luận
Luận án tiến sĩ của tác giả Trương Vĩnh An là công trình nghiên cứu hệ thống và chuyên sâu thuộc chuyên ngành Toán Giải tích, tập trung vào lý thuyết định tính của các lớp phương trình tích phân, vi phân và vi - tích phân nhận giá trị khoảng. Công trình đã giải quyết thỏa đáng hạn chế của giải tích Hukuhara truyền thống thông qua việc phát triển giải tích $gH$, tích trong trên $K_c(\mathbb{R})$ và giải tích phân thứ dạng khoảng. Các kết quả về tính tồn tại, duy nhất, nghiệm toàn cục cùng phương pháp giải nghiệm tường minh được công bố trên các tạp chí toán học quốc tế uy tín, đóng góp thiết thực vào sự phát triển của lý thuyết phương trình vi phân không chắc chắn.