Tổng quan luận án

Bài toán Cauchy (phương trình vi phân với điều kiện đầu) là mô hình toán học trung tâm để mô tả các quá trình biến đổi theo thời gian trong tự nhiên và kỹ thuật. Đối với phương trình vi phân trừu tượng dạng $u'(t) = f(t, u(t)), u(0) = u_0$ trong không gian vô hạn chiều, việc thiết lập sự tồn tại, tính duy nhất và tính ổn định của nghiệm đòi hỏi các điều kiện chặt chẽ về tính liên tục, tính Lipschitz hoặc tính compact của ánh xạ vế phải $f$. Trong nhiều bài toán vật lý và phương trình đạo hàm riêng phi tuyến, ánh xạ $f$ không tác động từ một không gian vào chính nó mà làm mất độ trơn của hàm, tức là tác động từ một không gian hẹp sang một không gian rộng hơn. Để xử lý hiện tượng này, một thang các không gian Banach $(X_s, |\cdot|s){s \in [a, b]}$ được đưa vào sử dụng, trong đó tính kì dị xuất hiện dưới dạng chuẩn của $f$ bị phân kỳ với tốc độ tỷ lệ nghịch với khoảng cách giữa hai chỉ số thang không gian $(s' - s)$.

Khoảng trống nghiên cứu chính mà luận án lựa chọn giải quyết bắt nguồn từ các hạn chế của lý thuyết cổ điển:

  1. Các nghiên cứu trước đây chủ yếu dừng lại ở điều kiện Lipschitz chuẩn dạng $O((s' - s)^{-1})$, dẫn đến nghiệm chỉ tồn tại cục bộ trên một khoảng thời gian rất hẹp phụ thuộc vào chỉ số $s$.
  2. Chưa có hệ thống kết quả hoàn chỉnh cho các bài toán mang tính kì dị yếu với bậc $p < 1$, phương trình vi phân bậc phân thứ (đạo hàm Caputo) chứa kì dị, hoặc phương trình có trễ (có chậm) trong thang không gian Banach trừu tượng.
  3. Việc nghiên cứu bài toán Cauchy trên thang không gian Banach có thứ tự sinh bởi nón và phương pháp lặp đơn điệu chưa từng được công bố trong các tài liệu trước đó.
  4. Điều kiện Lipschitz địa phương và việc tối ưu hóa khoảng tồn tại nghiệm đòi hỏi các kỹ thuật xây dựng không gian hàm và chuẩn có trọng mới.
  5. Việc áp dụng các định lý điểm bất động dạng Schauder–Darbo–Sadovskii gặp nhiều trở ngại do tính chất kì dị làm mất tính compact trên toàn không gian Banach, đòi hỏi phải chuyển sang không gian Fréchet và phát triển độ đo phi compact nhận giá trị vector.

Mục tiêu nghiên cứu của luận án được xác định cụ thể gồm ba nhóm nhiệm vụ:

  1. Nghiên cứu sự tồn tại, tính duy nhất và tính ổn định của nghiệm toàn cục cho các lớp bài toán Cauchy cấp một, bài toán bậc phân thứ và bài toán có chậm mang tính kì dị yếu hoặc kì dị mạnh bằng phương pháp xây dựng dãy lặp xấp xỉ và kỹ thuật lặp đơn điệu trên thang không gian có thứ tự.
  2. Xây dựng các không gian Banach hàm với chuẩn có trọng hai tham số và thang phụ thuộc thời gian để áp dụng Định lý ánh xạ co Banach, khảo sát bài toán Cauchy với điều kiện Lipschitz địa phương và bài toán phương trình đạo hàm riêng có chậm trong lớp hàm Gevrey.
  3. Thiết lập các kỹ thuật mới trên không gian Fréchet kết hợp độ đo phi compact nhận giá trị vector trong không gian Banach có thứ tự để chứng minh sự tồn tại nghiệm cho các bài toán cô đặc kì dị và làm rõ cấu trúc tôpô $R_\delta$ của tập nghiệm.

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

  • Đối tượng nghiên cứu: Các lớp bài toán vi phân Cauchy trừu tượng cấp nguyên, cấp phân thứ, bài toán có trễ và bài toán nửa tuyến tính chứa kì dị trên thang không gian Banach $(X_s, |\cdot|s){s \in [a, b]}$, cùng các mô hình cụ thể như phương trình nhiệt, phương trình đạo hàm riêng phi tuyến trong không gian hàm giải tích và lớp hàm Gevrey $G_s(\Omega)$.
  • Phạm vi nghiên cứu: Lý thuyết giải tích hàm phi tuyến, lý thuyết không gian Banach có thứ tự, lý thuyết điểm bất động, giải tích phân thứ và độ đo phi compact; xét trên cả khoảng thời gian hữu hạn $[0, T]$ và nửa trục vô hạn $[0, \infty)$.

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

Khái niệm thang không gian Banach được L. Yamanaka khởi xướng khi nghiên cứu mở rộng định lý Cauchy–Kowalevskaya trừu tượng cho hệ phương trình đạo hàm riêng phi tuyến. Bằng cách xây dựng thang không gian $X_s$ gồm các hàm giải tích trên quả cầu mở $B_s = {x \in \mathbb{R}^n : |x| < s}$ với chuẩn chuỗi đạo hàm giải tích, các tác giả đã chỉ ra rằng toán tử đạo hàm riêng làm suy giảm chỉ số trơn theo đánh giá $|u_{x_i}|s \le \frac{C}{s' - s}|u|{s'}$ với mọi $s < s'$.

Tiếp nối hướng tiếp cận này, bài toán Cauchy phi tuyến trừu tượng trên thang không gian Banach đã thu hút nhiều công trình nghiên cứu:

  • Năm 1972, L. Nirenberg thiết lập định lý tồn tại và duy nhất nghiệm địa phương bằng cách xây dựng dãy lặp Newton hội tụ nhanh với các giả thiết toán tử tuyến tính phức tạp.
  • Năm 1977, T. Nishida đơn giản hóa việc chứng minh định lý Nirenberg bằng cách sử dụng dãy lặp Picard và chuẩn có trọng dạng $|u| = \sup_{s, t} |u(t)|_s (c(b-s) - t)^{-1}$.
  • K. Asano (1977) và R. Safonov tiếp tục mở rộng các điều kiện Lipschitz giảm nhẹ.
  • J. Petronilho đưa ra chuẩn có trọng hai nhân tử $|u| = \sup (b-s)[c(b-s)-t]|u(t)|_s$ nhằm áp dụng Định lý ánh xạ co, tạo tiền đề cho việc xử lý các điều kiện Lipschitz địa phương.
  • E. Zabreiko nghiên cứu phương trình vi phân bậc phân thứ trên thang không gian Banach với phép nhúng compact hoặc điều kiện kì dị chuẩn $p = \alpha$.
  • M. Yamanaka nghiên cứu lớp phương trình đạo hàm riêng có chậm trong không gian hàm Gevrey với các hàm làm chậm tuyến tính $h(t) \le mt$.
  • K. Deimling, Nguyễn Bích Huy và M. Ghisi nghiên cứu bài toán với điều kiện cô đặc theo độ đo phi compact Kuratowski $\alpha_s(f(t, B)) \le \frac{C}{s'-s}\alpha_{s'}(B)$ thông qua dãy lặp Tonelli.
  • Về mặt ứng dụng, thang không gian Banach đã được áp dụng trong cơ học chất lỏng (phương trình Boltzmann, Navier–Stokes), phương trình sóng phi tuyến không địa phương (Camassa–Holm, Novikov), phương trình dòng chảy Prandtl, phương trình Kirchhoff, phương trình Burgers, các phương trình trễ và hệ động lực ngẫu nhiên Glauber, hệ động lực sinh–tử trong môi trường liên tục.

Vị trí học thuật của luận án: Luận án của NCS Phạm Văn Hiển đã hệ thống hóa và phát triển lý thuyết bài toán Cauchy trên thang không gian Banach theo ba trục phương pháp chính (dãy lặp, ánh xạ co, tính compact), khắc phục hạn chế về sự thu hẹp miền xác định của nghiệm, mở rộng từ bài toán kì dị cấp một sang kì dị yếu, bậc phân thứ, không gian có thứ tự, bài toán có trễ với kì dị lũy thừa bậc cao và phân tích cấu trúc hình học tôpô của tập nghiệm.

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

Luận án sử dụng khung lý thuyết giải tích hàm hiện đại kết hợp lý thuyết phương trình vi phân trừu tượng, bao gồm các cấu trúc toán học:

  1. Thang không gian Banach: Họ các không gian Banach $(X_s, |\cdot|s){s \in [a, b]}$ thỏa mãn quan hệ nhúng $X_{s'} \subset X_s$ và $|x|s \le |x|{s'}$ với mọi $x \in X_{s'}$ khi $a \le s < s' \le b$.
  2. Lý thuyết điểm bất động: Định lý ánh xạ co Banach trên không gian metric đầy đủ; Định lý Schauder cho tập lồi compact trong không gian lồi địa phương; Định lý Darbo–Sadovskii cho ánh xạ cô đặc theo độ đo phi compact; Định lý Schauder–Tychonoff.
  3. Lý thuyết nón và thứ tự một phần: Nón lồi đóng $K \subset X$ ($K \cap -K = {\theta}$, $\lambda K \subset K, \forall \lambda > 0$), thứ tự cảm sinh $u \le v \Leftrightarrow v - u \in K$; khái niệm nón chuẩn ($|u| \le N|v|$ khi $\theta \le u \le v$) và nón chính quy (mọi dãy tăng và bị chặn trên đều hội tụ); bổ đề so sánh vi phân đơn điệu $p'(t) \ge -Mp(t) \Rightarrow p(t) \ge e^{-Mt}p(0)$.
  4. Không gian Fréchet và hệ nửa chuẩn: Không gian vector tôpô lồi địa phương với họ đếm được các nửa chuẩn tách và đầy đủ ${p_n}_{n \in \mathbb{N}^+}$, định lý điểm bất động cho ánh xạ co theo họ nửa chuẩn.
  5. Độ đo phi compact Kuratowski và độ đo vector: Độ đo số $\alpha(\Omega) = \inf{d > 0 : \Omega \subset \cup_{i=1}^k A_i, \text{diam}(A_i) \le d}$ với 7 tính chất giải tích cơ bản; độ đo phi compact tổng quát $\phi$ nhận giá trị trong không gian Banach có thứ tự $(Q, \le)$; khái niệm ánh xạ $\phi$-cô đặc.
  6. Giải tích phân thứ: Tích phân Riemann–Liouville bậc $\alpha > 0$: $J^\alpha u(t) = \frac{1}{\Gamma(\alpha)} \int_0^t (t-\tau)^{\alpha-1} u(\tau) d\tau$; đạo hàm Caputo bậc $\alpha$: ${^C}D^\alpha u(t) = J^{m-\alpha} \frac{d^m u}{dt^m}(t)$ với $m = \lceil \alpha \rceil$; hàm Gamma Euler và xấp xỉ Stirling $n! \sim (n/e)^n \sqrt{2\pi n}$.
  7. Lớp hàm Gevrey: Không gian $G_s(\Omega)$ các hàm khả vi vô hạn trên $\Omega = (-R_0, R_0)$ thỏa mãn đánh giá $|u^{(k)}(x)| \le \frac{C \Lambda(k)}{s^k}$ với trọng $\Lambda(k) = 2^{-8}(k!)^\lambda k^{-2-\lambda}$ và $\lambda \ge 1$.

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

  • Phương pháp suy diễn toán học thuần túy: Xây dựng các toán tử tích phân quy về bài toán điểm bất động $u = Fu$.
  • Kỹ thuật đánh giá tiên nghiệm quy nạp: Thiết lập các chặn giải tích cho hiệu của dãy lặp $|u_n(t) - u_{n-1}(t)|_s$ qua phân hoạch tối ưu của khoảng chỉ số thang $[s, S]$.
  • Phương pháp xấp xỉ đơn điệu: Kết hợp cặp nghiệm trên $\bar{u}$ và nghiệm dưới $\underline{u}$ để sinh ra hai dãy lặp đơn điệu hội tụ về nghiệm cực trị trong lát cắt thứ tự.
  • Phương pháp không gian hàm trọng số: Thiết lập các chuẩn định chuẩn chứa các nhân tử suy biến theo thời gian và không gian.

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

Chương 1: Kiến thức cơ sở

Chương 1 hệ thống hóa các định nghĩa, bổ đề và định lý nền tảng được sử dụng xuyên suốt luận án:

  • Trình bày hệ thống các định lý điểm bất động kinh điển: Nguyên lý ánh xạ co Banach, Định lý Schauder, Định lý điểm bất động Darbo–Sadovskii dựa trên độ đo phi compact Kuratowski $\alpha(F(B)) \le k\alpha(B)$, và sự hội tụ của dãy lặp Picard $u_n(t) = u_0 + \int_0^t f(\tau, u_{n-1}(\tau))d\tau$.
  • Xây dựng lý thuyết không gian Banach có thứ tự sinh bởi nón lồi đóng $K$, phân loại nón chuẩn và nón chính quy. Chứng minh bổ đề cơ sở về bất đẳng thức vi phân: nếu $p \in C([0, T], X)$ khả vi thỏa mãn $p'(t) \ge -Mp(t)$ thì $h(t) = e^{Mt}p(t)$ là hàm tăng, dẫn tới $p(t) \ge e^{-Mt}p(0)$.
  • Khảo sát không gian vector tôpô lồi địa phương sinh bởi họ nửa chuẩn đếm được ${p_n}{n \in \mathbb{N}^+}$. Chứng minh chi tiết định lý điểm bất động cho ánh xạ co theo họ nửa chuẩn tách và đầy đủ: nếu $p_n(F(x) - F(y)) \le q_n p_n(x - y)$ với $q_n \in (0, 1)$, thì $F$ có duy nhất điểm bất động $y^* = \lim{m \to \infty} F^m(y_0)$.
  • Khái quát hóa độ đo phi compact Kuratowski trong không gian định chuẩn với đầy đủ 7 tính chất: tính chính quy ($\alpha(\Omega)=0 \Leftrightarrow \overline{\Omega}$ compact), tính không kì dị ($\alpha({x})=0$), tính nửa thuần nhất, tính dưới cộng tính, tính nửa cộng tính, độ đo của quả cầu trong không gian vô hạn chiều ($\alpha(B(0, R))=2R$), và tính bất biến dịch chuyển. Mở rộng định nghĩa sang độ đo phi compact nhận giá trị vector $\phi: \mathcal{M} \to Q$ trên không gian lồi địa phương và chứng minh định lý tồn tại điểm bất động cho ánh xạ $\phi$-cô đặc trên tập lồi đóng bị chặn $B$.
  • Tổng hợp các tiêu chuẩn compact tương đối trong không gian hàm $C([0, T], Y)$ (tiêu chuẩn Arzelà–Ascoli: tính đồng liên tục và tính compact tương đối từng điểm) cùng các đẳng thức tích phân cơ bản của hàm Gamma: $\int_0^t \tau^{\beta-1}(t-\tau)^{\alpha-1}d\tau = t^{\alpha+\beta-1} \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)}$.

Chương 2: Sử dụng dãy lặp trong nghiên cứu bài toán

Chương 2 tập trung khảo sát bốn lớp bài toán Cauchy trên thang không gian Banach $(X_s)_{s \in [a, b]}$ thông qua việc xây dựng dãy lặp xấp xỉ liên tiếp mà không yêu cầu phép biến đổi sang không gian mới:

  1. Bài toán Cauchy với kì dị yếu: Xét bài toán $u'(t) = f(t, u(t)), u(0) = u_0 \in X_b$ với điều kiện Lipschitz suy biến yếu: $$|f(t, u) - f(t, v)|s \le \frac{C}{(s' - s)^p} |u - v|{s'}, \quad \forall s < s', ; p \in (0, 1)$$ Bằng phương pháp quy nạp trên phân hoạch đều chỉ số $s_j = s_{j-1} + \frac{S - s_0}{n}$, luận án chứng minh đánh giá: $$|u_n(t) - u_{n-1}(t)|s \le \frac{M_S C^{n-1} t^n n^{p(n-1)}}{(S - s)^{p(n-1)} n!} \sim \left[ \frac{Cte}{(S-s)^p} n^{p-1} \right]^n$$ Vì $p < 1$, số hạng $n^{p-1} \to 0$ khi $n \to \infty$, đảm bảo chuỗi sai số hội tụ đều trên toàn đoạn $[0, T]$. Từ đó khẳng định sự tồn tại và duy nhất của nghiệm toàn cục $u \in C([0, T], X_s)$ với mọi $s < b$. Đồng thời, bằng cách chọn $\beta \in (1, 1/p)$ để chuỗi $\sum i^{-\beta}$ hội tụ, tác giả chứng minh nghiệm ổn định liên tục theo dữ kiện ban đầu: $\sup{t \in [0, T]} |u(t) - v(t)|_s \le H |u_0 - v_0|_b$. Kết quả được minh họa thành công cho phương trình truyền nhiệt $u_t = c\Delta_x u + g$ trong thang không gian hàm khả tích Fourier $X_s^q$.

  2. Phương trình vi phân bậc phân thứ với kì dị yếu: Xét phương trình chứa đạo hàm Caputo bậc không nguyên: $${^C}D^\alpha u(t) = f(t, u(t)), \quad t \in (0, T), \quad u^{(k)}(0) = \xi_k \in X_b, ; k = 0, \dots, m-1$$ Đưa bài toán về phương trình tích phân $u(t) = u_0(t) + \frac{1}{\Gamma(\alpha)} \int_0^t (t-\tau)^{\alpha-1} f(\tau, u(\tau))d\tau$. Dưới giả thiết kì dị yếu $p < \alpha$, đánh giá quy nạp dẫn đến giới hạn chứa hàm Gamma: $$\lim_{n \to \infty} \frac{H T^{n\alpha} C^{n-1} n^{p(n-1)}}{(S-s)^{p(n-1)} \Gamma(1 + n\alpha)} = 0$$ chứng minh nghiệm toàn cục tồn tại duy nhất trên $C([0, T], X_s)$.

  3. Kỹ thuật lặp đơn điệu trên thang không gian có thứ tự: Xét thang không gian $X_s$ trang bị nón lồi $K_s$ ($s < s' \Rightarrow K_{s'} \subset K_s$). Dưới giả thiết tồn tại cặp nghiệm dưới $\underline{u}$ và nghiệm trên $\bar{u}$ ($\underline{u} \le \bar{u}$) và hàm vế phải thỏa mãn tính đơn điệu yếu: $$f(t, u) - f(t, v) \ge -\frac{C}{S - s}(u - v), \quad \forall u \ge v$$ Toán tử phụ trợ $Gu(t) = e^{-Mt}u_0 + \int_0^t e^{M(\tau-t)}[f(\tau, u(\tau)) + Mu(\tau)]d\tau$ với $M = \frac{C}{S-s}$ được chứng minh là toán tử tăng. Hai dãy lặp $u_n = G^n \underline{u}$ và $v_n = G^n \bar{u}$ là các dãy đơn điệu, đồng liên tục và hội tụ tương ứng về nghiệm nhỏ nhất $u_$ và nghiệm lớn nhất $u^$ trong lát cắt $[\underline{u}, \bar{u}]$. Khi nón $K_s$ chỉ là nón chuẩn, tác giả thay thế bằng điều kiện cô đặc Kuratowski $\alpha_r({f(t, y_n(t))}) \le \frac{D}{(r'-r)^p}\alpha_{r'}({y_n(t)})$ để bảo toàn sự hội tụ.

  4. Bài toán Cauchy có chậm: Xét phương trình vi phân có trễ $u'(t) = f(t, u(t), u(h(t)))$ với hàm làm chậm $h(t) < t^{1/p}$ ($p \in (0, 1)$). Luận án chứng minh rằng yếu tố chậm cho phép chế ngự các kì dị mạnh: vế phải có thể thỏa mãn điều kiện Lipschitz theo biến thứ hai kết hợp điều kiện Hölder bậc $p$ theo biến trễ: $$|f(t, u_1, v_1) - f(t, u_2, v_2)|s \le \frac{C}{s'-s} \left( |u_1 - u_2|{s'} + |v_1 - v_2|_{s'}^p \right)$$ Đặc biệt, với bài toán thuần trễ $u'(t) = f(t, u(h(t)))$, điều kiện kì dị có thể mở rộng lên lũy thừa bất kỳ $|f(t, v_1) - f(t, v_2)|s \le \frac{C}{(s'-s)^\gamma} |v_1 - v_2|{s'}^p$ với $\gamma > 0$ tùy ý mà vẫn đảm bảo nghiệm duy nhất toàn cục trên $C([0, 1), X_s)$.

Chương 3: Sử dụng ánh xạ co trong nghiên cứu bài toán

Chương 3 giải quyết bài toán khi điều kiện Lipschitz chỉ thỏa mãn cục bộ trên quả cầu đóng $B_{s'}(u_0, R)$ – tình huống mà phương pháp lặp xấp xỉ cổ điển khó áp dụng do khó kiểm soát quỹ đạo dãy lặp:

  1. Bài toán với điều kiện Lipschitz địa phương: Với $\beta \in (0, 1)$, tác giả thiết lập không gian Banach $E$ gồm các hàm liên tục trên miền suy biến $\Delta_\lambda = {(t, s) : 0 \le t < (b-s)\lambda^{-1}, s \in [a, b)}$ trang bị chuẩn có trọng hai tham số: $$|u|E = \sup{(t, s) \in \Delta_\lambda} (b - s)^{1-\beta} (b - s - \lambda t)^\beta |u(t)|_s < \infty$$ Bằng cách chuyển đổi biến số $v(t) = u'(t)$ và xét toán tử tích phân $Fv(t) = f(t, u_0 + \int_0^t v(\tau)d\tau)$, tác giả xác định hệ số co $k = \frac{4C}{\lambda \beta} < 1$. Bằng phương pháp giải tích cực trị, luận án tìm ra giá trị tối ưu của tham số trọng $\beta$ và hệ số suy biến $\lambda$: $$\beta^* = \frac{\sqrt{4Cr}}{\sqrt{M} + \sqrt{4Cr}}, \quad \lambda^* = \frac{(\sqrt{M} + \sqrt{4Cr})^2}{r}$$ qua đó cực đại hóa khoảng tồn tại nghiệm $t \in [0, (b-s)(\lambda^*)^{-1})$.

  2. Bài toán có chậm trên thang không gian Banach tổng quát: Khảo sát bài toán $u'(t) = f(t, A(t, u(t)), B(u(h(t))))$, trong đó tính kì dị tập trung tại các toán tử tuyến tính $|B|{\mathcal{L}(X_r, X_s)} \le \frac{C_1}{(r-s)^q}$. Luận án xây dựng không gian Banach với chuẩn suy biến theo thời gian $|u|E = \sup{t \in [0, T]} |u(t)|{S(t, T)}$, trong đó hàm thang $S(t, T) = b - \frac{(b-a)t^\alpha}{T^\alpha}$ thỏa mãn điều kiện tích phân $\lim_{T \to 0} \int_0^T [S(h(t), T) - S(t, T)]^{-q} dt = 0$. Kết quả tổng quát này được áp dụng thành công cho phương trình đạo hàm riêng phi tuyến có trễ và co dãn biến không gian: $$\partial_1 u(t, x) = g\left[t, x, \partial_2^{l_1} u(t, \sigma(t)x), \partial_2^{l_2} u(h(t), x)\right]$$ trong thang không gian hàm Gevrey $G_s(\Omega)$, mở rộng điều kiện làm chậm từ $h(t) \le mt$ sang $h(t) < t^{1/p}$.

  3. Bài toán trên miền vô hạn: Mở rộng sự tồn tại và duy nhất nghiệm trên nửa trục thời gian vô hạn $t \in [0, \infty)$ thông qua việc xây dựng cấu trúc không gian Fréchet phù hợp.

Chương 4: Sử dụng tính compact trong nghiên cứu bài toán

Chương 4 nghiên cứu các lớp bài toán Cauchy khi điều kiện Lipschitz được thay thế hoàn toàn hoặc một phần bởi các điều kiện liên quan đến tính compact và độ đo phi compact:

  1. Hai kỹ thuật giải tích mới:

    • Chuyển không gian làm việc của toán tử tích phân từ không gian Banach sang không gian Fréchet lồi địa phương.
    • Xây dựng độ đo phi compact nhận giá trị trong không gian Banach có thứ tự (độ đo vector), tận dụng cấu trúc thứ tự vector để thu nhận nhiều thông tin hình học hơn so với độ đo vô hướng Kuratowski.

  2. Bài toán Cauchy không có chậm và có chậm:

    • Thiết lập sự tồn tại nghiệm cho bài toán Cauchy với điều kiện cô đặc Kuratowski $\alpha_s(f(t, B)) \le \frac{C}{s'-s}\alpha_{s'}(B)$ và điều kiện chặn $|f(t, u)|_s \le \frac{M}{s'-s}$.
    • Giải quyết bài toán có trễ dưới điều kiện cô đặc kì dị: $$\alpha_s(f(t, \Omega_1, \Omega_2)) \le L \left[ \alpha_s(\Omega_1) + \frac{\alpha_{s'}^p(\Omega_2)}{(s'-s)^\gamma} \right]$$ với $\gamma = 1$ cho bài toán địa phương và $\gamma > 0$ tùy ý cho bài toán toàn cục.

  3. Cấu trúc tập nghiệm của lớp bài toán nửa tuyến tính nhiễu compact: Khảo sát phương trình vi phân $u'(t) = f(t, u(t)) + g(t, u(t)), u(0) = u_0$, trong đó $f$ thỏa mãn điều kiện Lipschitz kì dị chuẩn và $g$ là ánh xạ compact. Luận án chứng minh tập nghiệm của bài toán trên thang không gian Banach là một tập $R_\delta$ (tập compact tương đương đồng loại với giao đếm được của các tập co rút được trong không gian tôpô thích hợp), khẳng định tính liên thông và tính đóng compact của cấu trúc nghiệm.

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

Luận án đạt được các kết quả khoa học mới trong lĩnh vực Giải tích hàm và Lý thuyết Phương trình vi phân trừu tượng:

Lớp bài toán nghiên cứu Điều kiện kì dị Phương pháp tiếp cận Kết quả chính đạt được
Cauchy cấp một kì dị yếu $|f(t,u)-f(t,v)|s \le \frac{C}{(s'-s)^p}|u-v|{s'}$, $p < 1$ Dãy lặp Picard trên thang $X_s$ Nghiệm duy nhất toàn cục trên $[0, T]$, ổn định theo dữ liệu đầu
Bậc phân thứ Caputo Kì dị yếu với số mũ $p < \alpha$ Dãy lặp xấp xỉ tích phân Tồn tại duy nhất nghiệm toàn cục trong $C([0, T], X_s)$
Thang không gian có thứ tự Tính đơn điệu yếu $f(t,u)-f(t,v) \ge -\frac{C}{S-s}(u-v)$ Kỹ thuật lặp đơn điệu & Nón chính quy / Kuratowski Tồn tại nghiệm cực trị nhỏ nhất $u_$ và lớn nhất $u^$
Bài toán Cauchy có chậm Trễ $h(t) < t^{1/p}$, kì dị Hölder hoặc lũy thừa $\gamma > 0$ Dãy lặp xấp xỉ Khắc phục rào cản kì dị bậc 1, nghiệm duy nhất toàn cục
Lipschitz địa phương $|f(t,u)-f(t,v)|s \le \frac{C}{s'-s}|u-v|{s'}$ trên quả cầu Ánh xạ co trên không gian chuẩn có trọng Xác định tham số tối ưu $\beta^, \lambda^$, mở rộng khoảng tồn tại
PDE trễ trong hàm Gevrey Toán tử kì dị $|B| \le C_1(r-s)^{-q}$ Ánh xạ co với thang phụ thuộc thời gian $S(t,T)$ Mở rộng điều kiện hàm trễ và hàm co dãn không gian $\sigma(t)x$
Bài toán cô đặc & Nhiễu compact Điều kiện cô đặc vector & $u' = f(t,u) + g(t,u)$ ($g$ compact) Không gian Fréchet & Độ đo phi compact vector Tồn tại nghiệm; tập nghiệm có cấu trúc tôpô $R_\delta$

Các đóng góp mới về mặt lý luận khoa học:

  1. Chứng minh định lý tồn tại và duy nhất nghiệm toàn cục cho bài toán Cauchy kì dị yếu ($p < 1$) và bài toán bậc phân thứ ($p < \alpha$), giải phóng ràng buộc thu hẹp miền xác định theo thời gian của lý thuyết cổ điển.
  2. Thiết lập kết quả đầu tiên về bài toán Cauchy trên thang không gian Banach có thứ tự bằng phương pháp lặp đơn điệu kết hợp cấu trúc nón và độ đo Kuratowski.
  3. Phát hiện quy luật giải tích quan trọng: sự xuất hiện của yếu tố làm chậm theo thời gian $h(t) < t^{1/p}$ cho phép bài toán dung nạp các kì dị rất mạnh (kì dị lũy thừa bậc $\gamma > 0$ tùy ý).
  4. Thiết lập công thức giải tích tường minh xác định các tham số tối ưu $\beta^$ và $\lambda^$ cho chuẩn có trọng hai tham số trong bài toán Lipschitz địa phương.
  5. Đề xuất và ứng dụng thành công kỹ thuật độ đo phi compact nhận giá trị vector trên không gian Fréchet để khảo sát bài toán cô đặc kì dị và chứng minh tính chất $R_\delta$ của tập nghiệm.

Các công trình chính của tác giả đã được công bố trên các tạp chí quốc tế chuyên ngành: Fixed Point Theory và Journal of Fixed Point Theory and Applications (năm 2020), đồng thời báo cáo tại Đại hội Toán học Việt Nam lần thứ 9 (Nha Trang, 2018).

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

Hạn chế của nghiên cứu:

  • Các kết quả lý thuyết chủ yếu tập trung vào các thang không gian Banach trừu tượng và thang không gian hàm giải tích, Gevrey; việc chuyển tiếp sang các thang không gian Sobolev tổng quát với các bài toán biên phức tạp vẫn phụ thuộc vào cấu trúc hình học của miền xác định.
  • Kỹ thuật lặp đơn điệu đòi hỏi giả thiết về sự tồn tại của cặp nghiệm trên và nghiệm dưới, vốn không dễ xây dựng đối với các hệ phương trình phi tuyến bậc cao.
  • Yếu tố làm chậm $h(t)$ bị ràng buộc bởi điều kiện tăng và chặn lũy thừa $h(t) < t^{1/p}$.

Hướng nghiên cứu tiếp:

  • Mở rộng các kết quả của thang không gian Banach sang các phương trình vi phân ngẫu nhiên chứa kì dị và các hệ động lực ngẫu nhiên sinh–tử phức tạp trong môi trường liên tục.
  • Khảo sát các bài toán biên phi tuyến chứa kì dị mạnh cho các phương trình đạo hàm riêng xuất phát từ cơ học chất lỏng (như phương trình Navier–Stokes, dòng chảy Prandtl) trên miền không bị chặn.
  • Phát triển lý thuyết điều khiển tối ưu và tính ổn định tiệm cận cho các bài toán Cauchy kì dị bậc phân thứ có trễ.

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 học:

  • Đối với nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán Giải tích, Toán Ứng dụng: Cung cấp hệ thống phương pháp luận hoàn chỉnh về giải tích phi tuyến trên thang không gian Banach, kỹ thuật đánh giá quy nạp cho dãy lặp, phương pháp xây dựng chuẩn có trọng và cách sử dụng độ đo phi compact vector trên không gian Fréchet.
  • Đối với các nhà nghiên cứu phương trình đạo hàm riêng và Vật lý toán: Cung cấp công cụ giải tích hữu hiệu để xử lý hiện tượng mất độ trơn của nghiệm trong các mô hình cơ học chất lỏng (phương trình Boltzmann, Navier–Stokes, Prandtl), phương trình sóng phi tuyến (Camassa–Holm, Novikov, Burgers, Kirchhoff) và các bài toán trễ trong lớp hàm Gevrey.

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

1. Tính kì dị trong bài toán Cauchy trên thang không gian Banach được định nghĩa như thế nào?

Tính kì dị thể hiện ở việc hàm vế phải $f(t, u)$ không tác động từ một không gian vào chính nó mà biến đổi từ không gian hẹp $X_{s'}$ sang không gian rộng hơn $X_s$ ($s < s'$), đồng thời chuẩn của toán tử bị suy biến (phân kỳ) khi hai chỉ số tiến lại gần nhau, thể hiện qua điều kiện Lipschitz dạng $|f(t, u) - f(t, v)|s \le \frac{C}{(s'-s)^p} |u - v|{s'}$ hoặc điều kiện cô đặc theo độ đo Kuratowski $\alpha_s(f(t, B)) \le \frac{C}{s'-s}\alpha_{s'}(B)$.

2. Yếu tố trễ thời gian $h(t) < t^{1/p}$ có vai trò như thế nào trong việc khắc phục kì dị mạnh?

Yếu tố trễ giúp nén biến thời gian qua hàm $h(t)$, tạo ra sự triệt tiêu tốc độ phân kỳ của kì dị khi tích phân lặp. Cụ thể, số hạng tích phân trễ $(h(\tau))^{k+1} \le (\tau^{1/p})^{p(k+1)} = \tau^{k+1}$ bù trừ hoàn toàn cho mẫu số suy biến $(s'-s)^\gamma$, cho phép chứng minh sự hội tụ của dãy lặp ngay cả khi bậc kì dị $\gamma > 0$ là một số thực dương lớn tùy ý.

3. Phương pháp lặp đơn điệu trên thang không gian Banach có thứ tự đòi hỏi các điều kiện gì?

Phương pháp đòi hỏi:

  • Thang không gian $X_s$ có thứ tự cảm sinh bởi họ nón lồi đóng lồng nhau $K_{s'} \subset K_s$ ($s < s'$).
  • Sự tồn tại của một cặp nghiệm dưới $\underline{u}$ và nghiệm trên $\bar{u}$ thỏa mãn $\underline{u} \le \bar{u}$.
  • Hàm vế phải thỏa mãn tính đơn điệu yếu $f(t, u) - f(t, v) \ge -\frac{C}{S-s}(u-v)$ với mọi $u \ge v$.
  • Nón $K_s$ phải là nón chính quy (hoặc nón chuẩn kết hợp với điều kiện cô đặc Kuratowski đối với các dãy đơn điệu).

4. Chuẩn có trọng hai tham số trong Chương 3 giúp tối ưu hóa khoảng tồn tại nghiệm ra sao?

Chuẩn được xây dựng dưới dạng $|u|E = \sup{(t,s) \in \Delta_\lambda} (b-s)^{1-\beta}(b-s-\lambda t)^\beta |u(t)|_s$. Bằng cách kết hợp nhân tử suy biến không gian $(b-s)^{1-\beta}$ và nhân tử suy biến không–thời gian $(b-s-\lambda t)^\beta$, tác giả chuyển bài toán Lipschitz địa phương về việc tìm điểm bất động của ánh xạ co trên quả cầu cố định. Qua việc giải bài toán cực trị vi phân theo tham số $\beta$, luận án tìm ra giá trị tối ưu $\beta^* = \frac{\sqrt{4Cr}}{\sqrt{M}+\sqrt{4Cr}}$ giúp cực tiểu hóa hệ số suy biến $\lambda^$, từ đó mở rộng tối đa khoảng thời gian tồn tại nghiệm $t \in [0, (b-s)(\lambda^)^{-1})$.

5. Ưu thế của việc sử dụng độ đo phi compact nhận giá trị vector so với độ đo vô hướng trong Chương 4 là gì?

Độ đo phi compact nhận giá trị vector $\Phi$ ánh xạ các tập bị chặn vào một không gian Banach có thứ tự một phần $(Q, \le)$. Bất đẳng thức cô đặc $\Phi(B) \le \Phi(F(B)) \Rightarrow B \text{ compact tương đối}$ thiết lập mối liên hệ thứ tự giữa hai phần tử vector đa chiều, cung cấp lượng thông tin giải tích và hình học chi tiết hơn nhiều so với việc chỉ so sánh hai số thực trong độ đo vô hướng Kuratowski, giúp khắc phục tình trạng mất tính compact trên từng không gian thành phần của thang Banach.

Kết luận

Luận án tiến sĩ toán học của NCS Phạm Văn Hiển là công trình nghiên cứu chuyên sâu và hệ thống về các lớp bài toán Cauchy chứa kì dị trên thang không gian Banach. Bằng việc kết hợp hài hòa ba phương pháp giải tích nòng cốt — xây dựng dãy lặp xấp xỉ, nguyên lý ánh xạ co trên không gian trọng số và lý thuyết điểm bất động cô đặc dựa trên độ đo phi compact vector — tác giả đã giải quyết trọn vẹn bài toán tồn tại, duy nhất, tính ổn định và cấu trúc tập nghiệm cho nhiều lớp phương trình vi phân cấp nguyên, cấp phân thứ và phương trình có trễ. Các kết quả đạt được không chỉ mở rộng đáng kể lý thuyết Cauchy–Kowalevskaya trừu tượng mà còn cung cấp nền tảng toán học tin cậy cho việc khảo sát các phương trình đạo hàm riêng phi tuyến trong vật lý và cơ học chất lỏng.