I. Tổng quan phương trình tiến hoá không địa phương và ý nghĩa
Lĩnh vực phương trình vi phân đã chứng kiến sự phát triển vượt bậc với sự ra đời của các mô hình toán học phức tạp, trong đó phương trình tiến hoá không địa phương (non-local evolution equations) nổi lên như một chủ đề nghiên cứu trọng tâm. Không giống như các phương trình vi phân cổ điển, nơi đạo hàm tại một điểm chỉ phụ thuộc vào giá trị của hàm tại chính điểm đó, các phương trình không địa phương mô tả những hệ thống có "trí nhớ". Điều này có nghĩa là sự thay đổi của một trạng thái tại một thời điểm phụ thuộc vào toàn bộ lịch sử của nó thông qua một toán tử tích phân. Một ví dụ tiêu biểu là các phương trình mô tả quá trình khuếch tán dị thường, nơi sự di chuyển của các hạt không tuân theo định luật Fick cổ điển. Các mô hình này có ứng dụng sâu rộng trong nhiều ngành khoa học và kỹ thuật, từ vật lý vật liệu, lưu biến học, điện hóa học đến tài chính và sinh học. Việc nghiên cứu dáng điệu nghiệm của một số lớp phương trình tiến hoá không địa phương không chỉ mang ý nghĩa lý thuyết sâu sắc trong ngành giải tích hàm và lý thuyết phương trình tiến hoá, mà còn cung cấp công cụ dự báo và phân tích cho các hiện tượng thực tế. Luận án này tập trung vào việc khám phá các tính chất định tính quan trọng của nghiệm, bao gồm sự tồn tại và duy nhất nghiệm, tính ổn định nghiệm, và đặc biệt là hành vi tiệm cận của nghiệm trong cả thời gian hữu hạn và vô hạn. Bằng cách sử dụng các công cụ toán học hiện đại, nghiên cứu này làm sáng tỏ cấu trúc phức tạp của các hệ động lực vô hạn chiều được mô tả bởi các phương trình này.
1.1. Khái niệm về toán tử phi địa phương và vai trò
Một toán tử phi địa phương, chẳng hạn như toán tử Laplace phân số ($(−Δ)^s$), là yếu tố cốt lõi định nghĩa nên lớp phương trình này. Thay vì tính đạo hàm tại một điểm, toán tử này tính toán một giá trị trung bình có trọng số của hàm trên toàn bộ miền xác định hoặc một lân cận lớn. Đặc tính này cho phép mô tả các tương tác tầm xa trong các hệ vật lý, ví dụ như trong cơ học lượng tử hoặc các vật liệu có cấu trúc fractal. Các phương trình chứa các toán tử này, như phương trình nhiệt phân số hay phương trình Cahn-Hilliard không địa phương, có khả năng mô tả chính xác hơn các hiện tượng như khuếch tán siêu nhanh hoặc siêu chậm, điều mà các phương trình đạo hàm riêng cổ điển không thể làm được. Việc phân tích các phương trình này đòi hỏi phải làm việc trong các không gian hàm đặc biệt như không gian Sobolev phân số.
1.2. Ứng dụng thực tiễn của phương trình vi phân không địa phương
Phạm vi ứng dụng của phương trình vi phân đạo hàm riêng không địa phương ngày càng mở rộng. Trong vật lý, chúng được dùng để mô hình hóa dòng chảy trong các môi trường xốp và vật liệu đàn hồi có tính nhớ. Trong sinh học, chúng mô tả sự di chuyển của các tế bào hoặc sự lây lan của dịch bệnh khi có các tương tác không chỉ xảy ra ở các vùng lân cận. Trong tài chính, các mô hình giá quyền chọn sử dụng các quá trình nhảy (jump processes) cũng có thể được mô tả bằng các phương trình tích phân-vi phân không địa phương. Do đó, việc hiểu rõ dáng điệu nghiệm của các phương trình này là chìa khóa để dự báo và kiểm soát các hệ thống phức tạp trong thế giới thực.
II. Thách thức khi phân tích dáng điệu nghiệm của phương trình
Việc nghiên cứu dáng điệu nghiệm của một số lớp phương trình tiến hoá không địa phương đối mặt với nhiều thách thức đáng kể so với các phương trình vi phân cổ điển. Khó khăn chính xuất phát từ bản chất của toán tử phi địa phương, làm mất đi tính chất nửa nhóm của nghiệm. Trong các phương trình bậc nguyên, nghiệm tại thời điểm t+s có thể được suy ra từ nghiệm tại thời điểm t. Tuy nhiên, đối với các phương trình phân thứ, tính chất này không còn đúng, khiến việc kéo dài nghiệm và phân tích tiệm cận trở nên phức tạp. Hơn nữa, việc áp dụng các phương pháp truyền thống như hàm Lyapunov để nghiên cứu tính ổn định nghiệm gặp nhiều trở ngại. Cấu trúc vô hạn chiều của không gian pha và các phép toán tích phân trong đạo hàm phân thứ làm cho việc tính toán đạo hàm của phiếm hàm Lyapunov trở nên khó thực hiện, thậm chí là bất khả thi. Các bài toán ngược (inverse problem), như xác định tham số hoặc nguồn ngoại lực từ các phép đo bổ sung, càng phức tạp hơn do tính đặt không chỉnh theo nghĩa Hadamard. Những thách thức này đòi hỏi phải phát triển các phương pháp tiếp cận mới, kết hợp các công cụ từ giải tích hàm, lý thuyết điểm bất động và lý thuyết độ đo không compact để có thể phân tích một cách hiệu quả hành vi tiệm cận của nghiệm.
2.1. Khó khăn trong việc áp dụng phương pháp hàm Lyapunov
Phương pháp hàm Lyapunov là một công cụ mạnh mẽ để nghiên cứu tính ổn định nghiệm trong các hệ động lực. Tuy nhiên, đối với các phương trình vi phân phân thứ trong không gian vô hạn chiều, việc xây dựng và sử dụng hàm Lyapunov trở nên vô cùng khó khăn. Như Lakshmikantham và cộng sự đã đề xuất trong [49], phương pháp này khả thi cho không gian hữu hạn chiều, nhưng khi chuyển sang không gian vô hạn chiều, các tính toán liên quan đến đạo hàm phân thứ trên phiếm hàm trở nên phức tạp và không trực quan. Sự thiếu vắng một quy tắc chuỗi (chain rule) đơn giản cho đạo hàm phân thứ là một rào cản lớn. Do đó, cần tìm kiếm các phương pháp thay thế để khảo sát sự ổn định.
2.2. Tính phức tạp của các bài toán ngược và tính không chỉnh
Các bài toán ngược cho phương trình vi phân đạo hàm riêng không địa phương thường là các bài toán đặt không chỉnh (ill-posed). Điều này có nghĩa là một thay đổi nhỏ trong dữ liệu đầu vào (ví dụ như dữ liệu đo đạc) có thể dẫn đến một thay đổi rất lớn trong nghiệm tìm được. Điều này làm cho việc xác định các hệ số, nguồn hoặc điều kiện ban đầu trở thành một bài toán cực kỳ nhạy cảm và đòi hỏi các kỹ thuật chính quy hóa. Luận án này xem xét bài toán xác định tham số trong bất đẳng thức vi biến phân phân thứ, một lớp bài toán ngược có độ phức tạp cao, đòi hỏi sự kết hợp giữa lý thuyết phương trình tiến hóa và các công cụ tối ưu hóa.
III. Phương pháp nghiên cứu tính hút nghiệm trong thời gian hữu hạn
Một trong những đóng góp quan trọng của luận án là việc nghiên cứu dáng điệu nghiệm trong một khoảng thời gian hữu hạn, một vấn đề có ý nghĩa thực tiễn lớn trong các quá trình diễn ra nhanh. Thay vì chỉ tập trung vào hành vi khi thời gian tiến ra vô cùng, nghiên cứu này sử dụng khái niệm "tính hút trong thời gian hữu hạn" (finite-time attraction) để mô tả sự hội tụ của các nghiệm tại một thời điểm cuối T. Phương pháp tiếp cận chính là sử dụng các bất đẳng thức kiểu Gronwall phân thứ kết hợp với các ước lượng địa phương của nghiệm. Cách tiếp cận này cho phép phân tích hành vi tiệm cận của nghiệm mà không cần đến phương pháp hàm Lyapunov truyền thống. Cụ thể, luận án đã áp dụng thành công phương pháp này cho hai lớp phương trình quan trọng: phương trình dưới khuếch tán (sub-diffusion equation) và phương trình tích phân-vi phân loại Basset. Kết quả cho thấy, dưới các điều kiện phù hợp về toán tử và số hạng phi tuyến (cho phép tăng trưởng trên tuyến tính), nghiệm của hệ có thể thể hiện tính hút hoặc hút mũ. Điều này cung cấp một công cụ mạnh mẽ để phân tích sự ổn định cục bộ của các hệ động lực không địa phương trong các khoảng thời gian bị chặn, phù hợp với các ứng dụng như vận chuyển trong chất lỏng hay truyền tín hiệu sinh học.
3.1. Phân tích phương trình dưới khuếch tán và nghiệm tích phân
Đối với lớp phương trình dưới khuếch tán, luận án trước hết thiết lập sự tồn tại và duy nhất nghiệm tích phân bằng cách sử dụng lý thuyết điểm bất động cho ánh xạ nén, cụ thể là định lý Sadovskii. Công thức nghiệm được biểu diễn thông qua họ các toán tử giải {Sα(t), Pα(t)}t≥0, có liên hệ mật thiết với phép biến đổi Laplace và hàm Mittag-Leffler. Sau khi có được sự tồn tại nghiệm, các bất đẳng thức Gronwall được xây dựng riêng cho cấu trúc phương trình này để đưa ra các ước lượng sắc bén về nghiệm. Các ước lượng này là nền tảng để chứng minh tính hút và hút mũ của nghiệm tầm thường cũng như nghiệm tùy ý trong một khoảng thời gian xác định [0, T].
3.2. Áp dụng cho phương trình loại Basset trong động lực học chất lỏng
Phương trình Basset, mô tả chuyển động của hạt trong chất lỏng có nhớt, là một ví dụ điển hình khác của non-local evolution equations. Luận án mở rộng phương pháp phân tích tính hút trong thời gian hữu hạn cho lớp phương trình này. Tương tự như trường hợp dưới khuếch tán, một công thức nghiệm dạng biến thiên hằng số được thiết lập. Dựa trên công thức này, một bất đẳng thức kiểu Gronwall phù hợp được chứng minh. Bằng cách kết hợp nguyên lý ánh xạ co với các ước lượng địa phương, luận án chứng minh sự tồn tại và tính hút của nghiệm. Một hệ quả thú vị là sự tồn tại của các nghiệm tuần hoàn hoặc đối tuần hoàn, một tính chất quan trọng trong các hệ dao động.
IV. Giải pháp cho tính ổn định nghiệm và các bài toán ngược
Bên cạnh dáng điệu trong thời gian hữu hạn, luận án còn đề xuất các giải pháp hiệu quả để nghiên cứu tính ổn định nghiệm tiệm cận và giải quyết các bài toán ngược phức tạp. Đối với lớp phương trình Rayleigh-Stokes nửa tuyến tính, mô tả dòng chảy không Newton, một phương pháp tiếp cận dựa trên lý thuyết nhân hoàn toàn dương (completely positive kernels) và bất đẳng thức Gronwall được sử dụng. Phương pháp này cho phép chứng minh sự tồn tại và tính ổn định nghiệm theo nghĩa Lyapunov, ngay cả khi hàm nhân không chính quy. Đặc biệt, trong trường hợp không đảm bảo tính duy nhất, luận án đã chứng minh sự tồn tại của một tập compact khác rỗng chứa các nghiệm phân rã (decaying solutions) bằng cách áp dụng định lý điểm bất động cho ánh xạ nén trên hệ động lực vô hạn chiều. Đối với bài toán xác định tham số trong bất đẳng thức vi biến phân phân thứ, một bài toán ngược điển hình, phương pháp chính là dựa vào tính chính quy của nghiệm và các định lý điểm bất động như Schauder. Luận án đã chứng minh được sự tồn tại nghiệm toàn cục, và dưới các giả thiết chặt chẽ hơn về hệ số Lipschitz, đã thu được kết quả về tính duy nhất và tính ổn định của nghiệm, cho thấy ánh xạ từ dữ liệu đầu vào đến nghiệm là Lipschitz địa phương.
4.1. Nghiên cứu tính ổn định cho phương trình Rayleigh Stokes
Phương trình Rayleigh-Stokes phân thứ là một mô hình quan trọng trong cơ học chất lỏng. Để nghiên cứu tính ổn định nghiệm, luận án giả thiết rằng hàm nhân liên quan là hoàn toàn dương. Dựa trên giả thiết này, một công thức biểu diễn nghiệm và một bất đẳng thức Gronwall tương ứng được thiết lập. Kỹ thuật này cho phép thu được các kết quả về sự ổn định theo nghĩa Lyapunov mà không cần dùng đến các phương pháp cổ điển. Cách tiếp cận này đặc biệt hiệu quả khi xử lý các trường hợp nhân không bị chặn tại gốc, một đặc điểm thường thấy trong các mô hình vật lý thực tế.
4.2. Giải bài toán xác định tham số bằng lý thuyết điểm bất động
Bài toán xác định tham số trong bất đẳng thức vi biến phân phân thứ là một thách thức lớn. Luận án tiếp cận bài toán này bằng cách chuyển nó về một bài toán điểm bất động. Trước hết, bằng cách giả sử tham số chưa biết z là đã cho, bài toán thuận được giải để tìm ra nghiệm (x, u). Sau đó, sử dụng điều kiện đo đạc bổ sung, một ánh xạ từ z vào chính nó được xây dựng. Việc chứng minh sự tồn tại điểm bất động của ánh xạ này, sử dụng định lý Schauder, tương đương với việc chứng minh sự tồn tại nghiệm (x, u, z) cho bài toán ngược ban đầu. Phương pháp này đã chứng tỏ hiệu quả trong việc thiết lập tính giải được cho một lớp bài toán ngược phi tuyến phức tạp.
V. Kết quả chính và đóng góp của luận án về dáng điệu nghiệm
Luận án "Dáng điệu nghiệm của một số lớp phương trình tiến hoá không địa phương" đã đạt được nhiều kết quả khoa học mới và có ý nghĩa. Đóng góp nổi bật nhất là việc xây dựng và áp dụng thành công phương pháp phân tích tính hút trong thời gian hữu hạn cho các phương trình dưới khuếch tán và phương trình loại Basset, với số hạng phi tuyến có thể tăng trưởng trên tuyến tính. Đây là một hướng tiếp cận mới, lấp đầy khoảng trống trong lý thuyết định tính cho các phương trình vi phân phân thứ trong không gian vô hạn chiều. Bên cạnh đó, luận án đã chứng minh được tính ổn định nghiệm tiệm cận cho lớp phương trình Rayleigh-Stokes nửa tuyến tính, ngay cả trong trường hợp nhân không chính quy, và chỉ ra sự tồn tại của tập nghiệm phân rã khi tính duy nhất không được đảm bảo. Một thành công khác là việc chứng minh tính giải được, duy nhất và ổn định cho một bài toán xác định tham số phức tạp trong bất đẳng thức vi biến phân phân thứ, mở ra hướng nghiên cứu mới cho các bài toán ngược trong lý thuyết phương trình tiến hoá. Các kết quả này không chỉ làm phong phú thêm cơ sở lý thuyết về phương trình parabolic phi tuyến không địa phương mà còn cung cấp các công cụ phân tích hữu ích cho các nhà khoa học ứng dụng.
5.1. Thiết lập sự tồn tại và tính chất của tập hút toàn cục
Mặc dù luận án tập trung vào tính hút trong thời gian hữu hạn, các phương pháp được phát triển cũng là nền tảng để nghiên cứu các đối tượng kinh điển trong lý thuyết hệ động lực, như tập hút toàn cục (global attractor). Các ước lượng nghiệm và tính chất nén của toán tử nghiệm là những bước đi đầu tiên cần thiết để chứng minh sự tồn tại của attractor. Hơn nữa, việc phân tích chiều Hausdorff của attractor là một hướng phát triển tự nhiên, giúp định lượng độ phức tạp của hành vi tiệm cận của nghiệm trong dài hạn.
5.2. Đóng góp cho lý thuyết phương trình vi phân tích phân
Các phương trình được nghiên cứu trong luận án đều thuộc lớp phương trình tích phân-vi phân rộng lớn. Bằng cách phát triển các bất đẳng thức Gronwall mới và áp dụng khéo léo các định lý điểm bất động, luận án đã đóng góp những kỹ thuật phân tích quan trọng cho lĩnh vực này. Các kết quả về sự tồn tại, tính duy nhất và ổn định nghiệm không chỉ áp dụng cho các lớp phương trình cụ thể đã xét mà còn có tiềm năng mở rộng cho nhiều mô hình khác trong vật lý, kỹ thuật và sinh học, nơi các hiệu ứng nhớ và tương tác không địa phương đóng vai trò quyết định.
