Tổng quan luận án

Nghiên cứu dáng điệu tiệm cận nghiệm của phương trình vi phân là lĩnh vực trọng tâm của lý thuyết định tính phương trình vi phân, được khởi xướng từ cuối thế kỷ XIX và đầu thế kỷ XX bởi H. Lyapunov. Xuất phát điểm của hướng nghiên cứu này bắt nguồn từ thực tế giải tích: việc tích phân trực tiếp để tìm nghiệm tường minh thường không khả thi ngay cả với các phương trình đơn giản; trong trường hợp tích phân được, biểu thức nghiệm thu được thường quá phức tạp, gây trở ngại cho việc khảo sát các đặc tính động lực. Do đó, việc xác định tính ổn định, tính dao động, sự tồn tại của nghiệm tuần hoàn, nghiệm hầu tuần hoàn và nghiệm tựa tuần hoàn mà không cần giải tường minh phương trình trở thành một nhu cầu nội tại của toán học giải tích.

Khoảng trống nghiên cứu được tác giả xác định xuất phát từ giới hạn của các phương pháp truyền thống:

  • Đối với bài toán tìm nghiệm tuần hoàn của phương trình vi phân tuần hoàn, phương pháp điểm bất động của ánh xạ sau chu kỳ (Poincaré map) do J. L. Massera (1950) thiết lập và S. Hale (1974), Chow - Hale mở rộng cho phương trình vi phân hàm đã giải quyết trọn vẹn mối liên hệ: phương trình có nghiệm tuần hoàn khi và chỉ khi có nghiệm giới nội. Tuy nhiên, khi chuyển sang xét hàm ngoại lực $f(t)$ hầu tuần hoàn theo nghĩa Bohr, phương pháp ánh xạ sau chu kỳ hoàn toàn mất tác dụng do hệ không còn chu kỳ chung $T$.
  • Năm 1974, A. Fink đã chứng minh tồn tại phương trình vi phân có nghiệm giới nội nhưng không tồn tại nghiệm hầu tuần hoàn, cho thấy định lý Massera không thể suy rộng trực tiếp sang lớp hàm hầu tuần hoàn nếu thiếu các điều kiện phổ bổ sung.
  • Đối với lớp phương trình vi phân hàm dạng trung tính: $$\frac{d}{dt} D x_t = L x_t + f(t)$$ khó khăn kỹ thuật gia tăng do bài toán Cauchy đối với phương trình trung tính nói chung không giải được bằng các nửa nhóm tiến hóa thông thường trên không gian pha. Thêm vào đó, tập phổ của ma trận đặc trưng trên trục ảo $\sigma_i(\Lambda)$ trong nhiều trường hợp không giới nội, khiến các kỹ thuật giải tích điều hòa cổ điển không thể áp dụng trực tiếp.

Luận án xác định ba nhóm mục tiêu nghiên cứu cụ thể, được đánh số theo văn bản:

  1. Nghiên cứu cấu trúc phổ, sự tồn tại và tính chất của nghiệm giới nội, nghiệm hầu tuần hoàn và nghiệm tựa tuần hoàn của phương trình vi phân hàm dạng trung tính trên không gian hàm liên tục đều và giới nội.
  2. Xây dựng kỹ thuật phân rã phổ dựa trên khái niệm toán tử ôtônôm trên các không gian hàm thích hợp nhằm vượt qua trở ngại bài toán Cauchy không giải được, từ đó thiết lập các định lý dạng Massera cho phương trình trung tính trong cả hai trường hợp: tập phổ trục ảo $\sigma_i(\Lambda)$ giới nội và không giới nội (thỏa mãn điều kiện không cộng hưởng mạnh).
  3. Khảo sát phương trình trung tính rời rạc, nghiên cứu dáng điệu tiệm cận của nghiệm phương trình sai phân có trễ trung tính và áp dụng kết quả phổ để nghiên cứu nghiệm của phương trình tiến hóa không đặt chỉnh liên kết với một $C$-nửa nhóm cho trước.

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

  • Đối tượng nghiên cứu: Nghiệm giới nội, nghiệm hầu tuần hoàn, nghiệm tựa tuần hoàn của phương trình vi phân hàm dạng trung tính tuyến tính không thuần nhất và thuần nhất, cùng phương trình sai phân trung tính rời rạc tương ứng.
  • Phạm vi nghiên cứu:
    • Không gian hàm và không gian dãy: Không gian Banach phức $X$, không gian $BUC(\mathbb{R}, \mathbb{C}^n)$ các hàm giới nội liên tục đều, không gian $AP(\mathbb{R}, X)$ các hàm hầu tuần hoàn theo nghĩa Bohr, không gian dãy hai phía giới nội $l_\infty(X)$, không gian dãy hầu tuần hoàn $APZ(X)$, và không gian pha $\mathcal{C} = C([-r, 0], \mathbb{C}^n)$ với độ trễ $r > 0$.
    • Miền biến số: Trục thời gian liên tục $\mathbb{R}$ (toàn trục) hoặc nửa trục $[0, +\infty)$, cùng trục thời gian rời rạc $\mathbb{Z}$.

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

Luận án điểm lại lịch sử phát triển của lý thuyết định tính và giải tích điều hòa thông qua các mốc nghiên cứu:

  • H. Lyapunov: Khởi xướng các khái niệm và phương pháp về tính ổn định của nghiệm phương trình vi phân vào cuối thế kỷ XIX, đặt nền móng cho lý thuyết định tính.
  • H. Poincaré: Đề xuất phương pháp ánh xạ sau chu kỳ, trở thành công cụ nền tảng trong nghiên cứu nghiệm tuần hoàn.
  • H. Bohr: Đưa ra khái niệm hàm hầu tuần hoàn vào đầu thế kỷ XX và thiết lập định lý về tính hầu tuần hoàn của tích phân hàm hầu tuần hoàn trên đường thẳng thực; việc mở rộng kết quả Bohr sang hàm có giá trị trong không gian Banach đòi hỏi các điều kiện phụ trợ phức tạp [97].
  • J. L. Massera (1950) [104]: Khảo sát phương trình $\frac{dx}{dt} = A(t)x + f(t)$ với hệ số tuần hoàn chu kỳ $T$ và chứng minh định lý kinh điển: phương trình có nghiệm tuần hoàn chu kỳ $T$ khi và chỉ khi nó có một nghiệm giới nội (tiêu chuẩn Massera).
  • J. K. Hale (1974) và Chow - Hale (1974): Mở rộng định lý Massera cho hệ phương trình vi phân hàm $\dot{x}(t) = L(t)x_t + f(t)$ trên cơ sở phương pháp điểm bất động của ánh xạ sau chu kỳ.
  • T. Naito (1999): Phát triển định lý Massera cho phương trình đạo hàm riêng trừu tượng $\dot{x}(t) = Ax(t) + L(t)x_t + f(t)$ trên không gian Banach khi toán tử $A$ sinh ra một nửa nhóm compact.
  • A. Fink (1974): Đưa ra ví dụ khẳng định phương trình vi phân $\dot{x}(t) = a(t)x(t) + f(t)$ với $a(t), f(t)$ hầu tuần hoàn có thể có nghiệm giới nội nhưng không có nghiệm hầu tuần hoàn, bác bỏ khả năng suy rộng trực tiếp định lý Massera cho trường hợp hầu tuần hoàn tổng quát.
  • N. Van Minh và các đồng nghiệp: Đề xuất hệ thống phương pháp hiện đại dựa trên giải tích điều hòa trừu tượng và kỹ thuật phân rã phổ đối với phương trình $\dot{u}(t) = A(t)u(t) + f(t)$, bao gồm: phương pháp nửa nhóm tiến hóa để nghiên cứu cấu trúc phổ của nghiệm giới nội; phương pháp phân rã nghiệm giới nội theo các tập phổ; phương pháp tổng các toán tử giao hoán; và phương pháp biến thiên hằng số trong không gian pha.

Khoảng trống mà luận án lựa chọn giải quyết: Kế thừa hướng tiếp cận giải tích điều hòa của N. Van Minh và đồng nghiệp để xử lý bài toán nghiệm hầu tuần hoàn cho phương trình vi phân hàm dạng trung tính $\frac{d}{dt}Dx_t = Lx_t + f(t)$. Điểm nghẽn cần tháo gỡ là: bài toán Cauchy của phương trình trung tính nói chung không giải được bằng nửa nhóm tiến hóa cổ điển, và tập phổ trên trục ảo $\sigma_i(\Lambda)$ có thể không bị chặn. Luận án giải quyết khoảng trống này bằng cách xây dựng phép phân rã phổ thông qua đại số toán tử ôtônôm trên không gian hàm, đồng thời thiết lập điều kiện "không cộng hưởng mạnh" trên đường tròn đơn vị $\mathbb{T}$ khi phổ ảo không giới nội.

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

Luận án vận dụng hệ thống khái niệm và khung phân tích của lý thuyết định tính phương trình vi phân hiện đại kết hợp giải tích hàm và giải tích điều hòa trừu tượng:

  • Không gian hàm và không gian dãy: Không gian Banach $BUC(\mathbb{R}, X)$ gồm các hàm giới nội liên tục đều; không gian $AP(\mathbb{R}, X)$ gồm các hàm hầu tuần hoàn theo nghĩa Bohr; không gian thương $Y = BUC(\mathbb{R}, X) / AP(\mathbb{R}, X)$; không gian dãy giới nội $l_\infty(X)$ và dãy hầu tuần hoàn $APZ(X)$.
  • Các cấu trúc phổ:
    • Phổ Beurling $Sp(u) = {\xi \in \mathbb{R} : \forall \epsilon > 0, \exists \phi \in L^1(\mathbb{R}), \text{supp}\hat{\phi} \subset (\xi-\epsilon, \xi+\epsilon), \phi * u \neq 0}$.
    • Phổ Carleman $\sigma(u)$ dựa trên biến đổi Fourier - Carleman $\hat{u}(\lambda) = \int_0^{+\infty} e^{-\lambda t} u(t) dt$ khi $\text{Re}\lambda > 0$ và $\hat{u}(\lambda) = -\int_0^{+\infty} e^{\lambda t} u(-t) dt$ khi $\text{Re}\lambda < 0$. Luận án chứng minh $Sp(u) = \sigma(u)$ trên $BUC(\mathbb{R}, X)$.
    • Phổ Bohr $\sigma_b(f) = {\lambda \in \mathbb{R} : a(\lambda, f) \neq 0}$ với $a(\lambda, f) = \lim_{T \to \infty} \frac{1}{2T} \int_{-T}^T e^{-i\lambda t} f(t) dt$.
    • Phổ Arveson $Sp(U)$ của nhóm toán tử liên tục mạnh và phổ Arveson tương đối $Sp^U(y)$.
    • Phổ hầu tuần hoàn $Sp_{ap}(u)$ xác định qua phần bù các điểm hầu tuần hoàn, liên hệ trực tiếp với toán tử sinh của nhóm dịch chuyển trên không gian thương: $iSp_{ap}(u) = iSp^S(\Pi(u)) = \sigma(D_{\Pi(u)})$.
  • Phương pháp toán tử: Nhóm toán tử dịch chuyển $(S(t))_{t \in \mathbb{R}}$ xác định bởi $S(t)f = f(t+s)$; khái niệm toán tử ôtônôm $K$ trên $BUC(\mathbb{R}, \mathbb{C}^n)$ thỏa mãn $KS(\tau) = S(\tau)K, \forall \tau \in \mathbb{R}$; lý thuyết $C$-nửa nhóm với toán tử sinh $A$ đóng thỏa mãn $C^{-1}AC = A$ và $R(C) \subset D(A)$.
  • Phương pháp thực tế: Luận án sử dụng phương pháp định tính thuần túy toán học:
    1. Kỹ thuật biến đổi Fourier - Carleman để chuyển phương trình vi phân hàm trung tính sang phương trình đại số toán tử trong mặt phẳng phức $\mathbb{C}$.
    2. Kỹ thuật phân rã phổ Riesz thông qua tích phân đường bao của toán tử giải $P = \frac{1}{2\pi i} \int_{\gamma} R(\lambda, S(1)|_M) d\lambda$.
    3. Kỹ thuật toán tử giao hoán trên đường tròn đơn vị $\mathbb{T}$ để phân tích phương trình sai phân rời rạc.
Khái niệm / Công cụ toán học Định nghĩa / Biểu thức đặc trưng Vai trò trong luận án
Toán tử trung tính $D, L$ $D\phi = \phi(0) - \int_{-r}^0 d[\mu(\theta)]\phi(\theta)$, $L\phi = \int_{-r}^0 d[\eta(\theta)]\phi(\theta)$ Xác định phương trình vi phân hàm dạng trung tính tổng quát
Ma trận đặc trưng $\Lambda(\lambda)$ $\Lambda(\lambda) = \lambda De^{\lambda\cdot} - Le^{\lambda\cdot} = \lambda\left(I - \int_{-r}^0 d\mu(\theta)e^{\lambda\theta}\right) - \int_{-r}^0 d\eta(\theta)e^{\lambda\theta}$ Khảo sát tập giải $\rho(D, L)$ và tập phổ $\sigma(D, L)$
Tập phổ trục ảo $\sigma_i(\Lambda)$ $\sigma_i(\Lambda) = {\xi \in \mathbb{R} : \det \Lambda(i\xi) = 0}$ Tiêu chuẩn đánh giá phổ nghiệm và điều kiện cộng hưởng
Biến đổi Fourier - Carleman $\hat{u}(\lambda) = \pm \int_0^{+\infty} e^{\mp \lambda t} u(\pm t) dt$ theo dấu $\text{Re}\lambda$ Thiết lập công thức cơ bản $\Lambda(\lambda)\hat{x}(\lambda) = \psi(\lambda) + \hat{f}(\lambda)$
Toán tử ôtônôm $K \in B(BUC(\mathbb{R}, \mathbb{C}^n)), KS(\tau) = S(\tau)K$ Phân rã nghiệm không qua nửa nhóm tiến hóa trên không gian pha
Phép chiếu phổ Riesz $P = \frac{1}{2\pi i}\int_{\gamma} R(\lambda, S(1) _M) d\lambda$

Nguồn dữ liệu của luận án là hệ thống cấu trúc toán học trừu tượng, định lý giải tích hàm và các kết quả công bố trong 5 công trình khoa học của chính tác giả.

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, bổ đề và định lý nền tảng làm công cụ cho các chương sau:

  • Lý thuyết hàm hầu tuần hoàn: Trình bày định nghĩa tập trù mật tương đối trên $\mathbb{R}$, số $\epsilon$-chu kỳ và định nghĩa hàm hầu tuần hoàn theo nghĩa Bohr. Nêu 8 tính chất cơ bản của hàm hầu tuần hoàn, bao gồm tính giới nội, liên tục đều, tính đóng dưới giới hạn đều, đạo hàm hầu tuần hoàn khi đạo hàm thuộc $BUC(\mathbb{R}, X)$, và sự tồn tại của trị trung bình $M{g(t)} = \lim_{T \to \infty} \frac{1}{2T}\int_{-T}^T g(t) dt$.
  • Lý thuyết phổ: Định nghĩa phổ Beurling $Sp(u)$ và phổ Carleman $\sigma(u)$; chứng minh chi tiết khẳng định hai phổ này trùng nhau trên $BUC(\mathbb{R}, X)$. Chứng minh nếu $u$ tuần hoàn chu kỳ $T$ thì $Sp(u) = {\lambda_n = 2\pi n / T : u_n \neq 0, n \in \mathbb{Z}}$. Thiết lập mối liên hệ giữa phổ Beurling và giá mang của biến đổi Fourier: với $u \in BUC(\mathbb{R}, X) \cap L^1(\mathbb{R}, X)$ thì $Sp(u) = \text{supp}\hat{u}$. Trình bày phổ Bohr $\sigma_b(f)$ và phổ Arveson $Sp(U)$ của nhóm giới nội liên tục mạnh.
  • Phổ hầu tuần hoàn và tiêu chuẩn phổ: Định nghĩa phổ hầu tuần hoàn $Sp_{ap}(u)$ và tiếp cận thông qua không gian thương $Y = BUC(\mathbb{R}, X) / AP(\mathbb{R}, X)$. Đưa ra định lý Kadets - Loomis: Nếu không gian Banach $X$ không chứa không gian con đẳng cấu với $c_0$, $u \in BUC(\mathbb{R}, X)$ và phổ $Sp(u)$ đếm được thì $u(t)$ là hàm hầu tuần hoàn.
  • Phổ của dãy và phân rã phổ: Định nghĩa phổ $\sigma(g)$ của dãy giới nội $g \in l_\infty(X)$ trên đường tròn đơn vị $\mathbb{T}$ qua tính thác triển giải tích của chuỗi giải tích. Chứng minh định lý phân rã phổ trên $BUC(\mathbb{R}, X)$: nếu $e^{iSp(v)} = \sigma(v) \subset S_1 \cup S_2$ với $S_1, S_2 \subset \mathbb{T}$ đóng và rời nhau, thì bao tuyến tính đóng $M_v = \text{Span}{S(t)v, t \in \mathbb{R}}$ phân tích được thành tổng trực tiếp $M_v = M_1 \oplus M_2$ thông qua phép chiếu phổ Riesz.
  • Toán tử giao hoán và $C$-nửa nhóm: Trình bày tính chất phổ của toán tử giao hoán: $\sigma(U+V) \subset \sigma(U) + \sigma(V)$, $\sigma(UV) \subset \sigma(U)\sigma(V)$; chứng minh $\sigma(A_\Lambda) = \sigma(A)$ và $\sigma(S_\Lambda) = \Lambda$. Trình bày định nghĩa và 5 tính chất của $C$-nửa nhóm với toán tử sinh $A$.
  • Phương trình vi phân hàm trung tính: Định nghĩa phương trình tổng quát $\frac{d}{dt} D(t)x_t = L(t)x_t + f(t)$ với nhân $\mu(t, \theta)$ atomic đều tại 0. Đối với phương trình thuần nhất $\frac{d}{dt}Dx_t = Lx_t$, toán tử nghiệm $T(t)$ là $C_0$-nửa nhóm với toán tử sinh đóng $\hat{A}$, phổ $\sigma(\hat{A}) = {\lambda \in \mathbb{C} : \det \Lambda(\lambda) = 0}$.

CHƯƠNG 2: NGHIỆM GIỚI NỘI, NGHIỆM HẦU TUẦN HOÀN VÀ NGHIỆM TỰA TUẦN HOÀN CỦA PHƯƠNG TRÌNH VI PHÂN HÀM DẠNG TRUNG TÍNH

Chương 2 là phần trọng tâm giải quyết các tính chất phổ và định lý dạng Massera cho phương trình trung tính:

  • Đánh giá phổ của nghiệm giới nội: Xét phương trình (2.1) với $D\phi = \int_{-r}^0 d[\mu(\theta)]\phi(\theta)$ và $L\phi = \int_{-r}^0 d[\eta(\theta)]\phi(\theta)$. Áp dụng biến đổi Fourier - Carleman cho nghiệm giới nội $x(t)$ trên $\mathbb{R}$, tác giả chứng minh đẳng thức cơ bản: $$\Lambda(\lambda)\hat{x}(\lambda) = \psi(\lambda) + \hat{f}(\lambda)$$ trong đó $\psi(\lambda) = Dx_0 + \lambda \int_{-r}^0 e^{\lambda\theta} d\mu(\theta) \int_\theta^0 x(s)e^{-\lambda s} ds - \int_{-r}^0 e^{\lambda\theta} d\eta(\theta) \int_\theta^0 x(s)e^{-\lambda s} ds$ là hàm giải tích trên toàn bộ mặt phẳng phức $\mathbb{C}$. Từ đẳng thức này, rút ra Bổ đề 2.2: $$Sp(x) \subset \sigma_i(\Lambda) \cup Sp(f) \quad \text{và} \quad Sp(f) \subset Sp(x)$$ với $\sigma_i(\Lambda) = {\xi \in \mathbb{R} : \det \Lambda(i\xi) = 0}$.
  • Cấu trúc tập phổ $\sigma_i(\Lambda)$: Luận án chứng minh nếu $D$ atomic tại 0 và $\text{Var}\mu < 1$ thì với $|\lambda|$ đủ lớn trên trục ảo, $\det \Lambda(\lambda) \neq 0$, do đó $\sigma_i(\Lambda)$ là tập giới nội và rời rạc. Tác giả khảo sát ví dụ phương trình sai phân trễ $\dot{x}(t) = -x(t-1) + f(t)$ có ma trận đặc trưng $\Lambda(\lambda) = \lambda + e^{-\lambda}$, dẫn đến phương trình siêu việt $\xi \cot \xi + \ln |\xi| = 0$. Phương trình này có vô hạn nghiệm phức nhưng số nghiệm trên trục ảo không quá 1, minh chứng tính giới nội của $\sigma_i(\Lambda)$.
  • Toán tử ôtônôm và Định lý Massera khi $\sigma_i(\Lambda)$ giới nội: Chứng minh các toán tử gán $u \mapsto Lu_t$ và $u \mapsto \frac{d}{dt}Du_t$ là các toán tử ôtônôm trên $BUC(\mathbb{R}, \mathbb{C}^n)$, suy ra phổ của chúng bị chặn bởi phổ của $u$: $Sp(Lx_t) \subset Sp(x)$ và $Sp(\frac{d}{dt}Dx_t) \subset Sp(x)$. Trên cơ sở đó, thiết lập Định lý 2.5: Nếu $f \in BUC(\mathbb{R}, \mathbb{C}^n)$, $\sigma_i(\Lambda)$ giới nội và phương trình có một nghiệm giới nội $x(t)$ trên $\mathbb{R}$, thì phương trình có một nghiệm $w(t)$ thỏa mãn: $$Sp(f) \subset Sp(w) \subset Sp(f)$$ Hệ quả: Nếu $Sp(f)$ đếm được thì $w(t)$ là hàm hầu tuần hoàn; nếu $f(t)$ tuần hoàn chu kỳ $T$ thì phương trình có nghiệm tuần hoàn chu kỳ $T$ khi và chỉ khi có nghiệm giới nội (khôi phục và mở rộng kết quả Chow - Hale).
  • Trường hợp $\sigma_i(\Lambda)$ không giới nội: Tác giả đưa ra phản ví dụ phương trình $D\phi = \phi(0) - \phi(-1), L = 0$ có $\Lambda(\lambda) = \lambda(1 - e^{-\lambda})$, tập nghiệm trên trục ảo là $\lambda_k = 2k\pi i$ ($k \in \mathbb{Z}$), không giới nội. Để xử lý tình huống này, luận án đưa ra khái niệm "phương trình không cộng hưởng mạnh": tồn tại hai tập con đóng rời nhau $\Gamma_1, \Gamma_2 \subset \mathbb{T}$ sao cho phổ của phương trình thuần nhất $\sigma_F \subset \Gamma_1$ và phổ $\sigma(f) \subset \Gamma_2$. Định lý 2.6 chứng minh rằng dưới điều kiện không cộng hưởng mạnh, phép chiếu phổ $Q$ giao hoán với $D$ và $L$, cho phép trích xuất nghiệm giới nội liên tục đều $Qx$ thỏa mãn cùng phương trình.
  • Đánh giá phổ hầu tuần hoàn, phổ Bohr và nghiệm tựa tuần hoàn: Các mục 2.4 và 2.5 hoàn thiện đánh giá $Sp_{ap}(x)$ và phổ Bohr $\sigma_b(x)$, thiết lập điều kiện tồn tại nghiệm tựa tuần hoàn của phương trình vi phân hàm trung tính.

CHƯƠNG 3: PHƯƠNG TRÌNH TRUNG TÍNH RỜI RẠC, THUẦN NHẤT VÀ ÁP DỤNG

Chương 3 mở rộng các kỹ thuật sang hệ thời gian rời rạc và các bài toán toán tử liên kết:

  • Phương trình trung tính rời rạc: Thiết lập mô hình sai phân có trễ trung tính trên không gian dãy $l_\infty(X)$ và $APZ(X)$. Khảo sát mối tương quan giữa toán tử dịch chuyển rời rạc $S$ và các toán tử sai phân.
  • Dáng điệu tiệm cận của nghiệm phương trình sai phân trễ trung tính: Vận dụng lý thuyết phổ của các toán tử tuyến tính giao hoán trên đường tròn đơn vị $\mathbb{T}$ để tìm điều kiện tồn tại và tính hầu tuần hoàn của nghiệm dãy.
  • Áp dụng đối với phương trình toán tử: Nghiên cứu nghiệm của phương trình tiến hóa không đặt chỉnh liên kết với một $C$-nửa nhóm cho trước. Khắc phục khiếm khuyết tập xác định $D(A)$ không trù mật trong $X$ nhờ vào tính chất giao hoán của $C$-nửa nhóm và biểu diễn tích phân của toán tử giải.
  • Phương trình thuần nhất và sự tương đương tiệm cận: Sử dụng khái niệm hàm hầu tuần hoàn tiệm cận để khảo sát dáng điệu tiệm cận của nghiệm phương trình thuần nhất, thiết lập các tiêu chuẩn tương đương tiệm cận giữa phương trình không thuần nhất và phương trình thuần nhất tương ứng.

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

Luận án tự nêu các đóng góp mới về mặt lý luận toán học và ứng dụng giải tích:

  1. Đánh giá phổ chuẩn xác của nghiệm giới nội: Thiết lập công thức biến đổi Fourier - Carleman $\Lambda(\lambda)\hat{x}(\lambda) = \psi(\lambda) + \hat{f}(\lambda)$ cho phương trình vi phân hàm trung tính, chứng minh bao hàm thức phổ hai chiều $Sp(x) \subset \sigma_i(\Lambda) \cup Sp(f)$ và $Sp(f) \subset Sp(x)$.
  2. Phương pháp phân rã phổ mới không qua nửa nhóm tiến hóa: Đề xuất và ứng dụng thành công đại số toán tử ôtônôm trên $BUC(\mathbb{R}, \mathbb{C}^n)$, giải quyết trở ngại cơ bản của phương trình trung tính khi bài toán Cauchy không thể giải được bằng $C_0$-nửa nhóm trên không gian pha.
  3. Mở rộng định lý Massera cho nghiệm hầu tuần hoàn:
    • Chứng minh sự tồn tại nghiệm $w(t)$ có phổ trùng phổ của $f(t)$ khi tập phổ trục ảo $\sigma_i(\Lambda)$ giới nội, kéo theo tính hầu tuần hoàn của nghiệm khi phổ của $f$ đếm được.
    • Thiết lập khái niệm và định lý về "phương trình không cộng hưởng mạnh" trên đường tròn đơn vị $\mathbb{T}$ để giải quyết bài toán định lý Massera khi $\sigma_i(\Lambda)$ không giới nội.
  4. Phát triển lý thuyết cho hệ rời rạc và phương trình tiến hóa không đặt chỉnh: Mở rộng kỹ thuật phổ cho phương trình sai phân trung tính trên không gian dãy và giải quyết bài toán nghiệm cho phương trình tiến hóa gắn với $C$-nửa nhóm.

Các kết quả nghiên cứu trong luận án đã được công bố trong 5 công trình khoa học tại các tạp chí chuyên ngành trong nước và quốc tế [1, 2, 3, 4, 5], đồng thời được báo cáo tại các diễn đàn toán học: Hội nghị Khoa học ngành Toán - Cơ - Tin học lần II (ĐHKHTN Hà Nội, 2000), Hội nghị Toán học Toàn quốc (Huế, 2002), Hội nghị Khoa học lần thứ XV (ĐH Mỏ - Địa chất, 2002), và các xemina chuyên đề Phương trình vi phân liên trường ĐHKHTN - ĐH Sư phạm Hà Nội.

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

Hạn chế của luận án gắn liền với phạm vi lý thuyết được xác lập trong văn bản:

  • Các phương trình khảo sát chủ yếu dừng lại ở dạng tuyến tính với các toán tử $D, L$ bị chặn; giả thiết định thức ma trận đặc trưng $\det \Lambda(\lambda) \not\equiv 0$ luôn được yêu cầu thỏa mãn.
  • Không gian trạng thái khảo sát cho phương trình vi phân hàm trung tính ở Chương 2 chủ yếu là không gian hữu hạn chiều $\mathbb{C}^n$; khi xét trên không gian Banach tổng quát, kết quả đòi hỏi điều kiện không gian không chứa không gian con đẳng cấu với $c_0$.
  • Chưa xét đến các phương trình vi phân trung tính phi tuyến hoặc các hệ có độ trễ phụ thuộc trạng thái.

Hướng nghiên cứu tiếp được gợi mở từ văn bản:

  • Nghiên cứu mở rộng lý thuyết phân rã phổ và định lý Massera cho các lớp phương trình vi phân hàm trung tính phi tuyến và phương trình đạo hàm riêng trung tính trừu tượng.
  • Khảo sát trường hợp suy biến khi $\det \Lambda(\lambda) \equiv 0$ hoặc ma trận đặc trưng có nghiệm phức với tính bội phức tạp trên trục ảo.
  • Phát triển sâu hơn các ứng dụng của $C$-nửa nhóm đối với các lớp phương trình vi phân đại số và bài toán không đặt chỉnh bậc cao.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn đối với các nhóm đối tượng nghiên cứu toán học:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Phương trình vi phân và Hệ động lực: Tài liệu cung cấp kỹ thuật mẫu mực về việc áp dụng giải tích điều hòa trừu tượng và phổ Carleman/Beurling để xử lý bài toán dáng điệu tiệm cận của phương trình có trễ.
  • Giảng viên và nhà nghiên cứu Giải tích hàm: Luận án cung cấp bức tranh chi tiết về ứng dụng của lý thuyết phổ toán tử, đại số toán tử ôtônôm, nhóm dịch chuyển trên không gian thương $BUC/AP$ và lý thuyết $C$-nửa nhóm trong các phương trình tiến hóa.
  • Các phần có giá trị tham khảo cao nhất:
    • Bổ đề 2.2 và kỹ thuật biến đổi Carleman chứng minh đẳng thức phổ trong Mục 2.1.
    • Phương pháp xây dựng phép chiếu phổ Riesz thông qua toán tử ôtônôm trong Mục 2.2.
    • Kỹ thuật tách phổ trên đường tròn đơn vị $\mathbb{T}$ giải quyết trường hợp phổ không giới nội trong Mục 2.3.

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

1. Vì sao phương pháp điểm bất động của ánh xạ sau chu kỳ của Poincaré mất tác dụng đối với bài toán nghiệm hầu tuần hoàn?

Phương pháp ánh xạ sau chu kỳ hoạt động dựa trên việc chọn một chu kỳ $T > 0$ cố định làm bước dịch chuyển thời gian của hệ động lực, từ đó quy bài toán tìm nghiệm tuần hoàn về bài toán tìm điểm bất động của toán tử dịch chuyển sau thời gian $T$. Đối với hàm hầu tuần hoàn theo nghĩa Bohr, hàm số không có một chu kỳ chung $T$ mà chỉ có tập các số $\epsilon$-chu kỳ trù mật tương đối trên $\mathbb{R}$. Do đó, không tồn tại một ánh xạ sau chu kỳ cố định để thiết lập toán tử điểm bất động, buộc tác giả phải chuyển sang tiếp cận bằng giải tích điều hòa và phân rã phổ.

2. Biến đổi Fourier - Carleman được sử dụng như thế nào để đánh giá phổ của nghiệm $x(t)$?

Tác giả áp dụng biến đổi Fourier - Carleman cho phương trình $\frac{d}{dt}Dx_t = Lx_t + f(t)$ bằng cách tích phân từng phần và đổi biến tích phân $\xi = t + \theta$. Kết quả thu được phương trình toán tử đại số: $$\Lambda(\lambda)\hat{x}(\lambda) = \psi(\lambda) + \hat{f}(\lambda)$$ trong đó $\psi(\lambda)$ là hàm giải tích trên toàn bộ $\mathbb{C}$. Do tính khả nghịch của $\Lambda(\lambda)$ trên tập giải $\rho(D, L)$, điểm kỳ dị của $\hat{x}(\lambda)$ (tức phổ của $x$) chỉ có thể xuất hiện tại các điểm mà $\det \Lambda(i\xi) = 0$ hoặc tại các điểm kỳ dị của $\hat{f}(\lambda)$ (phổ của $f$), từ đó dẫn đến bao hàm thức $Sp(x) \subset \sigma_i(\Lambda) \cup Sp(f)$.

3. Toán tử ôtônôm đóng vai trò gì trong việc khắc phục khó khăn của phương trình trung tính?

Đối với phương trình vi phân hàm trung tính, bài toán Cauchy nói chung không giải được bằng nửa nhóm tiến hóa thông thường trên không gian pha. Tác giả khắc phục điều này bằng cách chuyển toàn bộ bài toán lên không gian hàm $BUC(\mathbb{R}, \mathbb{C}^n)$ và sử dụng khái niệm toán tử ôtônôm (toán tử tuyến tính giới nội giao hoán với nhóm dịch chuyển thời gian $S(\tau)$). Vì các toán tử $u \mapsto Lu_t$ và $u \mapsto \frac{d}{dt}Du_t$ đều là toán tử ôtônôm, chúng bảo toàn cấu trúc phổ và giao hoán với phép chiếu phổ Riesz, cho phép phân rã không gian hàm mà không cần giải bài toán Cauchy trên không gian pha.

4. Khái niệm "phương trình không cộng hưởng mạnh" được định nghĩa và xử lý như thế nào khi $\sigma_i(\Lambda)$ không giới nội?

Khi $\sigma_i(\Lambda)$ không giới nội (chẳng hạn trường hợp $D\phi = \phi(0) - \phi(-1)$ có vô hạn nghiệm $\lambda_k = 2k\pi i$), không thể tách phổ bằng các hình cầu bị chặn trong $\mathbb{R}$. Tác giả chuyển phổ lên đường tròn đơn vị $\mathbb{T}$ trong mặt phẳng phức và định nghĩa phương trình là không cộng hưởng mạnh nếu tồn tại hai tập con đóng rời nhau $\Gamma_1, \Gamma_2 \subset \mathbb{T}$ sao cho phổ của phương trình thuần nhất $\sigma_F \subset \Gamma_1$ và phổ $\sigma(f) \subset \Gamma_2$. Khi đó, phép chiếu phổ $Q$ tương ứng với $\Gamma_2$ sẽ giao hoán với các toán tử $D$ và $L$, cho phép trích xuất nghiệm giới nội liên tục đều thỏa mãn cùng phương trình.

5. Tiêu chuẩn nào đảm bảo một hàm giới nội liên tục đều $u \in BUC(\mathbb{R}, X)$ là hàm hầu tuần hoàn?

Theo định lý Kadets - Loomis được luận án trình bày ở Chương 1, hàm $u \in BUC(\mathbb{R}, X)$ là hàm hầu tuần hoàn nếu thỏa mãn hai điều kiện: phổ Beurling $Sp(u)$ là tập đếm được, và không gian Banach $X$ không chứa không gian con nào đẳng cấu với không gian $c_0$ (không gian các dãy số hội tụ về 0), hoặc miền giá trị của $u$ là compact tương đối yếu.

Kết luận

Luận án tiến sĩ đã giải quyết bài toán định tính về dáng điệu tiệm cận, nghiệm giới nội, nghiệm hầu tuần hoàn và nghiệm tựa tuần hoàn của phương trình vi phân hàm dạng trung tính và phương trình sai phân trễ rời rạc tương ứng. Bằng việc xây dựng thành công kỹ thuật phân rã phổ thông qua toán tử ôtônôm trên các không gian hàm thích hợp, tác giả đã khắc phục được trở ngại khi bài toán Cauchy không giải được và thiết lập các định lý dạng Massera cho cả hai trường hợp phổ ảo giới nội và không cộng hưởng mạnh. Các kết quả đạt được tạo nên một khung phân tích giải tích điều hòa chặt chẽ cho lý thuyết định tính của phương trình vi phân hàm trung tính và hệ tiến hóa gắn với $C$-nửa nhóm.