Bối cảnh và vấn đề nghiên cứu

Trong các bài toán thực tiễn của toán học, cơ học, vật lý kỹ thuật và lý thuyết điều khiển, nhiều quá trình động lực học phụ thuộc không chỉ vào trạng thái tức thời mà còn chịu sự chi phối của toàn bộ lịch sử biến thiên trước đó (hiệu ứng lưu giữ hay bộ nhớ tích phân). Các bài toán này tự nhiên dẫn đến mô hình toán học chứa hàm chưa biết dưới dạng đạo hàm vi phân kết hợp với tích phân, được gọi là phương trình vi - tích phân. Về mặt lịch sử, ngành giải tích vi tích phân được Isaac Newton và Gottfried Leibniz đặt nền móng độc lập từ cuối thế kỷ 17, gắn liền với sự phát triển của công cụ đo lường thời gian chính xác. Đến giai đoạn giao thời giữa thế kỷ 19 và 20, lý thuyết tổng quát về phương trình tích phân tuyến tính tiếp tục được phát triển hoàn thiện thông qua các công trình của Vito Volterra, Ivar Fredholm và David Hilbert.

Khóa luận tốt nghiệp của tác giả Bùi Thị Lan Anh, sinh viên lớp K17A ngành Sư phạm Toán, Trường Đại học Hồng Đức, dưới sự hướng dẫn của giảng viên Lê Anh Minh (2018), tập trung khảo sát hệ thống lý thuyết về phương trình vi - tích phân tuyến tính. Nghiên cứu thực hiện 4 nhiệm vụ trọng tâm sau:

  1. Thiết lập điều kiện tồn tại, tính duy nhất và cấu trúc tuyến tính của không gian nghiệm đối với phương trình tích phân Volterra và phương trình vi - tích phân tuyến tính, sử dụng bổ đề Gronwall và xấp xỉ liên tiếp Picard.
  2. Xây dựng công thức biểu diễn nghiệm thông qua tích chập và biến đổi Laplace cho hệ phương trình có hệ số ma trận hằng và hạt nhân tích phân dạng sai số.
  3. Nghiên cứu định tính về dáng điệu tiệm cận của nghiệm, bao gồm các khái niệm ổn định Liapunov, ổn định đều, ổn định tiệm cận và ổn định tiệm cận đều thông qua phương pháp phiếm hàm Liapunov với kỹ thuật đánh giá nhân nhỏ.
  4. Phân tích nguyên lý rút gọn đưa phương trình vi - tích phân về hệ phương trình vi phân thường với số hạng nhiễu tích phân khả tích, đồng thời khảo sát lý thuyết hàm giải (resolvent kernel) và công thức biến thiên hằng số tương ứng.

Đối tượng nghiên cứu của đề tài là các phương trình tích phân Volterra loại hai và hệ phương trình vi - tích phân tuyến tính $n$ chiều, có dạng thuần nhất hoặc có thêm số hạng cưỡng bức. Phạm vi khảo sát tập trung trên nửa trục thời gian không âm $[0, \infty)$ hoặc trên khoảng hữu hạn $[0, \alpha)$, với các hàm hệ số liên tục, ma trận hạt nhân khả tích địa phương hoặc thuộc lớp hàm số mũ và không gian khả tích $L^1[0, \infty)$.

Cơ sở lý thuyết và phương pháp

Khóa luận vận dụng hệ thống lý thuyết giải tích hàm và lý thuyết phương trình vi phân - tích phân hiện đại:

  • Bất đẳng thức tích phân Gronwall và nguyên lý ánh xạ co thông qua dãy xấp xỉ liên tiếp Picard.
  • Biến đổi tích phân Laplace và tích chập trên không gian các hàm có cấp tăng số mũ.
  • Lý thuyết ổn định động học mở rộng từ phương pháp hàm Liapunov sang phiếm hàm Liapunov (Liapunov functionals) cho phương trình có nhớ, kết hợp phương trình ma trận đại số Liapunov cổ điển $A^T B + BA = -I$ với $B$ là ma trận đối xứng xác định dương.
  • Lý thuyết phương trình vi phân chu kỳ (lý thuyết Floquet) và định lý Perron về tính bị chặn của nghiệm đối với hệ có số hạng kích thích ngoài.
  • Tiêu chuẩn ổn định đại số Routh-Hurwitz áp dụng cho phương trình đặc trưng của hệ ma trận sau rút gọn.
  • Các kết quả định lượng của Miller (1971a, 1971b), Brauer (1978), Burton và Mahfoud (1982a), Burton (1982c), Grossman và Miller (1968, 1970) về hàm giải và tính ổn định tiệm cận đều.

Phương pháp nghiên cứu được áp dụng là phương pháp giải tích toán học tiên đề - suy diễn thuần túy:

  • Phân tích và chứng minh giải tích: Sử dụng các kỹ thuật ước lượng chuẩn vector, chuẩn ma trận, đánh giá tích phân kép và đổi thứ tự lấy tích phân (định lý Fubini).
  • Phương pháp phiếm hàm Liapunov: Xây dựng các phiếm hàm dạng căn bậc hai của dạng toàn phương kết hợp tích phân bù trễ của hạt nhân để triệt tiêu số hạng tích phân khi đạo hàm dọc theo nghiệm.
  • Phương pháp biến thiên hằng số: Biểu diễn nghiệm tường minh thông qua nghiệm cơ bản ma trận và toán tử hàm giải.
  • Nguồn dữ liệu nghiên cứu: Toàn bộ công trình dựa trên việc tổng hợp, diễn giải toán học và chứng minh chi tiết các định lý lý thuyết giải tích từ các tài liệu tham khảo chuyên khảo trong và ngoài nước.

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

Chương 1: Sự tồn tại và tính chất của nghiệm

Chương 1 thiết lập nền tảng lý thuyết giải tích cơ sở cho phương trình tích phân Volterra và phương trình vi - tích phân tuyến tính:

  • Sự tồn tại và duy nhất nghiệm: Khảo sát phương trình tích phân: $$x(t) = f(t) + \int_0^t B(t, s)x(s)ds$$ trong đó $f: [0, \alpha) \to \mathbb{R}^n$ liên tục và hạt nhân $B(t, s)$ là ma trận liên tục cấp $n \times n$. Đối với phương trình vi - tích phân: $$x'(t) = A(t)x(t) + \int_0^t C(t, s)x(s)ds + F(t)$$ với hàm ban đầu $\varphi: [0, t_0] \to \mathbb{R}^n$, tác giả sử dụng phép tịnh tiến $y(t) = x(t + t_0)$ để hấp thụ hàm ban đầu vào số hạng kích thích, đưa bài toán Cauchy về dạng tích phân Volterra chuẩn. Bằng bổ đề Gronwall, tác giả chứng minh tính duy nhất nghiệm. Sau đó, dãy xấp xỉ Picard được xác định bởi $x_1(t) = f(t)$ và $x_{n+1}(t) = f(t) + \int_0^t B(t, s)x_n(s)ds$. Bằng phương pháp quy nạp toán học, tác giả chứng minh đánh giá sai số $|x_{n+1}(t) - x_n(t)| \le \frac{K(Mt)^n}{n!}$. Chuỗi này bị chặn bởi số hạng tổng quát của chuỗi Taylor hàm mũ $K e^{Mt}$, từ đó suy ra tính hội tụ đều và tuyệt đối của dãy xấp xỉ trên đoạn $[0, T]$ đến nghiệm liên tục duy nhất $x(t)$.
  • Tính chất cấu trúc tuyến tính của nghiệm: Chứng minh nguyên lý chồng chất nghiệm. Với phương trình thuần nhất, tập hợp nghiệm tạo thành một không gian vector $n$ chiều sinh bởi $n$ nghiệm độc lập tuyến tính xuất phát từ hệ cơ sở chính tắc ${e_1, \dots, e_n}$. Mọi nghiệm của phương trình không thuần nhất đều được phân rã tường minh dưới dạng: $$x(t) = x_p(t) + c_1 x_1(t) + \dots + c_n x_n(t)$$ với $x_p(t)$ là một nghiệm riêng và $c_i$ là các hằng số thích hợp.
  • Tích chập và biến đổi Laplace: Khi ma trận $A$ là ma trận hằng và hạt nhân tích phân có dạng tích chập $D(t - s)$, hệ phương trình trở thành $x' = Px + \int_0^t D(t - s)x(s)ds + F(t)$. Giả thiết $F(t)$ và $D(t)$ bị chặn bởi hàm mũ $M e^{\alpha t}$, áp dụng biến đổi Laplace chuyển hệ phương trình vi - tích phân thành phương trình đại số trên miền tần số ảo: $[sI - P - \mathcal{L}(D)]\mathcal{L}(x) = x(0) + \mathcal{L}(F)$. Từ đó xác định nghiệm cơ bản ma trận $Z(t)$ thỏa mãn $\mathcal{L}(Z) = [sI - P - \mathcal{L}(D)]^{-1}$. Đối với trường hợp $D, F$ không thuộc $L^1[0, \infty)$, tác giả trình bày kỹ thuật xấp xỉ bằng dãy hàm cắt cụt liên tục $F_T(t)$ và $D_T(t)$ để thiết lập công thức biến thiên hằng số tổng quát.

Chương 2: Dáng điệu tiệm cận của nghiệm

Chương 2 đi sâu vào lý thuyết định tính, phân tích tính ổn định và giới hạn tiệm cận của nghiệm khi thời gian $t \to \infty$:

  • Hệ thống định nghĩa ổn định: Trình bày chính xác 4 khái niệm ổn định của điểm cân bằng $x \equiv 0$ của hệ $x' = A(t)x + \int_0^t C(t, s)x(s)ds$: ổn định Liapunov, ổn định đều, ổn định tiệm cận, và ổn định tiệm cận đều (Uniform Asymptotic Stability).
  • Phương pháp phiếm hàm Liapunov và kỹ thuật nhân nhỏ: Với hệ có ma trận hằng $A$ có các giá trị riêng với phần thực âm, tồn tại duy nhất ma trận đối xứng xác định dương $B$ thỏa phương trình đại số Liapunov $A^T B + BA = -I$, cho phép chọn hằng số $k > 0$ sao cho $|x| \ge 2k [x^T Bx]^{1/2}$. Khóa luận xây dựng phiếm hàm Liapunov chuyên biệt: $$V(t, x(\cdot)) = [x(t)^T B x(t)]^{1/2} + K \int_0^t \int_t^\infty |C(u, s)| du |x(s)| ds$$ Đạo hàm của phiếm hàm dọc theo quỹ đạo nghiệm thỏa mãn $V' \le -\bar{k}|x(t)|$ khi đại lượng $\int_t^\infty |C(u, t)| du$ đủ nhỏ (điều kiện nhân nhỏ). Trên cơ sở đó, tác giả chứng minh các định lý về tính ổn định, ổn định tiệm cận và ổn định tiệm cận đều.
  • Ước lượng nghiệm bị chặn qua bất đẳng thức vi phân: Từ đạo hàm phiếm hàm, tác giả thiết lập bất đẳng thức vi phân cấp một $V' \le -\eta(t)V(t, x(\cdot)) + K|F(t)|$, giải ra nghiệm bị chặn bởi dạng tích phân hàm mũ: $$V(t, x(\cdot)) \le V(t_0, \varphi) \exp\left(-\int_{t_0}^t \eta(s)ds\right) + K \int_{t_0}^t |F(s)| \exp\left(-\int_s^t \eta(u)du\right) ds$$
  • Biến đổi hệ vi - tích phân qua ma trận $Q(t)$: Đặt $G(t, s) = -\int_t^\infty C(u, s)du$ và xác định ma trận $Q(t) = A(t) - G(t, t)$. Bằng phép lấy tích phân từng phần và ước lượng chuẩn qua công thức biến thiên hằng số, tác giả chứng minh định lý khẳng định: nếu $\sup_{0 \le t < \infty} \int_0^t |G(t, s)| ds \le \beta$ với $\beta$ đủ bé, mọi nghiệm của hệ đều bị chặn khi $F(t)$ bị chặn.
  • Các định lý tương đương trong trường hợp tích chập: Tổng hợp các kết quả của Miller (1971b) và Burton - Mahfoud (1982a), chứng minh chuỗi tương đương logic giữa các tính chất: ma trận nghiệm $Z(t) \to 0$, mọi nghiệm tiến về 0, nghiệm cơ bản $Z(t) \in L^1[0, \infty)$, tính ổn định tiệm cận đều, và tính bị chặn của nghiệm đối với mọi hàm cưỡng bức $F \in L^\infty$.

Chương 3: Nguyên lý rút gọn và hàm giải

Chương 3 trình bày các phương pháp tính toán và biểu diễn nghiệm tường minh:

  • Nguyên lý rút gọn (Reducible Equations): Áp dụng cho các phương trình vi - tích phân có hạt nhân $C(t)$ thỏa mãn một phương trình vi phân tuyến tính hệ số hằng cấp $n$: $L(y) = a_0 y^{(n)} + \dots + a_n y = F(t)$ với $F \in L^1[0, \infty)$. Bằng cách lấy đạo hàm liên tiếp phương trình vi - tích phân ban đầu, bài toán được quy về một hệ phương trình vi phân thường cấp cao hơn, kết hợp với một hạt nhân tích phân mới thuộc không gian $L^1[0, \infty)$. Khóa luận minh họa chi tiết qua 3 mô hình vô hướng:
    1. Hạt nhân dạng trễ suy biến $[\alpha + C(t - s)]$, đưa về hệ bậc hai tương đương hệ dao động cơ học có thành phần hãm và phục hồi lực.
    2. Hạt nhân logarit $b \ln(t - s + a)$, lấy đạo hàm hai lần đưa về hệ vi phân 3 chiều $X' = BX + D(t - s)X(s)ds$ với nhân $D(t) = -(t + a)^{-2} \in L^1[0, \infty)$, phân tích tính ổn định nghiệm thông qua tiêu chuẩn Routh-Hurwitz khi $|aA \ln a| > 1$.
    3. Hạt nhân lượng giác suy giảm $b[\cos(t - s)](t - s + a)^{-1}$.
  • Lý thuyết hàm giải (Resolvent Kernel): Khảo sát hàm giải $R(t, s)$ cho cả phương trình tích phân thuần túy và phương trình vi - tích phân. Đối với bài toán vi - tích phân: $$x'(t) = f(t) + A(t)x(t) + \int_0^t B(t, s)x(s)ds, \quad x(0) = x_0$$ Hàm giải $R(t, s)$ được định nghĩa là nghiệm ma trận của phương trình đạo hàm riêng tích phân: $$\frac{\partial R(t, s)}{\partial s} + R(t, s)A(s) + \int_s^t R(t, u)B(u, s)du = 0, \quad R(t, t) = I$$ Bằng kỹ thuật tích phân từng phần và đổi cận tích phân hai lớp, tác giả chứng minh công thức biến thiên hằng số cho nghiệm: $$x(t) = R(t, 0)x_0 + \int_0^t R(t, s)f(s)ds$$ Đồng thời mở rộng công thức này để thiết lập phương trình tích phân tương đương khi hệ chịu thêm số hạng nhiễu phi tuyến $h(t, x(\cdot))$ theo nghiên cứu của Grossman và Miller (1970).

Kết quả và đóng góp

Khóa luận đã tổng hợp và chứng minh các kết quả giải tích kèm hệ thống điều kiện toán học cụ thể:

Vấn đề nghiên cứu Mô hình / Dạng toán học Điều kiện xác lập trong văn bản Kết quả nghiệm / Dáng điệu
Tồn tại và duy nhất $x(t) = f(t) + \int_0^t B(t, s)x(s)ds$ $f$ liên tục, hạt nhân $B(t, s)$ liên tục trên $[0, T]$ Nghiệm duy nhất; sai số Picard $|x_{n+1} - x_n| \le \frac{K(Mt)^n}{n!}$
Ổn định Liapunov $x' = Ax + \int_0^t C(t, s)x(s)ds$ $A^T B + BA = -I$; tồn tại $k \le \bar{k} - K \int_t^\infty |C(u, t)|du$ Điểm cân bằng $x \equiv 0$ ổn định; ổn định tiệm cận nếu $k > 0$
Ổn định đều Hệ $x'$ với ma trận hạt nhân $C(t, s)$ $\int_0^t \int_t^\infty |C(u, s)|duds \le KM < \infty$ Bán kính chọn $\delta < \frac{\varepsilon r}{(1/2k) + KM}$ độc lập với $t_0$
Nghiệm bị chặn Hệ có số hạng cưỡng bức $F(t)$ $Q = A - G(t, t)$; $\sup_t \int_0^t |G(t, s)|ds \le \beta$ với $\beta$ đủ bé $|x(t)| \le K_1 + m \sup_{s} |x(s)|$ với $m < 1$, nghiệm bị chặn
Tính tương đương Miller Hệ tích chập $x' = Ax + \int_0^t D(t - s)x(s)ds$ $A$ ma trận hằng, $D(t) \in L^1[0, \infty)$ Nghiệm thuộc $L^1[0, \infty) \iff Z(t) \to 0 \iff$ Ổn định tiệm cận đều
Hàm giải Resolvent $x' = A(t)x + \int_0^t B(t, s)x(s)ds + f(t)$ $R_s(t, s) + R(t, s)A(s) + \int_s^t R(t, u)B(u, s)du = 0$ $x(t) = R(t, 0)x_0 + \int_0^t R(t, s)f(s)ds$ với $R(t, t) = I$

Các giải pháp và đóng góp học thuật do tác giả tự xây dựng:

  • Hệ thống hóa hoàn chỉnh lý thuyết phương trình vi - tích phân từ khâu giải bài toán tồn tại nghiệm ban đầu đến việc phân tích sâu các tính chất động học tiệm cận và phương pháp giải giải tích.
  • Trình bày chi tiết từng bước quy nạp và chứng minh giải tích toán học (điển hình là kỹ thuật chứng minh chuỗi Taylor hội tụ đều trong xấp xỉ Picard và kỹ thuật ước lượng phiếm hàm Liapunov dạng ma trận).
  • Làm rõ mối liên hệ giữa các hướng tiếp cận khác nhau trong lý thuyết phương trình vi tích phân: tiếp cận bằng giải tích biến đổi (Laplace), tiếp cận bằng phương pháp trực tiếp Liapunov, và tiếp cận bằng toán tử giải (hàm giải Grossman - Miller).

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

Từ nội dung văn bản khóa luận, các hạn chế và hướng mở học thuật được xác định gồm:

  • Về phạm vi tuyến tính: Khóa luận chủ yếu tập trung vào các lớp phương trình tuyến tính (hệ số ma trận hằng hoặc hệ số biến thiên thỏa mãn các điều kiện giải tích liên tục), chưa mở rộng khảo sát có hệ thống đối với hệ phương trình vi - tích phân phi tuyến tổng quát; phương trình chứa số hạng phi tuyến $h(t, x(\cdot))$ mới chỉ dừng lại ở bước gợi mở công thức biểu diễn qua hàm giải ở cuối Chương 3.
  • Về giả thiết không gian hàm: Các định lý về dáng điệu tiệm cận và tính ổn định tiệm cận đều phần lớn yêu cầu hạt nhân tích phân phải có cấu trúc tích chập hoặc hạt nhân phải thuộc không gian khả tích mạnh $L^1[0, \infty)$ và thỏa mãn điều kiện nhân nhỏ; chưa xét đến các hạt nhân có tính kỳ dị mạnh hoặc toán tử trễ vô hạn phức tạp.
  • Hướng phát triển tiếp theo: Khóa luận đặt ra các bài tập mở về việc xác định điều kiện tối ưu của các tham số $d, n, h, c_1$ trong các phương trình vô hướng cụ thể (như bài tập 2.1, 2.2, 2.4, 3.1) nhằm đảm bảo nghiệm bị chặn khi hạt nhân không thuộc lớp hàm số mũ, đồng thời gợi mở hướng nghiên cứu ứng dụng hàm giải cho các bài toán vi - tích phân bị nhiễu phi tuyến.

Giá trị tham khảo

Bản khóa luận là tài liệu tham khảo có giá trị học thuật chuyên ngành đối với:

  • Sinh viên và học viên cao học ngành Sư phạm Toán, Toán học và Toán ứng dụng: Cung cấp tài liệu tham khảo chi tiết, diễn giải mạch lạc về giải tích phương trình vi tích phân, phương pháp hàm Liapunov và toán tử tích phân Volterra.
  • Người nghiên cứu lý thuyết điều khiển và mô hình hóa động học: Cung cấp cơ sở giải tích chuẩn xác để xử lý các mô hình có độ trễ phân bố (distributed delay), các hệ đàn hồi nhớ hoặc các quá trình tích lũy trong cơ học và sinh thái học.
  • Các phần nội dung đáng tham khảo nhất:
    • Phần chứng minh xấp xỉ liên tiếp Picard kết hợp bổ đề Gronwall ở mục 1.1.
    • Kỹ thuật xây dựng phiếm hàm Liapunov ma trận cho hạt nhân tích phân ở mục 2.2.
    • Cách thiết lập hệ tương đương rút gọn và phương pháp đạo hàm phương trình hàm giải ở mục 3.1 và 3.2.

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

1. Bổ đề Gronwall được khóa luận áp dụng để giải quyết vấn đề toán học nào trong Chương 1? Bổ đề Gronwall được thiết lập dưới dạng tích phân liên tục: nếu $f(t) \le c + \int_0^t g(s)f(s)ds$ thì $f(t) \le c \exp\left(\int_0^t g(s)ds\right)$. Tác giả sử dụng bổ đề này để đánh giá hiệu của hai nghiệm bất kỳ thỏa mãn cùng điều kiện ban đầu, dẫn đến bất đẳng thức $|z(t)| \le c e^{Mt} = 0$ khi hằng số $c \to 0$, qua đó khẳng định tính duy nhất nghiệm của phương trình vi - tích phân.

2. Ma trận $B$ trong Chương 2 được xác định như thế nào và có vai trò gì trong việc xây dựng phiếm hàm Liapunov? Ma trận $B$ là ma trận đối xứng xác định dương cấp $n \times n$, được xác định tường minh qua tích phân hàm mũ ma trận $B = \int_0^\infty [\exp(At)]^T [\exp(At)] dt$, là nghiệm duy nhất của phương trình ma trận Liapunov $A^T B + BA = -I$ khi $A$ có các giá trị riêng với phần thực âm. Ma trận $B$ đóng vai trò xác lập dạng toàn phương $[x^T Bx]^{1/2}$ làm thành phần cốt lõi của phiếm hàm Liapunov, tạo ra số hạng âm $-x^T x$ khi lấy đạo hàm, giúp triệt tiêu và khống chế các số hạng tích phân sinh ra từ hạt nhân trễ.

3. Khái niệm phương trình rút gọn (reducible) trong Chương 3 được định nghĩa như thế nào? Phương trình vi - tích phân vô hướng $x(t) = f(t) + \int_0^t C(t - s)x(s)ds$ được gọi là rút gọn nếu hạt nhân $C(t)$ của nó là nghiệm của một phương trình vi phân tuyến tính hệ số hằng cấp $n$: $L(y) = a_0 y^{(n)} + a_1 y^{(n-1)} + \dots + a_n y = F(t)$, trong đó $F(t)$ liên tục và thỏa mãn điều kiện khả tích $\int_0^\infty |F(t)|dt < \infty$.

4. Phương trình xác định hàm giải $R(t, s)$ đối với phương trình vi - tích phân tuyến tính có dạng như thế nào? Đối với phương trình vi - tích phân $x'(t) = f(t) + A(t)x(t) + \int_0^t B(t, s)x(s)ds$, hàm giải $R(t, s)$ là nghiệm ma trận của phương trình đạo hàm theo biến thứ hai: $$\frac{\partial R(t, s)}{\partial s} + R(t, s)A(s) + \int_s^t R(t, u)B(u, s)du = 0$$ với điều kiện ban đầu tại đường chéo là $R(t, t) = I$ (ma trận đơn vị).

5. Định lý Miller (1971b) và Burton - Mahfoud (1982a) thiết lập mối quan hệ gì giữa không gian nghiệm và tính ổn định? Các định lý này khẳng định trong trường hợp hệ có hạt nhân dạng tích chập $D(t - s)$ với $D \in L^1[0, \infty)$, tính chất mọi nghiệm của hệ thuộc không gian khả tích $L^1[0, \infty)$ tương đương với việc nghiệm ma trận cơ bản $Z(t) \to 0$ khi $t \to \infty$, đồng thời tương đương với việc điểm cân bằng $x \equiv 0$ đạt trạng thái ổn định tiệm cận đều và mọi nghiệm của hệ đều bị chặn trước các số hạng cưỡng bức bị chặn $F(t) \in L^\infty[0, \infty)$.

Kết luận

Khóa luận tốt nghiệp "Phương trình vi - tích phân tuyến tính" của tác giả Bùi Thị Lan Anh là một công trình nghiên cứu giải tích chuyên sâu, khảo sát toàn diện từ cơ sở lý thuyết tồn tại, duy nhất nghiệm đến các đặc tính tiệm cận động học và kỹ thuật giải tường minh của hệ phương trình vi - tích phân. Đề tài đã xây dựng hệ thống chứng minh toán học chặt chẽ bằng việc kết hợp nhuần nhuyễn giữa phương pháp xấp xỉ liên tiếp Picard, lý thuyết phiếm hàm Liapunov hiện đại và nguyên lý toán tử hàm giải. Các kết quả và định lý được hệ thống hóa trong công trình mang lại giá trị học thuật rõ ràng, đóng vai trò là tài liệu tham khảo chuyên khảo hữu ích cho học tập và nghiên cứu trong lĩnh vực phương trình vi phân - tích phân.