Nghiên cứu khoa học về phương trình parbonlic: Đa tạp quán tính và rút gọn hữu hạn chiều

Nghiên cứu về phương trình parbonlic đã trở thành một lĩnh vực quan trọng trong toán học ứng dụng, đặc biệt trong… 63 trang · Trường Đại học Hải Phòng · 2021.

• Tác giả: TS. Bùi Xuân Quang
• Trường học: Trường Đại học Hải Phòng
• Chuyên ngành: Khoa Toán và Khoa học tự nhiên
• Đề tài: Đa Tạp Quán Tính Và Rút Gọn Hữu Hạn Chiều Đối Với Phương Trình Parabolic
• Loại tài liệu: báo cáo tổng kết đề tài nghiên cứu khoa học
• Năm xuất bản: 2021
• Địa điểm: Hải Phòng

Mục lục chi tiết

• MỞ ĐẦU
• 0.1. Tổng quan về tình hình nghiên cứu
• 0.2. Tính cấp thiết của đề tài
• 0.3. Mục tiêu của đề tài
• 0.4. Cách tiếp cận và phương pháp nghiên cứu
• 0.5. Đối tượng và phạm vi nghiên cứu
• 0.6. Nội dung nghiên cứu
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Nửa nhóm toán tử
• 1.1.1. Toán tử tuyến tính
• 1.1.2. Toán tử xác định dương có phổ rời rạc
• 1.1.3. Toán tử quạt và nửa nhóm giải tích
• 1.1.4. Không gian hàm chấp nhận được
• 2. CHƯƠNG 2: SỰ TỒN TẠI VÀ TÍNH CHÍNH QUY CỦA ĐA TẠP QUÁN TÍNH CHẤP NHẬN ĐƯỢC ĐỐI VỚI MỘT LỚP PHƯƠNG TRÌNH PARABOLIC CHỨA TOÁN TỬ QUẠT
• 2.1. Đặt bài toán
• 2.1.1. Phương trình Lyapunov-Perron xác định đa tạp quán tính chấp nhận được
• 2.1.2. Xây dựng đa tạp bất biến chấp nhận được
• 2.1.3. Tính chất tiệm cận mũ đầy đủ
• 2.2. Tính chính quy của đa tạp quán tính chấp nhận được
• 2.3. Áp dụng vào mô hình thú-mồi với khuếch tán chéo
• KẾT LUẬN VÀ KIẾN NGHỊ
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng quan về tình hình nghiên cứu

Nghiên cứu về phương trình parbonlic đã trở thành một lĩnh vực quan trọng trong toán học ứng dụng, đặc biệt trong các mô hình sinh thái và vật lý. Các phương trình này thường mô tả các hiện tượng như khuếch tán và lan truyền dịch bệnh. Đặc biệt, sự tồn tại của đa tạp quán tính đã được chứng minh cho nhiều lớp phương trình tiến hóa, cho phép áp dụng nguyên lý rút gọn để nghiên cứu dáng điệu tiệm cận của nghiệm. Các nghiên cứu trước đây đã chỉ ra rằng đa tạp quán tính có tính chất hút cấp mũ toàn cục các nghiệm của phương trình parbonlic. Điều này cho thấy tầm quan trọng của việc nghiên cứu sự tồn tại và tính chính quy của đa tạp quán tính trong các phương trình này.

1.1. Tình hình nghiên cứu hiện tại

Nhiều nghiên cứu đã chỉ ra rằng phương trình parbonlic có thể được mở rộng cho các lớp phương trình phức tạp hơn, bao gồm các phương trình có trễ và các toán tử quạt. Các kết quả gần đây cho thấy rằng sự tồn tại của đa tạp quán tính có thể được chứng minh thông qua các phương pháp phân tích hàm hiện đại. Điều này mở ra hướng nghiên cứu mới cho các ứng dụng trong lĩnh vực học sâu và khai phá dữ liệu. Các nghiên cứu này không chỉ giúp hiểu rõ hơn về phương trình parbonlic mà còn cung cấp các công cụ hữu ích cho các nhà khoa học trong việc giải quyết các bài toán thực tiễn.

II. Tính cấp thiết của đề tài

Đề tài này tập trung vào việc nghiên cứu phương trình parbonlic nửa tuyến tính không ôtônôm, trong đó đa tạp quán tính đóng vai trò quan trọng trong việc mô tả các hiện tượng sinh thái. Mô hình thú-mồi với khuếch tán chéo là một ví dụ điển hình cho việc áp dụng lý thuyết này. Việc nghiên cứu sự tồn tại của đa tạp quán tính chấp nhận được không chỉ giúp giải quyết các bài toán lý thuyết mà còn có thể áp dụng vào thực tiễn, như trong việc mô phỏng các hệ sinh thái phức tạp. Kết quả nghiên cứu sẽ cung cấp cái nhìn sâu sắc về tính chất tiệm cận của các nghiệm, từ đó mở rộng khả năng ứng dụng trong các lĩnh vực khác nhau.

2.1. Động lực nghiên cứu

Động lực chính của nghiên cứu này xuất phát từ nhu cầu hiểu rõ hơn về các phương trình mô tả sự tương tác giữa các loài trong sinh thái. Các phương trình này không chỉ đơn thuần là các công thức toán học mà còn phản ánh các quy luật tự nhiên. Việc chứng minh sự tồn tại của đa tạp quán tính chấp nhận được sẽ giúp các nhà nghiên cứu có thêm công cụ để phân tích và dự đoán hành vi của các hệ thống phức tạp, từ đó có thể đưa ra các giải pháp hiệu quả hơn trong quản lý và bảo tồn tài nguyên thiên nhiên.

III. Mục tiêu của đề tài

Mục tiêu chính của đề tài là nghiên cứu sự tồn tại và tính C1-chính quy của đa tạp quán tính chấp nhận được đối với phương trình parbonlic nửa tuyến tính không ôtônôm. Điều này bao gồm việc xác định các điều kiện cần thiết để đảm bảo rằng các nghiệm của phương trình này có thể được mô tả bằng các đa tạp quán tính. Kết quả nghiên cứu sẽ không chỉ mở rộng lý thuyết hiện có mà còn cung cấp các ứng dụng thực tiễn trong các lĩnh vực như sinh thái học và vật lý. Việc đạt được các mục tiêu này sẽ góp phần nâng cao hiểu biết về các phương trình tiến hóa và hệ động lực vô hạn chiều.

3.1. Các mục tiêu cụ thể

Các mục tiêu cụ thể bao gồm: (1) Nghiên cứu sự tồn tại của đa tạp quán tính chấp nhận được cho các phương trình parbonlic nửa tuyến tính; (2) Phân tích tính C1-chính quy của các đa tạp quán tính này; (3) Áp dụng các kết quả lý thuyết vào các mô hình thực tiễn để kiểm tra tính chính xác và khả năng ứng dụng của chúng. Những mục tiêu này sẽ được thực hiện thông qua việc áp dụng các phương pháp hiện đại trong giải tích hàm và lý thuyết phổ.

Nội dung chính

Phân Tích Đề Tài Nghiên Cứu: Đa Tạp Quán Tính Và Rút Gọn Hữu Hạn Chiều Đối Với Phương Trình Parabolic

---

Tóm tắt nghiên cứu

Nghiên cứu của TS. Bùi Xuân Quang (Trường Đại học Hải Phòng) cùng cộng sự tập trung giải quyết bài toán cốt lõi trong lý thuyết hệ động lực vô hạn chiều: Sự tồn tại và tính chính quy $C^1$ của đa tạp quán tính chấp nhận được đối với phương trình parabolic nửa tuyến tính không tự trị (non-autonomous) chứa toán tử quạt (sectorial operator) trong không gian Banach tổng quát.

• Câu hỏi nghiên cứu chính: Liệu có thể xây dựng một đa tạp quán tính chấp nhận được $\mathbb{E}$-lớp và chứng minh tính khả vi liên tục $C^1$ của nó khi toán tử tuyến tính không tự liên hợp, không tác động trên không gian Hilbert và phần phi tuyến có hệ số Lipschitz phụ thuộc thời gian thuộc một không gian hàm chấp nhận được?
• Phương pháp luận (Methodology snapshot): Nghiên cứu phối hợp giải tích hàm hiện đại, phép tính phiếm hàm Dunford, phép chiếu phổ Riesz, các đánh giá nhị phân của nửa nhóm giải tích, và phương pháp tích phân Lyapunov-Perron trên các không gian Banach có trọng.
• Phát hiện chính: Xác lập điều kiện kẽ hở phổ đủ để chứng minh sự tồn tại duy nhất của đa tạp quán tính chấp nhận được, khẳng định tính chất hút cấp mũ toàn cục (exponential tracking), và lần đầu tiên chứng minh thành công tính chính quy $C^1$ thỏa mãn phương trình vi phân dạng Sacker.
• Ý nghĩa khoa học: Kết quả mở đường cho việc áp dụng nguyên lý rút gọn hữu hạn chiều đối với các phương trình đạo hàm riêng (PDEs) phức tạp, tiêu biểu là mô hình sinh thái thú - mồi có khuếch tán chéo.

---

Bối cảnh và tầm quan trọng

Hiện trạng nghiên cứu (Current state of knowledge)

Trong nghiên cứu các hiện tượng tự nhiên như động học chất lưu, phản ứng - khuếch tán hóa học hay động lực học quần thể sinh thái, các hệ thống thường được mô tả bằng phương trình vi phân đạo hàm riêng tiến hóa trong không gian trạng thái vô hạn chiều. Khái niệm đa tạp quán tính (Inertial Manifold - IM), được giới thiệu lần đầu bởi Foias, Sell và Temam (1988), đóng vai trò là một đa tạp hữu hạn chiều, trơn, bất biến dương và có khả năng hút cấp mũ mọi quỹ đạo nghiệm. Đa tạp này cho phép quy giảm việc phân tích hành vi tiệm cận dài hạn của một PDE vô hạn chiều về một hệ phương trình vi phân thường (ODE) hữu hạn chiều.

Khoảng trống nghiên cứu (Research gap)

Hầu hết các công trình kinh điển chỉ khảo sát phương trình parabolic tự trị trên không gian Hilbert với toán tử tuyến tính tự liên hợp có giải thức compact. Khi mở rộng sang hệ không tự trị với hệ số Lipschitz biến thiên theo thời gian (thuộc các không gian hàm chấp nhận được $\mathbb{E}$ như Lebesgue $L_p$, Lorentz hay các không gian nội suy), việc thiếu vắng phép chiếu trực giao và tính tự liên hợp tạo ra thách thức toán học to lớn. Hơn nữa, các công trình trước đây của Nguyen (2010) hay Le (2013, 2015) mới chỉ dừng lại ở việc chứng minh sự tồn tại mà chưa làm rõ tính chính quy ($C^1$-smoothness) của đa tạp quán tính chấp nhận được.

Tính thời sự và tác động

Đề tài đáp ứng nhu cầu cấp thiết về mặt lý thuyết giải tích phi tuyến và mở ra hướng tiếp cận chặt chẽ để mô phỏng, tính toán số cho các mô hình sinh học phi tuyến thực tế (như mô hình thú - mồi với khuếch tán chéo, mô hình dịch bệnh SEIR), đồng thời kết nối mật thiết với các xu hướng hiện đại như học sâu (Deep Learning) trên các đa tạp quán tính.

---

Methodology và approach

Thiết kế nghiên cứu (Research Design)

Nghiên cứu thiết lập bài toán Cauchy trừu tượng trên không gian Banach $X$: $$\frac{dx(t)}{dt} + Ax(t) = f(t, x(t)), \quad t > s, \quad x(s) = x_s \in X_\alpha$$ trong đó $-A$ là toán tử quạt kiểu $(\theta, \omega)$ sinh ra nửa nhóm giải tích $(e^{-tA}){t \ge 0}$, $X\alpha = \mathcal{D}(A^\alpha)$ với $0 < \alpha < 1$ là không gian lũy thừa phân thứ, và $f(t, x)$ là ánh xạ phi tuyến thỏa mãn điều kiện $\gamma$-Lipschitz với hàm trọng $\gamma(t)$ thuộc không gian hàm chấp nhận được $\mathbb{E}$.

Kỹ thuật phân tích và tính toán (Analysis techniques)

1. Phân tích phổ và Đánh giá nhị phân: Sử dụng giả thiết kẽ hở phổ $\sigma(-A) = \sigma_u(-A) \cup \sigma_s(-A)$ với $\omega_u < \kappa < \mu < \omega_s < 0$. Do phép chiếu Riesz $P$ không trực giao, tác giả xây dựng các đánh giá nhị phân cải biên trên nửa nhóm giải tích: $$|e^{-tA} P| \le M e^{\kappa t} \quad (t \in \mathbb{R}), \qquad |A^\alpha e^{-tA} Q| \le N e^{\mu t} t^{-\alpha} \quad (t > 0)$$
2. Kỹ thuật Không gian hàm chấp nhận được: Vận dụng không gian liên kết $\mathbb{E}'$ và tính chất hàm $\mathbb{E}$-bất biến $\alpha$-mũ $\varrho \in \mathbb{E}'$ kết hợp bất đẳng thức Hölder tổng quát: $$\int_{\mathbb{R}} |\varphi(t) \psi(t)| dt \le |\varphi|{\mathbb{E}'} |\psi|{\mathbb{E}}$$
3. Phương trình tích phân Lyapunov-Perron: Biểu diễn nghiệm đủ tốt (mild solution) dưới dạng toán tử tích phân hình thức trên không gian Banach có trọng $\mathbb{E}{t_0}^\gamma$: $$(\mathcal{T}x)(t) = e^{-(t-t_0)A} y + \int{-\infty}^{t_0} G(t, \tau) f(\tau, x(\tau)) d\tau$$ với $G(t, \tau)$ là hàm Green liên kết. Sử dụng Nguyên lý ánh xạ co Banach để xác lập sự tồn tại của điểm bất động duy nhất.
4. Kỹ thuật Cắt bỏ (Cut-off procedure): Áp dụng hàm cắt $\chi_R$ để mở rộng kết quả từ điều kiện $\gamma$-Lipschitz địa phương sang toàn cục trên hình cầu $B_R$.

---

Phát hiện chính

1. Sự tồn tại duy nhất của Đa tạp quán tính $\mathbb{E}$-lớp

Nghiên cứu chứng minh rằng khi điều kiện kẽ hở phổ và hệ số co thỏa mãn $\max{|k(\cdot)|{\mathcal{E}}, m} < 1$, tồn tại một họ đa tạp Lipschitz $\mathcal{M} = {\mathcal{M}t}{t \in \mathbb{R}}$ là đồ thị của ánh xạ Lipschitz $\Phi_t: PX \to QX\alpha$: $$\mathcal{M}_t = {y + \Phi_t(y) : y \in PX}$$ Hằng số Lipschitz của $\Phi_t$ hoàn toàn độc lập với tham số thời gian $t$.

2. Tính chất Tiệm cận mũ đầy đủ (Global Exponential Tracking)

Mọi nghiệm $u(t)$ của phương trình parabolic đều bị hút về đa tạp quán tính theo quy luật phân rã hàm mũ: $$\text{dist}{X\alpha}(u(t), \mathcal{M}_t) \le H e^{\mu(t-s)}, \quad \forall t \ge s$$ với $H = \frac{M n}{1 - m}$, xác nhận rằng mọi động thái tiệm cận dài hạn của hệ đều được phản ánh trọn vẹn trên đa tạp $\mathcal{M}$.

3. Đột phá về Tính chính quy $C^1$ của Đa tạp quán tính

Khi phần phi tuyến $f(t, \cdot) \in C^1(X_\alpha, X)$, nghiên cứu đã chứng minh thành công đa tạp $\mathcal{M}$ thuộc lớp $C^1$. Ánh xạ vi phân thỏa mãn phương trình hàm vi phân dạng Sacker: $$D\Phi_t(y) \left( -Ay + Pf(t, y + \Phi_t(y)) + A\Phi_t(y) \right) = Qf(t, y + \Phi_t(y))$$ Đây là kết quả đầu tiên công bố tính chính quy $C^1$ đối với lớp đa tạp quán tính chấp nhận được, khắc phục hạn chế lớn của các công trình trước đó.

4. Ứng dụng cụ thể trên Mô hình Sinh thái Thú - Mồi

Nghiên cứu chuyển hóa thành công hệ phương trình phản ứng - khuếch tán thú - mồi với khuếch tán chéo: $$\begin{cases} \partial_t u = D_1 \Delta u + r(t)u\left(1 - \frac{u}{K}\right) - a(t)uv \ \partial_t v = D_2 \Delta v - dv + c(t)uv \end{cases}$$ về dạng toán tử parabolic trừu tượng với toán tử quạt $-A$ thỏa mãn kẽ hở phổ, chứng minh sự tồn tại của đa tạp quán tính chấp nhận được bao quanh quỹ đạo tuần hoàn của hệ sinh thái.

---

Đóng góp khoa học

Phương diện	Nội dung đóng góp cụ thể
Đóng góp Lý thuyết	• Mở rộng định lý tồn tại đa tạp quán tính từ không gian Hilbert sang không gian Banach tổng quát. • Giải quyết bài toán toán tử tuyến tính không tự liên hợp bằng nửa nhóm giải tích sinh bởi toán tử quạt. • Xác lập điều kiện khả vi $C^1$ cho đa tạp trong không gian hàm chấp nhận được.
Đổi mới Phương pháp	• Kết hợp linh hoạt giữa phép chiếu phổ Riesz, hàm Green và đánh giá nhị phân cải biên. • Xây dựng không gian nghiệm Banach có trọng $\mathbb{E}_{t_0}^\gamma$ dựa trên lý thuyết không gian hàm Massera-Schäffer.
Giá trị Ứng dụng	• Cung cấp cơ sở toán học vững chắc để rút gọn các mô hình phi tuyến vô hạn chiều trong sinh thái học, dịch tễ học và cơ học chất lưu về hệ phương trình vi phân thường dễ giải số.
Đào tạo & Hợp tác	• Công bố bài báo quốc tế chất lượng cao (Nguyen Thieu Huy & Bui Xuan-Quang, 2021). • Hướng dẫn thành công khóa luận tốt nghiệp đại học về giải phương trình vi phân bằng Maple và mô hình toán SEIR cho dịch bệnh.

---

Đối tượng quan tâm

• Nhà toán học giải tích & Hệ động lực: Kế thừa bộ công cụ ước lượng giải tích đối với toán tử quạt và không gian hàm chấp nhận được để nghiên cứu các bài toán parabolic có trễ, phương trình hyperbolic hoặc phương trình chứa xung.
• Kỹ sư mô phỏng & Nhà khoa học ứng dụng: Sử dụng nguyên lý rút gọn hữu hạn chiều để phát triển các thuật toán mô phỏng số hiệu năng cao, giảm chi phí tính toán khi phân tích các hệ thống phản ứng - khuếch tán phức tạp.
• Cộng đồng Machine Learning / AI: Ứng dụng cấu trúc đa tạp quán tính trong việc thiết kế các mô hình học sâu rút gọn chiều dữ liệu (manifold learning) và mạng nơ-ron vật lý (Physics-Informed Neural Networks - PINNs).

---

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

1. Điểm cốt lõi khác biệt giữa đa tạp quán tính cổ điển và đa tạp quán tính chấp nhận được $\mathbb{E}$-lớp là gì?

Đa tạp quán tính cổ điển chủ yếu xét các nghiệm bị chặn trên nửa trục âm ($L_\infty$). Trong khi đó, đa tạp $\mathbb{E}$-lớp được cấu thành bởi quỹ đạo nghiệm thuộc một không gian hàm Banach chấp nhận được $\mathbb{E}$ tổng quát (như không gian Lebesgue $L_p$, Lorentz), cho phép hệ số Lipschitz biến thiên theo thời gian thay vì bắt buộc phải là hằng số đều.

2. Tại sao nghiên cứu lại sử dụng toán tử quạt (sectorial operator) thay vì toán tử tự liên hợp?

Toán tử tự liên hợp chỉ tồn tại trong không gian Hilbert và có cấu trúc trực giao đặc biệt. Trong nhiều bài toán thực tế (như mô hình khuếch tán chéo), toán tử vi phân tuyến tính không tự liên hợp và chỉ có thể được mô tả dưới dạng toán tử quạt sinh nửa nhóm giải tích trong không gian Banach.

3. Tính chính quy $C^1$ của đa tạp mang lại lợi ích gì cho việc tính toán thực tế?

Khi đa tạp đạt tính chính quy $C^1$, trường vector hạn chế trên đa tạp là trơn ($C^1$). Điều này đảm bảo hệ phương trình vi phân thường rút gọn là khả vi, cho phép áp dụng các phương pháp số tiêu chuẩn (như Runge-Kutta, phân tích phân nhánh bifurcation) một cách ổn định và chính xác.

4. Kết quả này có áp dụng được cho phương trình parabolic có trễ hoặc có xung không?

Có. Phương pháp tiếp cận thông qua phương trình tích phân Lyapunov-Perron và không gian hàm chấp nhận được hoàn toàn có khả năng mở rộng cho các phương trình tiến hóa có trễ hữu hạn, trễ vô hạn hoặc phương trình có xung không tức thời.

5. Tại sao cần sử dụng kỹ thuật cắt bỏ (Cut-off procedure)?

Trong hầu hết các hệ phi tuyến thực tế, tính chất Lipschitz chỉ thỏa mãn cục bộ trong một lân cận hữu hạn $B_R$. Kỹ thuật cắt bỏ giúp làm trơn và biến đổi phi tuyến cục bộ thành phi tuyến Lipschitz toàn cục mà không làm thay đổi nghiệm thực tế của hệ bên trong miền khảo sát $B_R$.

---

Kết luận

Đề tài nghiên cứu khoa học của TS. Bùi Xuân Quang đã giải quyết trọn vẹn và tường minh bài toán tồn tại cũng như tính chính quy $C^1$ của đa tạp quán tính chấp nhận được đối với phương trình parabolic chứa toán tử quạt. Những đóng góp này không chỉ làm phong phú thêm kho tàng lý thuyết hệ động lực vô hạn chiều mà còn thiết lập cầu nối phương pháp luận vững chắc cho các bài toán mô hình hóa sinh thái và vật lý hiện đại.

Các hướng nghiên cứu tiếp theo hứa hẹn bao gồm việc khảo sát đa tạp quán tính xung quanh các quỹ đạo tuần hoàn và tích hợp lý thuyết đa tạp quán tính vào các thuật toán học máy tối tân. Quý độc giả, nhà khoa học và nghiên cứu sinh quan tâm có thể kết nối và trao đổi học thuật thông qua nhóm nghiên cứu chuyên đề tại Trường Đại học Hải Phòng và Trường Đại học Bách Khoa Hà Nội.

Trích đoạn nội dung tài liệu

CHƯƠNG 1 KIÊN THỨC CHUẨN BỊ Trong chương này chúng tôi trình bày một số kiến thức chuẩn bị cho đề tài nghiên cứu, bao gồm toán tử quạt, nửa nhóm giải tích và không gian hàm chấp nhận được trên đường thắng thực.1 Nửa nhóm toán tử Trong mục này chúng tôi sẽ trình bày những khái niệm cơ sở nhất về nửa nhóm các toán tử tuyến tính và toán tử sinh của chúng. Tài liệu tham khảo chính của chúng tôi là Engel & Nagel [13]. Trên hết, ta sẽ trình bày định nghĩa của một nửa nhóm toán tử. Giả sử X là một không gian Banach.

Họ các toán tử tuyến tính bị chặn (T(t) so trên không gian X được gọi là một nửa nhớm liên tục mmạnh (hoặc Co-nita nhém) néu (1) 70) =7 (với 7 là toán tử đồng nhất); (2) Tứ +s) =7()T(s) với moi t, s > 0; (3) lim 7(£)z = 7(0)+ với mọi z € X. Giả sử (T(t) so là một nửa nhóm liên tục mạnh trên không gian Banach X. Toán tử tuyến tính A4: D(1) C X — X được xác định bởi 7(4) := ( eX: lim Tự) —z tồn tại trong x} , t>0† t Ax := lim Tự) —z aa x € D(A) t 0T được gọi là đoán tử sinh của nửa nhóm (T(f)),- ụ. 14 Nếu A là toán tử sinh của nửa nhóm (T(t)),., thi ta còn nói (7(f)),„ là tra nhóm sinh bởi A.

Một nửa nhóm như vậy, thay vì được ký hiệu là (70) xe ` :Át Tà tA người ta còn việt là (e disor Sau đây chúng tôi sẽ trình bày về tính hyperbolic của một nửa nhóm va tập trung vào một phần rất quan trọng là Định lí Ánh xạ phổ. Nửa nhóm liên tục mạnh (T(t) 50 dude goi 1A cé nhi phan mii hoac hyperbolic néu X có thể viết thành tổng trực tiếp X = X; @ Xụ của hai không gian con đóng, (70)),„.„-bắt biến X; và Xụ trên X,, va (1:)),>o trên Xu thỏa trên không gian Banach X sao cho các nửa nhóm hạn chế (Ts(t)) 0 man (1) Nửa nhóm (7;(f)),. ổn định mũ đều trên Xs. c>u ÔN định mũ Định nghĩa 1.

Nửa nhóm liên tục mạnh (e2) được gọi là thỏa mãn Định t>0 lí Ánh zạ phổ nêu ø (2) \ {0} =4) với mọi £ > 0.1) Ky hiéuT := {z €C: |z| = 1} là đường tròn đơn vị trên mặt phẳng phức C. Gia sw A la toán tử sinh của nửa nhóm liên tục mạnh (sa: Giả sử phổ ø(A) tà ø (e!#) thỏa mãn Ø (e2) cT.ez® ;= {ze :A€(4), |z| < 1} — uới mọi t > 0. Khi đó các phát biểu sau đâu là tương đương: (1) Nửa nhóm (e!2),u là hyperbolic. >0 (2) o (e'4) AT = Ø tới một/mọi t > 0.

Kết thúc mục này, chúng tôi liệt kê hai kết quả bổ trợ về nhiễu của nửa nhóm và đáng điệu của phổ và giải thức của một toán tử tuyến tính dưới tác động của nhiễu nhỏ. Kết quả này sẽ được dùng trong Chương [2| khi nghiên cứu một toán tử tuyến tính trong một mô hình thú-mồi.6 (Dinh li Nhiéu bị chặn, xem [13| Chapter IH, 1. Giá sử A là toán tử sinh của nủa nhóm liên tục manh (e2) trên một không gian Banach ¿>0 X thỏa mãn \|e’4|| < Me” vdi moit > 0, vdiw € R va M > 1 nào đó. Nếu BEL(X) thi C:=B+A uới D(C) := D(A) sinh ra một nita nhém liên tục mạnh (S(t) so thoa man |S(t)|| < Me@ MIF Udi moi t > 0.

Gia sti V là một không gian Banach, A € %(V) tà GŒ là một tập mở phủ tập phổ ø(A). Khi đó, tồn tại một ð-lân cận U;(A) của A sao cho øơ(X) C G tới mợi X € U(A). Hơn nữa, uới mỗi e > 0, tồn tại ð sao cho ||R(A,X) — RA, A)|| < e uới X € Uạ(A) va ^£G.2 Toán tử tuyến tính 1.1 Toán tử xác định dương có phổ rời rạc Giả sử X là một không gian Hilbert tách được với tích vô hướng (-,:) và chuẩn || - ||. Cho 4 là một toán tử tuyến tính tự liên hợp xác định dương với miền xác định D(A) Cc X.

Toán tử A được gọi là có phổ rời rạc nêu trong không gian X tồn tại một cơ sở trực chuẩn {ex} gồm các vector riêng của A, (e, €;) = kis Aer = Àk©y VỚI k, j = 1, 2, aoe sao cho k-00 Từ đây, ta có thể định nghĩa các không gian luỹ thừa và toán tử tuyến tính như sau: D(A) = {" = »-- EX: So pare < ~) , k=1 k=1 16 CO CO Au = › crrger, trong dé u = › Chek. k=1 k=1 Để trình bày về sự tồn tại của các đa tạp quán tính chấp nhận được đối với phương trình tiến hóa trong một không gian Hilbert, các toán tử tuyến tính cần thỏa mãn giả thiết GIA THIET A. Cho X la một không gian Hilbert tách được va giả sử A là một toán tử tuyến tính đóng trên X. Giả sử A là một toán tủ tự liên hợp uới phổ rời rac trong X thỏa mãn 0 <Ài <XÀ¿<.

trong đó mỗi À¡ có bội hữu hạn, oà (1.3) k-00 Cho A la một toán tử tuyến tính thỏa mãn GIẢ THIET |A} Gia sit fe, }, 1a một cơ sở trực chuẩn trong X tương ứng với các giá trị riêng của toán tử A, nghĩa là Ae„ = Àzey. Giả sử À„ và A„+¡ là hai giá trị riêng liên tiếp khác nhau và thỏa mãn À„ < À„+i. Gọi P = P, là phép chiếu trực giao lên không gian vector con span{e,ea,.,e„} sinh ra bởi + vector riêng đầu tiên của toán tử A. Với 6 > 0 #aø có các đánh giá nhị phân lc “+P||< Me, +eR sà M >1, (1.4) | A°e 4 Pl] < AB Me", +eR, (1.2 Toán tử quạt và nửa nhóm giải tích Mục đích ngắn gọn của mục này là chúng tôi sẽ trình bày thật đơn giản về toán tử quạt và nửa nhóm giải tích sinh bởi một toán tử quạt.

Chúng tôi viết phần này dựa vào tài liệu tham khảo Lunardi [T8|. Đầu tiên, ta sẽ định nghĩa một toán tử tuyến tính là toán tử quạt như sau. Giả sử X là một không gian Banach. Một toán tử tuyến tính B: X D D(B) > X được gọi là một toán tử quạt kiểu (ø,do) nếu nó thỏa mãn các điều kiện sau đây: 17 (1) là toán tử tuyến tính đóng và có tập xác định trù mật; (2) Tồn tại các số thực œ €lR, ø € (0, 5) va M > 1 sao cho P(B) D Sot := {z<C: |arg(z — œ)| <ø+s, z@} (1.

Bl < với mọi À € S42.9) Những nghiên cứu hệ thống về toán tử quạt và những áp dụng của chúng vào phương trình đạo hàm riêng có thể tìm thấy trong các sách chuyên khảo 6) (13) [T8) [37] (35). O đây, toán tử quạt được định nghĩa như trong Lunardi [T8} (xem thém Engel & Nagel [13]). Cha ¥ rang, dinh nghia toán tử quạt trong 6) [35] khac véi dinh nghia trong Lunardi [18]. Theo đó, toan tit B duce goi la toán tử quạt theo nghĩa trong [6| [35| nếu toán tử — là toán tử quạt theo định nghĩa này.

Trở lại với toán tử quạt, sau đây là một số nhận xét liên quan đến nó mà mục đích chính là để dẫn đến khái niệm nửa nhóm giải tích, là một nửa nhóm toán tử sinh bởi một toán tử quạt. Với mọi £ > 0, điều kiện của Định nghĩa cho phép xác định xác định một toán tử tuyến tính giới nội eP trên X. 6), với :=ø+5, giả sử +;„ là đường cong {1ÀA€C: |argAl| =n, |ÀA| >r}U{AeC: larga] <n, |A] =r} định hướng ngược chiều kim đồng hồ. Đặt 1 tB tr en = RA, B)dA, t>0.10 ff eR B)AA (1.11) thì ta có bổ đề quan trọng sau: Bổ đề 1.

Nếu Ð là toán tử quạt thì tích phân (1.10) la hoan toàn xác định, độc lập uới r > 0 oà ị € (5. 18 Giả sử là một toán tử quạt. Ánh xạ 7: [0,oe) => #(X), £ + e*? được gọi là nửa nhóm giải tích sinh bởi toán tử B trong không gian Banach X. Trong đề tài nghiên cứu này, khi chứng minh sự tồn tại của đa tạp quán tính, ta sẽ sử dụng một lớp cụ thể các toán tử quạt và giả thiết như sau đây: GIA THIET B.

Gid siz A la một loán tử tuyến tính đóng trên một không gian Banach X thỏa mãn —A là toán tử quạt kiểu (ơ,t0) tới ø € (0, 3) 0à œ < 0. Giả sử rằng phổ øơ(—A) thỏa mãn điều kiện phân rã phổ ơ(—4) =øơ„(—A)Uø¿(—A)CC_ VOL Wy < We <w <0, trong do œ„ = sup{RerA: A € o,(—A)}, w.12) va o-(—A) la tap hop compact. Dưới với toán tử tuyến tính A thỏa mãn GIẢ THIẾT [B|ta có thể chọn các số K va pt thoa man Wy <K<p<w, <0.13) Gọi P là phép chiếu phổ (được goila phép chiéu Riesz) lien quan dén o,(—A), xác định bởi 1 Ori P [Ro —A)dr (1.14) er trong đó £* là một đường cong chính quy đóng chứa trong ø(—4), bao quanh phần phổ ø¿(—4) và định hướng ngược chiều kim đồng hồ. Với P như vậy, ta kí hiệu Q= ï— P.

Như đã biết, toán tử quạt —A sinh ra một nửa nhóm giải tích (xem, chẳng han, [13] [18] [31]). Ki hiéu nửa nhóm giải tích này là (e4) toán tử e4 giao hoán với toán tử chiếu P với mọi £ > 0. t>u: Dã thây răng, Do hạn chế của toán tử —A lên không gian anh PX là một toán tử giới nội, ~ F —‡A -tA nên hạn chê (e P) 50 );>ø toàn đường thắng ïR. Do đó, ta có một nhóm (e 4P) của nửa nhóm (e lên PX có thể mở rộng lên t£ecR' Lũy thừa bậc phân số và đánh giá nhị phân Do (œ,o©) C ø(—4) với œ < 0, ta có (—oo,0] C (—00, —w) C p(A).

Ngoai ra, M —À— || RO, A)|| = || — R(-A, -A) |] S 19 với mọi A < —œ (do đó, với mọi À < 0). Vì vậy, toán tử A là dương theo nghĩa của Arendt e£ ai. Vì thế, với Ø > 0, có thể xác định toán tử 1 A-9 0—1_—tA = — Ịt dt, T(9) | ee 0 với Ï' là hàm Gamma. Lũu thừa bậc phân số của toán tử A có thể được xác định bởi A?:=(A?Ƒ! void > 0.15) Như thường lệ, quy ước A° = 7 (toán tử đồng nhất) cho trường hợp 6 = 0.

Ngoài ra, kí hiệu X¿ := D(A®) được trang bị chuẩn llzllx, := l|A“z|| với mọi z€ X¿ và 0< 0 <1. Các nghiên cứu chỉ tiết về lũy thừa bậc phân số có thể tìm trong [I8| 31 [35]. Bây giờ, ta sẽ phát biểu và chứng minh một số tính chất, được gọi là đánh giá nhị phân của nửa nhóm giải tích (4) so: Mệnh dé 1.12 (xem Nguyen & Bui [27| Proposition 2.