Luận án tiến sĩ Toán học: Một số bài toán Cauchy cho phương trình với đạo hàm Caputo và Riemann-Liouville

Luận án tiến sĩ Toán học này trình bày các kết quả nghiên cứu sâu rộng. Đề tài tập trung vào một số bài toán Cauchy cho phương trình với đạo hàm Caputo và Riemann-Liouville. Đây là một công trình khoa học độc lập của Nguyễn Hoàng Lực. Luận án được hoàn thành tại Trường Đại học Khoa học Tự nhiên, ĐHQG TP. HCM. Ngành Toán giải tích là trọng tâm của nghiên cứu này. Các kết quả trong luận án đã được công bố trên các tạp chí khoa học quốc tế. Điều này khẳng định tính mới và giá trị khoa học của công trình. Luận án bao gồm bốn phần chính, mỗi phần đều có những đóng góp độc đáo. Cung cấp nền tảng vững chắc cho các nghiên cứu tiếp theo về phương trình vi phân phân số.

Đạo hàm Caputo và Riemann-Liouville là hai khái niệm cốt lõi. Chúng là các loại đạo hàm phân số được sử dụng rộng rãi. Vai trò của chúng rất quan trọng trong việc mô tả các hiện tượng vật lý. Nhiều quá trình tự nhiên thể hiện tính chất bộ nhớ và phi địa phương. Đạo hàm phân số cung cấp một công cụ toán học hiệu quả. Chúng mô hình hóa các hệ thống phức tạp tốt hơn đạo hàm bậc nguyên. Luận án áp dụng các đạo hàm này để giải quyết các bài toán Cauchy. Sự lựa chọn đạo hàm phù hợp ảnh hưởng đến tính chất của nghiệm. Nghiên cứu sâu về các định nghĩa và thuộc tính của chúng là cần thiết. Điều này giúp hiểu rõ hơn về hành vi của các phương trình. Phân tích các loại đạo hàm này mở ra nhiều hướng nghiên cứu mới.

Bài toán giá trị ban đầu cho phương trình Rayleigh-Stokes phi tuyến được khảo sát. Các điều kiện ban đầu cho phương trình này là trọng tâm. Phương trình mô tả các hiện tượng phức tạp trong vật lý và kỹ thuật. Toán tử Laplace và hàm Gamma là các thành phần chính. Miền nghiên cứu là một không gian bị chặn. Biên của miền được giả định là trơn. Các giá trị tại biên được đặt bằng 0. Điều này mô tả một hệ thống đóng. Việc nghiên cứu các điều kiện ban đầu rất quan trọng. Nó xác định hành vi của nghiệm theo thời gian. Sự thay đổi nhỏ trong điều kiện ban đầu có thể dẫn đến sự khác biệt lớn của nghiệm. Mục tiêu là tìm kiếm và mô tả các nghiệm này.

Luận án thiết lập nghiệm chỉnh toàn cục cho bài toán. Điều này được thực hiện cho cả hai trường hợp hàm nguồn. Thứ nhất là hàm nguồn Lipschitz toàn cục. Thứ hai là hàm nguồn Lipschitz địa phương. Các không gian hàm thích hợp đã được xây dựng. Chúng giúp phân tích tính chất của nghiệm một cách hiệu quả. Sử dụng phép phân tích phổ, các đặc tính của toán tử được làm rõ. Nguyên lý điểm bất động là công cụ mạnh mẽ để chứng minh sự tồn tại nghiệm. Hơn nữa, sự tồn tại toàn cục của nghiệm nhẹ cũng được chứng minh. Luận án còn khám phá tính bùng nổ của nghiệm. Tính bùng nổ chỉ ra rằng nghiệm có thể trở nên vô hạn trong thời gian hữu hạn. Việc nghiên cứu những tính chất này là cần thiết cho ứng dụng khoa học.

Phương trình Rayleigh-Stokes với điều kiện phi địa phương được nghiên cứu. Các điều kiện này không chỉ phụ thuộc vào một điểm duy nhất. Chúng phụ thuộc vào giá trị của hàm trên một khoảng hoặc miền. Điều này làm cho bài toán trở nên phức tạp hơn. Luận án tập trung vào việc chứng minh sự tồn tại của nghiệm nhẹ. Sự tồn tại này là nền tảng cho mọi phân tích tiếp theo. Bên cạnh đó, tính duy nhất của nghiệm cũng được thiết lập. Tính duy nhất đảm bảo rằng có duy nhất một giải pháp phù hợp. Các phương pháp chứng minh thường liên quan đến nguyên lý điểm bất động. Hoặc các kỹ thuật ước lượng trong không gian Banach. Các kết quả này rất quan trọng trong toán giải tích.

Tính chính quy của nghiệm nhẹ là một khía cạnh quan trọng. Luận án đã phân tích chi tiết các thuộc tính này. Nghiệm nhẹ có thể không đủ 'mượt' để là nghiệm cổ điển. Tuy nhiên, chúng có ý nghĩa vật lý đáng kể. Việc nghiên cứu tính chính quy giúp hiểu rõ hơn về hành vi của nghiệm. Ngoài ra, luận án còn xem xét sự hội tụ của nghiệm nhẹ. Điều này xảy ra khi một tham số tiến về 0. Sự hội tụ này có ý nghĩa trong việc chuyển tiếp giữa các mô hình. Ví dụ, từ mô hình phân số sang mô hình bậc nguyên. Phân tích hội tụ cung cấp một cầu nối giữa các lý thuyết khác nhau. Các kết quả này có giá trị ứng dụng trong mô hình hóa.

Bài toán Rayleigh-Stokes phi tuyến được đặt ra với điều kiện tích phân. Điều kiện này là phi địa phương, khác với điều kiện ban đầu thông thường. Điều kiện tích phân kết nối trạng thái ban đầu của hệ thống. Đồng thời, nó liên quan đến sự tích lũy của trạng thái trong một khoảng thời gian. Các hằng số ε1 và ε2 đóng vai trò điều chỉnh. Hàm g(x) là một hàm cho trước, xác định phân bố không gian. Việc giải quyết các bài toán này đòi hỏi kỹ thuật toán học cao. Nó yêu cầu sự hiểu biết sâu sắc về toán giải tích. Các nghiên cứu này có tiềm năng ứng dụng trong nhiều lĩnh vực kỹ thuật.

Luận án đã đi sâu vào việc khám phá các giải pháp. Các nghiên cứu tập trung vào sự tồn tại của nghiệm. Tính duy nhất của nghiệm cũng là một khía cạnh quan trọng. Các thuộc tính định tính của nghiệm có thể được phân tích. Ví dụ, sự ổn định, tính bị chặn hoặc tính bùng nổ. Sử dụng các công cụ như lý thuyết nửa nhóm và lý thuyết điểm bất động. Các không gian hàm được chọn lọc phù hợp. Các kết quả từ phần này làm giàu thêm thư viện kiến thức về phương trình vi phân phân số. Nó cung cấp các công cụ mạnh mẽ để giải quyết các bài toán phức tạp. Những đóng góp này có ý nghĩa cho cả lý thuyết và ứng dụng khoa học.