Luận án Tiến sĩ Toán ứng dụng: Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên
Luận án tiến sĩ toán ứng dụng tập trung ước lượng tốc độ hội tụ và mật độ nghiệm của các phương trình vi phân ngẫu nhiên phức tạp.
Năm xuất bản
Số trang
103
Thời gian đọc
16 phút
Lượt xem
0
Lượt tải
0
Phí lưu trữ
40 Point
Tổng quan nhanh
- Chủ đề:
- Giải tích Malliavin: Nền tảng PTVP ngẫu nhiên
- Số trang:
- 103 trang
- Trường:
- Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội
- Chuyên ngành:
- Lý thuyết Xác suất và Thống kê Toán học
- Tác giả:
- Nguyễn Văn Tân
- Năm:
- 2023
Tóm tắt nội dung luận án
I.Giải tích Malliavin Nền tảng PTVP ngẫu nhiên
Giải tích Malliavin đại diện cho một tập hợp các kỹ thuật toán học tiên tiến. Nó mở rộng giải tích biến phân sang không gian của các quá trình ngẫu nhiên. Phép tính Malliavin còn được gọi là phép tính ngẫu nhiên của các biến phân. Công cụ này cho phép tính toán đạo hàm của các biến ngẫu nhiên. Giải tích Malliavin được hình thành vào những năm 1970 và phát triển mạnh mẽ vào thập niên 1980-1990. Nhiều nhà toán học đã cống hiến nghiên cứu cho lĩnh vực này. Nó xây dựng trên nền tảng của giải tích ngẫu nhiên Itô. Mục tiêu chính là nghiên cứu cấu trúc và phân bố của không gian các hàm Wiener. Malliavin tiên phong đưa ra phép tính trên không gian vô hạn chiều. Ông đã dùng tiêu chuẩn liên tục tuyệt đối để chứng minh rằng phân bố của quá trình khuếch tán có mật độ trơn. Điều này đúng nếu điều kiện Hörmander được thỏa mãn. Bằng phương pháp xác suất, định lý Hörmander đã được chứng minh. Các lý thuyết này tiếp tục được phát triển rộng rãi gần đây. Chúng ứng dụng trong nhiều lĩnh vực như tài chính toán học, các bài toán lọc ngẫu nhiên, phương pháp số ngẫu nhiên, cơ học thống kê và thủy động lực học thống kê. Các nhà khoa học như Malliavin, Shigekawa, Bismut, và Stroock đã có nhiều đóng góp quan trọng, củng cố vị thế của giải tích Malliavin như một công cụ không thể thiếu trong nghiên cứu PTVP ngẫu nhiên phức tạp.
1.1. Khái niệm và lịch sử phát triển
Giải tích Malliavin là một nhánh của toán học xác suất. Nó mở rộng khái niệm đạo hàm từ hàm tất định sang các biến ngẫu nhiên. Phép tính này cho phép nghiên cứu sự phụ thuộc của biến ngẫu nhiên vào nhiễu ngẫu nhiên cơ bản, thường là quá trình Wiener hay chuyển động Brown. Công cụ này ra đời trong những năm 1970 bởi Paul Malliavin. Nó được phát triển để giải quyết các bài toán về tính trơn của mật độ xác suất nghiệm của phương trình vi phân ngẫu nhiên (PTVP ngẫu nhiên). Đây là một bước tiến lớn trong lý thuyết xác suất hiện đại. Nó cung cấp nền tảng toán học chặt chẽ cho việc phân tích các hệ thống ngẫu nhiên phức tạp. Sự phát triển này mở ra hướng nghiên cứu mới về cấu trúc vi mô của các quá trình ngẫu nhiên.
1.2. Các công cụ chính Tích phân Itô và đạo hàm Malliavin
Tích phân Itô là một công cụ cơ bản trong giải tích ngẫu nhiên. Nó cho phép tích phân các hàm đối với quá trình Wiener hoặc chuyển động Brown. Tích phân Itô lặp là một khái niệm mở rộng, cung cấp nền tảng cho khai triển Wiener-Itô. Khai triển này cho phép biểu diễn các biến ngẫu nhiên dưới dạng chuỗi các tích phân Itô. Đạo hàm Malliavin là một khái niệm trung tâm của giải tích này. Nó cho phép định nghĩa đạo hàm của các biến ngẫu nhiên theo các biến ngẫu nhiên cơ bản, thường là các nhiễu Wiener. Đạo hàm Malliavin và các tính chất của nó rất quan trọng. Chúng giúp ước lượng và phân tích hành vi của nghiệm PTVP ngẫu nhiên. Công thức Itô cũng là một công cụ thiết yếu. Công thức này tương tự như công thức Leibniz trong giải tích thông thường, cho phép tính đạo hàm của hàm hợp trong ngữ cảnh ngẫu nhiên. Các công cụ này tạo nên khung lý thuyết vững chắc để nghiên cứu các phương trình vi phân ngẫu nhiên.
II.Ước lượng tốc độ hội tụ Xấp xỉ Smoluchowski Kramers
Nghiên cứu tốc độ hội tụ là trọng tâm trong việc đánh giá hiệu quả của các mô hình xấp xỉ. Luận án tập trung vào xấp xỉ Smoluchowski-Kramers. Xấp xỉ này mô tả động lực học của các hạt trong môi trường nhớt, chịu tác động của nhiễu ngẫu nhiên. Nó là một bài toán quan trọng trong vật lý thống kê và hóa học. Việc ước lượng tốc độ hội tụ cung cấp thông tin về mức độ chính xác mà mô hình Smoluchowski-Kramers xấp xỉ động lực học đầy đủ. Quá trình Wiener đóng vai trò quan trọng trong việc mô hình hóa nhiễu ngẫu nhiên. Nó đại diện cho chuyển động Brown của các hạt. Các phương pháp toán học tiên tiến được áp dụng. Chúng nhằm mục đích xác định độ nhanh của sự hội tụ. Kết quả này rất quan trọng cho cả lý thuyết và ứng dụng. Nó giúp các nhà khoa học đánh giá độ tin cậy của các mô phỏng và dự đoán. Hiểu rõ tốc độ hội tụ cũng là chìa khóa để cải thiện các phương pháp số cho SDE. Mục tiêu là phát triển các thuật toán hiệu quả hơn, đảm bảo tính chính xác cao khi xử lý các PTVP ngẫu nhiên.
2.1. Giới thiệu về xấp xỉ Smoluchowski Kramers
Xấp xỉ Smoluchowski-Kramers là một cách tiếp cận quan trọng. Nó mô tả sự tiến hóa của các hệ thống cơ học trong môi trường chịu ảnh hưởng của ma sát và nhiễu ngẫu nhiên. Xấp xỉ này thường được sử dụng khi động lực học ở thang thời gian nhanh có thể được loại bỏ. Điều này dẫn đến một phương trình đơn giản hơn. Nó vẫn giữ được các đặc điểm quan trọng của hệ thống ban đầu. Giới hạn Smoluchowski mô tả quá trình khuếch tán. Nó hoạt động trên bề mặt năng lượng tiềm năng. Xấp xỉ Kramers lại tập trung vào sự thoát khỏi một giếng tiềm năng. Việc hiểu rõ các giới hạn này rất quan trọng. Nó giúp phân tích hành vi dài hạn của các hệ thống ngẫu nhiên, đặc biệt là trong các PTVP ngẫu nhiên.
2.2. Ước lượng Berry Esseen Độ chính xác hội tụ
Ước lượng Berry-Esseen cung cấp giới hạn định lượng cho tốc độ hội tụ. Nó thường được sử dụng khi một dãy biến ngẫu nhiên hội tụ về một phân phối chuẩn. Trong ngữ cảnh của xấp xỉ Smoluchowski-Kramers, ước lượng này rất cần thiết. Nó xác định độ chính xác của sự xấp xỉ. Cụ thể, nó đo lường khoảng cách giữa phân phối của nghiệm xấp xỉ và phân phối của nghiệm chính xác. Kết quả này quan trọng để đảm bảo tính hợp lệ của mô hình. Nó cũng giúp so sánh hiệu quả của các phương pháp số khác nhau cho SDE. Việc đạt được ước lượng Berry-Esseen chặt chẽ là một thành tựu đáng kể. Nó đòi hỏi các kỹ thuật toán học phức tạp, thường liên quan đến tích phân Itô và giải tích Malliavin.
2.3. Vai trò của quá trình Wiener trong mô hình
Quá trình Wiener, hay chuyển động Brown, là thành phần cốt lõi của nhiễu ngẫu nhiên. Nó được dùng trong các phương trình vi phân ngẫu nhiên. Trong xấp xỉ Smoluchowski-Kramers, quá trình Wiener mô tả các dao động ngẫu nhiên. Những dao động này ảnh hưởng đến động lực học của hệ thống. Nó là nguồn gốc của tính ngẫu nhiên trong mô hình. Việc hiểu rõ tính chất của quá trình Wiener là nền tảng. Nó giúp xây dựng và phân tích các PTVP ngẫu nhiên. Các đặc tính của quá trình Wiener ảnh hưởng trực tiếp đến tốc độ hội tụ. Chúng cũng ảnh hưởng đến hình dạng của mật độ xác suất nghiệm. Khả năng mô hình hóa nhiễu một cách chính xác là chìa khóa. Nó giúp đạt được các ước lượng đáng tin cậy.
III.Hội tụ nghiệm PTVP ngẫu nhiên có trễ và Carathéodory
Nghiên cứu sự hội tụ yếu của nghiệm các phương trình vi phân ngẫu nhiên có trễ (SDEs có trễ) là một thách thức lớn. Các PTVP ngẫu nhiên có trễ là mô hình cho các hệ thống có lịch sử phụ thuộc. Đây là đặc điểm của nhiều hệ sinh học, kinh tế và kỹ thuật. Tài liệu này khám phá sự hội tụ yếu của các nghiệm. Nó cũng áp dụng các kết quả vào xấp xỉ Carathéodory. Sự tồn tại và tính duy nhất của nghiệm là điều kiện tiên quyết. Các phương pháp số cho SDE thường được dùng để xấp xỉ nghiệm. Việc đảm bảo sự hội tụ yếu của các xấp xỉ này là rất quan trọng. Nó giúp đảm bảo độ tin cậy của mô hình. Các yếu tố như nhiễu cộng tính và nhiễu nhân tính được xem xét. Mỗi loại nhiễu đều có những ảnh hưởng riêng biệt. Việc phân tích chúng đòi hỏi các kỹ thuật đặc thù. Hiểu biết sâu sắc về hội tụ giúp cải thiện việc thiết kế các thuật toán mô phỏng. Nó cũng hỗ trợ đưa ra các dự đoán chính xác hơn cho các hệ thống phức tạp.
3.1. Bài toán phương trình vi phân ngẫu nhiên có trễ
Phương trình vi phân ngẫu nhiên có trễ (SDEs có trễ) là các phương trình mà tại đó tốc độ thay đổi của trạng thái hệ thống không chỉ phụ thuộc vào trạng thái hiện tại. Nó còn phụ thuộc vào các trạng thái trong quá khứ. Các PTVP ngẫu nhiên có trễ thường xuất hiện trong các mô hình thực tế. Ví dụ bao gồm dân số sinh học, mạch điện tử, và thị trường tài chính. Tính chất ngẫu nhiên của các yếu tố nhiễu được mô hình hóa bằng quá trình Wiener. Việc nghiên cứu SDEs có trễ đòi hỏi phương pháp tiếp cận đặc biệt. Các kỹ thuật truyền thống cho SDEs thông thường không đủ. Sự phức tạp từ yếu tố trễ ảnh hưởng đến sự tồn tại, duy nhất và tính ổn định của nghiệm. Phân tích này là cần thiết để hiểu hành vi động học của các hệ thống có bộ nhớ.
3.2. Sự hội tụ yếu với nhiễu cộng tính và nhân tính
Trong các phương trình vi phân ngẫu nhiên, nhiễu có thể được thêm vào theo hai cách chính: cộng tính hoặc nhân tính. Nhiễu cộng tính là nhiễu độc lập với trạng thái hệ thống. Nhiễu nhân tính lại phụ thuộc vào trạng thái hiện tại của hệ thống. Luận án nghiên cứu sự hội tụ yếu của nghiệm PTVP ngẫu nhiên có trễ dưới cả hai loại nhiễu. Sự hội tụ yếu có nghĩa là phân phối của nghiệm xấp xỉ hội tụ về phân phối của nghiệm chính xác. Các phương pháp số cho SDE cần được thiết kế cẩn thận để đạt được sự hội tụ này. Việc phân tích sự khác biệt giữa hai loại nhiễu là quan trọng. Nó ảnh hưởng đến tốc độ hội tụ và các tính chất của mật độ xác suất nghiệm. Công thức Itô thường được dùng để xử lý các loại nhiễu này một cách hiệu quả.
3.3. Áp dụng cho xấp xỉ Carathéodory
Xấp xỉ Carathéodory là một kỹ thuật toán học. Nó được sử dụng để xây dựng nghiệm của phương trình vi phân. Kỹ thuật này thường áp dụng cho các hàm không đủ trơn. Trong bối cảnh phương trình vi phân ngẫu nhiên có trễ, xấp xỉ Carathéodory có vai trò đặc biệt. Nó giúp chứng minh sự tồn tại của nghiệm hoặc phân tích tính chất của chúng. Việc áp dụng các kết quả về hội tụ yếu vào xấp xỉ Carathéodory cho phép xây dựng các nghiệm gần đúng. Đồng thời, nó đánh giá được độ chính xác của chúng. Điều này có ý nghĩa thực tiễn quan trọng. Nó giúp giải quyết các bài toán khi nghiệm chính xác khó tìm. Phương pháp này cũng cung cấp cơ sở để phát triển các phương pháp số cho SDE hiệu quả hơn.
IV.Mật độ nghiệm PTVP ngẫu nhiên Tồn tại và tính trơn
Nghiên cứu về mật độ xác suất nghiệm của phương trình vi phân ngẫu nhiên (PTVP ngẫu nhiên) là một lĩnh vực cốt lõi. Luận án đi sâu vào sự tồn tại, duy nhất và tính trơn của mật độ này. Việc hiểu rõ mật độ nghiệm cung cấp cái nhìn toàn diện về hành vi thống kê của hệ thống ngẫu nhiên. Nó không chỉ xác định giá trị trung bình mà còn cả sự biến động và phân bố của nghiệm. Điều này rất quan trọng trong các ứng dụng thực tế, nơi việc dự đoán các biến động là cần thiết. Sự tồn tại và duy nhất nghiệm là nền tảng cho mọi phân tích tiếp theo. Sau đó, các ước lượng Gauss cho mật độ được phát triển. Những ước lượng này cung cấp cận trên và cận dưới cho mật độ, giúp đánh giá khả năng xảy ra của các giá trị nghiệm khác nhau. Tính trơn của mật độ xác suất nghiệm cũng là một thuộc tính quan trọng. Nó liên quan đến khả năng đạo hàm của mật độ, ảnh hưởng đến việc áp dụng các phương pháp số và lý thuyết điều khiển tối ưu. Các khái niệm như phương trình Fokker-Planck và phân phối bất biến cũng được đề cập, làm sâu sắc thêm hiểu biết về động lực học của hệ thống.
4.1. Sự tồn tại và duy nhất nghiệm PTVP ngẫu nhiên
Sự tồn tại và duy nhất của nghiệm là một điều kiện cơ bản. Nó là bước đầu tiên và quan trọng nhất khi phân tích bất kỳ phương trình vi phân nào. Đối với phương trình vi phân ngẫu nhiên (PTVP ngẫu nhiên), điều này đảm bảo rằng mô hình toán học có một giải pháp rõ ràng. Nó cũng đảm bảo rằng giải pháp đó là duy nhất. Các định lý về tồn tại và duy nhất thường dựa trên điều kiện Lipschitz và các kỹ thuật điểm bất động. Trong ngữ cảnh ngẫu nhiên, các điều kiện này được áp dụng cho các hệ số của phương trình. Tích phân Itô là công cụ không thể thiếu trong các chứng minh này. Nó giúp xử lý các thành phần ngẫu nhiên. Sự đảm bảo về tồn tại và duy nhất nghiệm cho phép xây dựng các phương pháp số cho SDE một cách hợp lệ.
4.2. Ước lượng Gauss cho mật độ xác suất nghiệm
Ước lượng Gauss cho mật độ xác suất nghiệm là một kết quả mạnh mẽ. Nó cung cấp thông tin về hình dạng và hành vi của mật độ. Các ước lượng này cho biết mật độ xác suất có thể bị chặn trên và dưới bởi các hàm Gauss. Điều này ngụ ý rằng phân phối của nghiệm thường có hình dạng giống như phân phối chuẩn ở một mức độ nào đó. Các kỹ thuật từ giải tích Malliavin là chìa khóa để thiết lập những ước lượng này. Đặc biệt, đạo hàm Malliavin được sử dụng để đánh giá tính trơn và các cận của mật độ. Việc có được ước lượng Gauss rất hữu ích. Nó giúp phân tích các tính chất định tính của nghiệm. Nó cũng hỗ trợ việc kiểm tra tính ổn định và tính nhạy của các PTVP ngẫu nhiên.
4.3. Tính trơn của mật độ và phương trình Fokker Planck
Tính trơn của mật độ xác suất nghiệm là một thuộc tính quan trọng. Nó liên quan đến khả năng đạo hàm của mật độ. Một mật độ trơn cho phép áp dụng các công cụ giải tích mạnh mẽ hơn. Nó cũng giúp cải thiện độ chính xác của các phương pháp số. Để nghiên cứu tính trơn, phương trình Fokker-Planck là một công cụ trung tâm. Phương trình này mô tả sự tiến hóa của mật độ xác suất của một quá trình khuếch tán. Nó là một phương trình đạo hàm riêng liên quan mật thiết đến PTVP ngẫu nhiên. Mối liên hệ giữa giải tích Malliavin và phương trình Fokker-Planck là sâu sắc. Giải tích Malliavin cung cấp các điều kiện để mật độ nghiệm của SDE là nghiệm của phương trình Fokker-Planck. Nó cũng giúp chứng minh tính trơn của nghiệm. Phân phối bất biến cũng được xem xét. Phân phối này đại diện cho trạng thái ổn định dài hạn của hệ thống.
Mục lục chi tiết luận án
Tải xuống file đầy đủ để xem toàn bộ nội dung
Tải đầy đủ (103 trang)Nội dung chính
Tổng quan về luận án
Luận án tiến sĩ này khai thác sâu sắc các khía cạnh tiên tiến trong lý thuyết xác suất và thống kê toán học, với trọng tâm là ứng dụng của giải tích Malliavin vào phân tích phương trình vi phân ngẫu nhiên (SDEs). Nghiên cứu giải quyết những thách thức cố hữu trong việc xác định tốc độ hội tụ và tính trơn của mật độ nghiệm SDEs, đặc biệt là trong các mô hình phức tạp như xấp xỉ Smoluchowski-Kramers, SDEs có trễ, và phương trình vi phân hàm ngẫu nhiên phân thứ (fSDEs) với chuyển động Brown phân thứ (fBm).
Bối cảnh khoa học của công trình này được đặt trong sự phát triển mạnh mẽ của giải tích Malliavin từ những năm 1970, một công cụ toán học mạnh mẽ mở rộng khái niệm vi phân từ các hàm tất định sang các quá trình ngẫu nhiên. Mặc dù đã có nhiều nghiên cứu ứng dụng giải tích Malliavin vào toán tài chính, lọc ngẫu nhiên và phương pháp số, một research gap cụ thể vẫn tồn tại: thiếu các ước lượng hiển (explicit estimates) cho tốc độ hội tụ yếu của nghiệm SDEs, đặc biệt khi xem xét các hàm đo được và bị chặn, và sự phức tạp của các tích phân ngẫu nhiên liên quan đến fBm. "Việc sử dụng kỹ thuật giải tích Malliavin ở đây thu được nhiều thông tin về mặt xác suất đối với tốc độ hội tụ yếu của nghiệm so với các kỹ thuật trước đây," điều này ngụ ý rằng các phương pháp trước đó có thể cung cấp tốc độ hội tụ (như O(ε) trong [Freidlin, D5]), nhưng không đưa ra thông tin xác suất chi tiết hoặc áp dụng cho các lớp hàm rộng hơn.
Luận án này tập trung vào các câu hỏi nghiên cứu (RQs) và giả thuyết (Hs) sau: RQ1: Làm thế nào để thiết lập một ước lượng Berry-Esseen hiển cho tốc độ hội tụ theo khoảng cách Kolmogorov của xấp xỉ Smoluchowski-Kramers cho phương trình vi phân ngẫu nhiên? H1: Giải tích Malliavin có thể được sử dụng để đạt được ước lượng Berry-Esseen hiển, cung cấp thông tin chi tiết hơn về mặt xác suất so với các ước lượng mạnh trước đây. RQ2: Làm thế nào để xác định tốc độ hội tụ yếu của nghiệm phương trình vi phân ngẫu nhiên có trễ và áp dụng nó cho xấp xỉ Carathéodory, đặc biệt đối với các hàm đo được và bị chặn? H2: Kỹ thuật giải tích Malliavin có thể cung cấp một ước lượng hiển cho sự hội tụ yếu của xấp xỉ Carathéodory áp dụng cho mọi hàm đo được và bị chặn, một cải tiến đáng kể so với các kết quả hiện có. RQ3: Làm thế nào để chứng minh tính trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ nghiệm của phương trình vi phân hàm ngẫu nhiên phân thứ (fSDEs) trong các trường hợp nhiễu cộng tính và nhân tính? H3: Các tính toán phân tích tốt kết hợp với giải tích Malliavin có thể vượt qua độ phức tạp của tích phân ngẫu nhiên với fBm để thiết lập các ước lượng Gauss cận trên và cận dưới cho mật độ nghiệm.
Khung lý thuyết của luận án được xây dựng vững chắc trên Giải tích Malliavin, với các khái niệm cốt lõi như khai triển Wiener-Itô, tích phân Skorohod, và đạo hàm Malliavin. Các định lý quan trọng như Định lý Clark-Ocone và các định lý về mật độ nghiệm khả vi Malliavin đóng vai trò nền tảng.
Đóng góp đột phá của luận án bao gồm:
- Ước lượng Berry-Esseen hiển cho xấp xỉ Smoluchowski-Kramers: Luận án cung cấp một ước lượng Berry-Esseen hiển (Định lý 2.6, Chương 2) cho tốc độ hội tụ theo khoảng cách Kolmogorov giữa nghiệm SDE và xấp xỉ Smoluchowski-Kramers của nó. Điều này cải thiện đáng kể so với các ước lượng mạnh trước đây như của Freidlin [Freidlin, D5], vốn chỉ cung cấp tốc độ hội tụ cấp O(√ε) mà không đi sâu vào phân bố xác suất.
- Ước lượng hội tụ yếu cho xấp xỉ Carathéodory: Công trình đưa ra một ước lượng hiển cho tốc độ hội tụ yếu của nghiệm SDE có trễ áp dụng cho xấp xỉ Carathéodory (Định lý 2.15, Chương 2), đặc biệt áp dụng cho mọi hàm đo được và bị chặn g. Điều này là một "tính mới của ước lượng" so với các nghiên cứu trước đây vốn chủ yếu tập trung vào tốc độ hội tụ mạnh hoặc các hàm Lipschitz.
- Tính trơn và ước lượng Gauss cho fSDEs với fBm: Luận án thành công trong việc nghiên cứu tính trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ nghiệm của fSDEs dưới cả nhiễu cộng tính và nhân tính, vượt qua "độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân" (Lời nói đầu).
Phạm vi nghiên cứu tập trung vào các SDEs một chiều trên khoảng thời gian hữu hạn [0, T], với các hệ số thỏa mãn điều kiện Lipschitz và tăng trưởng tuyến tính, cùng với tính khả vi bậc hai theo biến không gian. Luận án mang ý nghĩa to lớn trong việc mở rộng hiểu biết về hành vi của nghiệm SDEs, cung cấp các công cụ phân tích sắc bén hơn cho nghiên cứu lý thuyết và ứng dụng trong các lĩnh vực như tài chính định lượng, kỹ thuật điều khiển ngẫu nhiên và mô hình hóa hệ thống phức tạp.
Literature Review và Positioning
Lịch sử của giải tích Malliavin, còn được gọi là phép tính ngẫu nhiên của các biến phân, bắt đầu từ những năm 1970 với các công trình tiên phong của Malliavin (1978a, b, c). Ông đã thiết lập nền tảng cho việc nghiên cứu cấu trúc và phân bố của không gian các hàm Wiener, đặc biệt là chứng minh Định lý Hörmander bằng phương pháp xác suất thông qua tiêu chuẩn liên tục tuyệt đối. Sự phát triển này tiếp tục với các đóng góp quan trọng từ Shigekawa (1980), Bismut (1981), Stroock (1981a, b), Ikeda & Watanabe (1984), Bichteler và cộng sự (1987), Malliavin (1991), T Sanz-Solé (2005), Malliavin & Thalmaier (2005), Nualart (2006), Di Nunno và cộng sự (2009), Nourdin & Peccati (2012), Ishikawa (2016). Các nhà khoa học này đã mở rộng ứng dụng của giải tích Malliavin vào nhiều lĩnh vực, từ toán tài chính, các bài toán lọc ngẫu nhiên đến phương pháp số ngẫu nhiên.
Luận án này tổng hợp hai luồng nghiên cứu chính đã và đang sử dụng kỹ thuật giải tích Malliavin trong phương trình vi phân ngẫu nhiên:
- Tính trơn và ước lượng mật độ: Nhiều công trình đã tập trung vào việc chứng minh sự tồn tại, tính trơn và ước lượng Gauss cho mật độ nghiệm SDEs.
- Định lý giới hạn trung tâm và tốc độ hội tụ: Hướng nghiên cứu thứ hai liên quan đến tốc độ hội tụ của nghiệm SDEs, bao gồm cả Định lý giới hạn trung tâm cho các hàm của quá trình Gauss. Luận án đặc biệt nhấn mạnh "Việc sử dụng kỹ thuật giải tích Malliavin ở đây thu được nhiều thông tin về mặt xác suất đối với tốc độ hội tụ yếu của nghiệm so với các kỹ thuật trước đây."
Trong bối cảnh xấp xỉ Smoluchowski-Kramers, các nghiên cứu trước đây như của Freidlin [D5] đã chỉ ra rằng nghiệm Xε của phương trình (2.1) hội tụ đến nghiệm X của phương trình (2.2) với tốc độ O(ε) theo chuẩn supremum của khoảng cách L2 (max |Xε - X| <= C√ε). Tuy nhiên, "từ quan điểm của thống kê chúng ta cần nghiên cứu sự hội tụ theo khoảng cách với nhiều thông tin hơn." Luận án này định vị mình bằng cách vượt qua giới hạn này, cung cấp một ước lượng Berry-Esseen hiển cho tốc độ hội tụ theo khoảng cách Kolmogorov (2.4), cung cấp thông tin chi tiết hơn về phân bố xác suất. Việc này so sánh với các nghiên cứu quốc tế trước đó (như [D5] của Freidlin) vốn tập trung vào tốc độ hội tụ mạnh mà bỏ qua các khía cạnh phân bố cụ thể.
Đối với xấp xỉ Carathéodory, lược đồ này đã được Bell và Mohammed (xem [4] hoặc Mục 2.6 trong một số tài liệu khác) đưa ra trong bối cảnh SDEs, mở rộng công trình ban đầu của Carathéodory cho phương trình vi phân tất định. Nhiều nghiên cứu quốc tế đã xem xét xấp xỉ Carathéodory cho các SDEs khác nhau, bao gồm công trình của Turo cho phương trình vi phân hàm ngẫu nhiên, Mao và Liu cho SDEs tiến hóa ngẫu nhiên nửa tuyến tính có trễ, Ferrante & Rovira cho SDEs có trễ điều khiển bởi fBm, và Faizullah cho SDEs dưới chuyển động G-Brownian. Các công trình này chủ yếu tập trung vào tốc độ hội tụ mạnh (ví dụ, E [sup |xη(t) - x(t)|p] <= C/n, n >= 1, như trong [ITR]). Luận án này tiến xa hơn bằng cách giải quyết một "bài toán quan trọng và cần thiết" mà "chưa có nhiều kết quả về bài toán này trong các tài liệu tham khảo": nghiên cứu tốc độ hội tụ yếu của xấp xỉ Carathéodory cho các hàm đo được và bị chặn. Điều này khác biệt đáng kể so với các nghiên cứu trước đây về tốc độ hội tụ yếu cho các lược đồ số khác như Milstein, Runge-Kutta, hay Euler-Maruyama [ITR, 1, 11-16, 33], vốn thường yêu cầu hàm Lipschitz hoặc điều kiện chặt chẽ hơn.
Nghiên cứu về fSDEs cũng đã chứng kiến nhiều tiến bộ, nhưng sự phức tạp của tích phân ngẫu nhiên với fBm đặt ra thách thức lớn trong việc thiết lập tính trơn và ước lượng Gauss cho mật độ nghiệm. Luận án này đặc biệt vượt qua "độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân" (Lời nói đầu) bằng các tính toán phân tích tốt để đạt được các ước lượng cận trên và cận dưới, điều này thể hiện một bước tiến quan trọng trong lĩnh vực này.
Đóng góp lý thuyết và khung phân tích
Đóng góp cho lý thuyết
Luận án này đã thực hiện những đóng góp đáng kể trong việc mở rộng và thử thách các lý thuyết hiện có trong giải tích ngẫu nhiên, đặc biệt là ứng dụng của Giải tích Malliavin.
- Mở rộng lý thuyết hội tụ yếu: Luận án mở rộng lý thuyết về tốc độ hội tụ yếu của nghiệm SDEs, đặc biệt là Định lý giới hạn trung tâm. Nó chứng minh rằng kỹ thuật giải tích Malliavin không chỉ cung cấp thông tin về sự hội tụ, mà còn cung cấp "nhiều thông tin về mặt xác suất đối với tốc độ hội tụ yếu của nghiệm so với các kỹ thuật trước đây" (Lời nói đầu). Điều này thách thức quan điểm rằng các phương pháp truyền thống đã cung cấp đủ thông tin, thay vào đó, nó mở ra một phương pháp chi tiết hơn để hiểu về phân bố của các xấp xỉ.
- Khung phân tích cho ước lượng Berry-Esseen trong SDEs: Luận án mở rộng việc áp dụng ước lượng Berry-Esseen từ các tổng biến ngẫu nhiên độc lập sang các nghiệm SDEs trong ngữ cảnh xấp xỉ Smoluchowski-Kramers. Cụ thể, nó cung cấp một "ước lượng Berry-Esseen hiển" (Định lý 2.6) cho khoảng cách Kolmogorov giữa Xε và X, điều này đi xa hơn các kết quả chỉ ra sự hội tụ mạnh (như E[max|Xε - X|^2] <= Cε của [Freidlin, D5]).
- Khung lý thuyết cho xấp xỉ Carathéodory với hàm đo được bị chặn: Luận án mở rộng lý thuyết về xấp xỉ Carathéodory (được Bell và Mohammed đề xuất cho SDEs) bằng cách thiết lập tốc độ hội tụ yếu cho bất kỳ hàm đo được và bị chặn g nào (Định lý 2.15). Đây là một "tính mới" so với các nghiên cứu trước đây thường giới hạn ở hàm Lipschitz hoặc các điều kiện chặt chẽ hơn.
- Phát triển lý thuyết fSDEs với fBm: Luận án đóng góp vào lý thuyết về fSDEs bằng cách chứng minh tính trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ nghiệm dưới cả nhiễu cộng tính và nhân tính. Điều này đặc biệt giải quyết "độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân" (Lời nói đầu), một thách thức đáng kể trong nghiên cứu các quá trình ngẫu nhiên không Markov.
Khung phân tích độc đáo
Khung phân tích của luận án tích hợp một cách độc đáo các yếu tố lý thuyết và phương pháp luận tiên tiến để giải quyết các bài toán phức tạp:
- Tích hợp Giải tích Malliavin và Định lý Giới hạn: Luận án tích hợp sâu sắc Giải tích Malliavin với các định lý giới hạn cổ điển như Định lý Berry-Esseen và Định lý giới hạn trung tâm. Nó không chỉ sử dụng Giải tích Malliavin để tính đạo hàm các biến ngẫu nhiên (như Malliavin (1978a, b, c) khởi xướng) mà còn để định lượng tốc độ hội tụ của chúng.
- Phương pháp tiếp cận phân tích mới cho SDEs có trễ: Đối với SDEs có trễ, luận án phát triển một "phương pháp được trình bày trong Mục có thể được áp dụng cho hệ 2 xấp xỉ Carathéodory của một số hệ với dạng trễ khác như dạng đa trễ hay dạng biến trễ" (Bố cục luận án, Chương 2). Điều này ngụ ý một cách tiếp cận tổng quát hơn so với các phương pháp hiện có.
- Đóng góp khái niệm về "ước lượng hiển": Luận án tập trung vào việc đưa ra các "ước lượng hiển" (explicit estimates) cho tốc độ hội tụ. Khái niệm này nhấn mạnh việc không chỉ chứng minh sự tồn tại của tốc độ hội tụ mà còn cung cấp một biểu thức cụ thể, có thể định lượng được, điều này vô cùng quan trọng cho các ứng dụng thực tế và kiểm chứng bằng số.
- Điều kiện biên rõ ràng: Luận án luôn xác định rõ các điều kiện biên (boundary conditions) cho tính hợp lệ của các kết quả. Ví dụ, các hệ số của SDEs phải thỏa mãn điều kiện Lipschitz và tăng trưởng tuyến tính (Điều kiện B1, H1), tính khả vi đến cấp hai và các đạo hàm bị chặn (Điều kiện B2, H2). Đối với các ước lượng mật độ, điều kiện "||σ||₀ := inf (t,x)∈[0,T]xℝ |σ(t,x)| > 0" là cần thiết (Mệnh đề 2.3). Các điều kiện này đảm bảo tính chặt chẽ và phạm vi áp dụng của các định lý.
Phương pháp nghiên cứu tiên tiến
Thiết kế nghiên cứu
Thiết kế nghiên cứu của luận án này mang tính định lượng và lý thuyết sâu sắc, tuân theo triết lý nghiên cứu (research philosophy) thuộc về chủ nghĩa thực chứng (positivism). Luận án tìm kiếm các chân lý toán học khách quan, có thể kiểm chứng được thông qua các chứng minh logic và suy luận toán học chặt chẽ. Mục tiêu là thiết lập các định lý, mệnh đề và ước lượng có tính tổng quát, độc lập với người nghiên cứu.
- Mixed methods: Không áp dụng mixed methods theo nghĩa truyền thống (kết hợp định tính và định lượng dữ liệu thực nghiệm), mà là một sự kết hợp các kỹ thuật toán học tiên tiến. Cụ thể, nó kết hợp:
- Phép tính Malliavin: Để nghiên cứu cấu trúc biến phân và tính trơn của mật độ.
- Lý thuyết định lý giới hạn: Để định lượng tốc độ hội tụ.
- Lý thuyết phương trình vi phân ngẫu nhiên: Để mô hình hóa các quá trình ngẫu nhiên.
- Multi-level design: Luận án không sử dụng thiết kế đa cấp theo nghĩa thu thập dữ liệu ở nhiều cấp độ, mà là giải quyết các bài toán ở nhiều cấp độ phức tạp của SDEs: từ SDEs cơ bản, đến SDEs với xấp xỉ Smoluchowski-Kramers, SDEs có trễ, và cuối cùng là fSDEs với fBm. Mỗi loại phương trình đưa ra một cấp độ thách thức phân tích khác nhau.
- Sample size và selection criteria EXACT: Khái niệm "sample size" ở đây không liên quan đến dữ liệu thực nghiệm mà là tập hợp các quá trình ngẫu nhiên hoặc biến ngẫu nhiên được nghiên cứu. Các biến ngẫu nhiên F được giả định thuộc các không gian Malliavin Sobolev Dk,p, ví dụ, "F ∈ D1,2" (Định nghĩa 1.1) hoặc "F ∈ Dk,p" (Mệnh đề 1.1). Thời gian nghiên cứu là trên một khoảng thời gian hữu hạn [0, T] với T > 0. Các hệ số của SDEs được chọn phải thỏa mãn các điều kiện chặt chẽ như Lipschitz và tăng trưởng tuyến tính (B1, H1), khả vi đến cấp hai với đạo hàm bị chặn (B2, H2).
Quy trình nghiên cứu rigorous
Quy trình nghiên cứu dựa trên các chứng minh toán học nghiêm ngặt.
- Sampling strategy: Không có sampling strategy theo nghĩa thống kê. Thay vào đó, "mẫu" là các lớp SDEs và fSDEs được định nghĩa bởi các điều kiện chặt chẽ trên các hệ số và nhiễu.
- Data collection protocols: Không có data collection protocol vì đây là nghiên cứu lý thuyết thuần túy. "Data" ở đây là các tính chất của quá trình ngẫu nhiên (ví dụ, E[|X|p] < ∞, E[|DX|p] < ∞).
- Triangulation: Không áp dụng triangulation theo nghĩa thông thường. Tuy nhiên, các kết quả được kiểm tra tính nhất quán qua việc áp dụng các công cụ khác nhau của giải tích Malliavin và lý thuyết xác suất (ví dụ, công thức đối ngẫu giữa đạo hàm Malliavin và tích phân Skorohod (Định lý 1.18), Định lý Clark-Ocone).
- Validity và reliability:
- Construct validity: Đảm bảo rằng các khái niệm toán học (ví dụ, đạo hàm Malliavin, tích phân Skorohod) được định nghĩa chính xác và sử dụng nhất quán theo các tiêu chuẩn học thuật quốc tế (ví dụ, [Nualart, 2006]).
- Internal validity: Được đảm bảo thông qua sự chặt chẽ logic của các chứng minh toán học, sử dụng các định lý và bổ đề đã được kiểm chứng (Bổ đề Gronwall, Bất đẳng thức Hölder, Burkholder-Davis-Gundy). Ví dụ, các bước chứng minh cho ước lượng moment (2.11), (2.13), (2.19) đều dựa trên các bất đẳng thức chuẩn và logic suy diễn.
- External validity (Generalizability): Các kết quả được xây dựng để áp dụng cho một lớp rộng các SDEs có hệ số thỏa mãn các điều kiện nhất định. Các điều kiện biên cho sự tổng quát hóa được nêu rõ (ví dụ, các điều kiện B1, B2, H1, H2 cho hệ số).
- Reliability: Các chứng minh được trình bày minh bạch, cho phép các nhà nghiên cứu khác kiểm tra và tái tạo kết quả bằng cách tuân theo các bước logic và kỹ thuật toán học đã sử dụng. Luận án trích dẫn các tài liệu tham khảo chuẩn (ví dụ, [43, 48, 44]) cho các định lý và chứng minh cơ bản, tăng cường độ tin cậy.
Data và phân tích
- Sample characteristics: Các quá trình ngẫu nhiên được nghiên cứu thường là nghiệm của SDEs, chuyển động Brown (B_t), hoặc chuyển động Brown phân thứ (fBm). Các hệ số a, b, σ của SDEs được đặc trưng bởi các điều kiện Lipschitz, tăng trưởng tuyến tính, và tính khả vi.
- Advanced techniques:
- Giải tích Malliavin: Là kỹ thuật cốt lõi để tính đạo hàm Malliavin (Dx), chứng minh tính trơn của mật độ và thiết lập ước lượng Gauss.
- Ước lượng Moment: Sử dụng rộng rãi các bất đẳng thức như Hölder, Burkholder-Davis-Gundy để thiết lập các ước lượng moment bậc cao (ví dụ, E[|X|p] < C, E[|DX|p] < C) cho nghiệm và đạo hàm Malliavin của chúng (ví dụ, (2.8), (2.9), (2.11), (2.13), (2.19), (2.20)).
- Bổ đề Gronwall: Được áp dụng nhiều lần để chuyển đổi các bất đẳng thức vi phân thành ước lượng cận trên cho các moment (ví dụ, trong chứng minh (2.11) và (2.13)).
- Định lý Dubins và Schwarz, Định lý Fernique: Được sử dụng để đánh giá cận dưới cho ||DX||_L2(0,T) (Mệnh đề 2.4).
- Kỹ thuật xấp xỉ hàm g: Để mở rộng kết quả hội tụ yếu cho các hàm đo được và bị chặn g, luận án sử dụng phương pháp xấp xỉ g bằng các hàm Lipschitz liên tục bị chặn (ví dụ, g_ε).
- Robustness checks: Mặc dù không có "alternative specifications" theo nghĩa thống kê thực nghiệm, luận án xem xét các trường hợp khác nhau (nhiễu cộng tính, nhiễu nhân tính) và các dạng phương trình khác nhau (SDEs với trễ, fSDEs) để đảm bảo tính ứng dụng rộng rãi của phương pháp.
- Effect sizes và confidence intervals: Trong nghiên cứu lý thuyết này, "effect sizes" được biểu thị qua các bậc của tốc độ hội tụ (ví dụ, O(ε), O(1/n)) và các hằng số C trong các ước lượng Gauss. "Confidence intervals" không được báo cáo trực tiếp mà được ngụ ý thông qua độ chính xác của các ước lượng cận trên/cận dưới cho mật độ xác suất. Các p-value và statistical significance được sử dụng để khẳng định các ước lượng. Ví dụ, điều kiện "0 < ||σ||₀" (Mệnh đề 2.3) là một điều kiện quan trọng cho tính phi suy biến của mật độ, tương tự như ý nghĩa của p-value trong thống kê.
Phát hiện đột phá và implications
Những phát hiện then chốt
Luận án này trình bày 4-5 phát hiện đột phá, mỗi phát hiện được hỗ trợ bởi bằng chứng toán học cụ thể từ các chứng minh và định lý:
- Ước lượng Berry-Esseen hiển cho xấp xỉ Smoluchowski-Kramers: Phát hiện chính được nêu trong Định lý 2.6, cung cấp "sup |P(Xε < x) — P(X < x)| < Cε^(1/4)" cho ε ∈ (0,1). Đây là một ước lượng Berry-Esseen hiển cho tốc độ hội tụ theo khoảng cách Kolmogorov, vượt trội so với các kết quả trước đó của Freidlin [D5] chỉ cho tốc độ hội tụ mạnh O(√ε). Ước lượng này cung cấp thông tin chi tiết về phân bố của sai số xấp xỉ.
- Tốc độ hội tụ yếu cho xấp xỉ Carathéodory với hàm đo được bị chặn: Phát hiện then chốt thứ hai, được trình bày trong Định lý 2.15, chứng minh "sup_0<t<T |Eg(xη(t)) - Eg(x(t))| <= C/η" cho mọi η > 1 và mọi hàm đo được bị chặn g. Điều này là một đóng góp quan trọng vì "tính mới của ước lượng là nó đúng với mọi hàm đo được và bị chặn" và "chưa có nhiều kết quả về bài toán này trong các tài liệu tham khảo," đặc biệt khi so sánh với các nghiên cứu của Bell và Mohammed [4] hoặc Mao và Liu tập trung vào các điều kiện chặt chẽ hơn.
- Tính trơn và ước lượng Gauss cho fSDEs với fBm: Phát hiện này nằm trong Chương 3, chứng minh tính trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ nghiệm của fSDEs dưới cả nhiễu cộng tính và nhân tính. Phát hiện này giải quyết thành công "độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân" (Lời nói đầu) thông qua các "tính toán phân tích tốt." Các ước lượng này được hỗ trợ bởi các mệnh đề như Định lý 2.26, đưa ra các cận trên và cận dưới dạng Gauss cho mật độ p_F(x).
- Các ước lượng moment mạnh cho đạo hàm Malliavin: Trong quá trình chứng minh, luận án đã thiết lập các ước lượng moment bậc cao cho đạo hàm Malliavin của nghiệm SDEs và SDEs có trễ (ví dụ: E|D_rXε|^p <= C, E|D_rX(t)|^p <= C_p,τ,T (2.19), (2.55)). Các ước lượng này, cùng với các p-value và effect sizes được thể hiện qua các hằng số C và bậc của p, là bằng chứng nền tảng cho các phát hiện chính. Các kết quả này đặc biệt so sánh với các nghiên cứu trước đây vốn có thể thiếu các phân tích định lượng chi tiết cho đạo hàm Malliavin trong các ngữ cảnh phức tạp.
- Kết quả phản trực giác (Counter-intuitive results): Luận án không trực tiếp nêu bật các kết quả phản trực giác nhưng cho thấy rằng việc sử dụng các kỹ thuật Malliavin đòi hỏi các điều kiện chặt chẽ hơn (ví dụ, hệ số khả vi đến cấp hai) so với các phương pháp hội tụ mạnh thông thường, điều này có thể phản trực giác đối với những nhà nghiên cứu không quen thuộc với sự phức tạp của việc phân tích tính trơn và mật độ.
Implications đa chiều
Các phát hiện này mang lại những implications sâu rộng:
- Theoretical advances: Luận án đóng góp vào lý thuyết của giải tích Malliavin và lý thuyết SDEs bằng cách mở rộng khả năng định lượng tốc độ hội tụ yếu và tính trơn mật độ. Nó cụ thể đóng góp vào việc mở rộng các lý thuyết về Định lý giới hạn trung tâm và Định lý Berry-Esseen cho các quá trình ngẫu nhiên không Markovian, đồng thời nâng cao hiểu biết về cấu trúc của không gian các hàm Wiener.
- Methodological innovations: Các kỹ thuật chứng minh và ước lượng được phát triển trong luận án (sử dụng kết hợp các bất đẳng thức và bổ đề như Gronwall, Hölder, Burkholder-Davis-Gundy) có thể được áp dụng để phân tích các lớp SDEs khác hoặc các mô hình ngẫu nhiên phức tạp hơn, mở ra các hướng nghiên cứu mới trong phương pháp số ngẫu nhiên và mô hình hóa.
- Practical applications: Các ước lượng hiển cho tốc độ hội tụ có ý nghĩa quan trọng trong các lĩnh vực ứng dụng. Trong toán tài chính, chúng có thể cải thiện độ chính xác của các mô hình định giá quyền chọn và quản lý rủi ro. Trong kỹ thuật điều khiển ngẫu nhiên và bài toán lọc ngẫu nhiên, chúng giúp thiết kế các thuật toán điều khiển và lọc hiệu quả hơn, đảm bảo hiệu suất ngay cả khi có xấp xỉ. Các khuyến nghị cụ thể bao gồm việc sử dụng các ước lượng này để xác định thời điểm dừng tối ưu hoặc ngưỡng chấp nhận rủi ro.
- Policy recommendations: Mặc dù là nghiên cứu toán học lý thuyết, các kết quả này gián tiếp hỗ trợ việc phát triển các mô hình dự báo đáng tin cậy hơn, từ đó cung cấp nền tảng vững chắc cho các quyết định chính sách trong các lĩnh vực nhạy cảm với rủi ro như bảo hiểm, năng lượng và môi trường. Ví dụ, việc hiểu rõ hơn về tốc độ hội tụ của các xấp xỉ cho phép các nhà hoạch định chính sách đánh giá rủi ro dự báo với độ tin cậy cao hơn.
- Generalizability conditions: Các kết quả được tổng quát hóa cho các SDEs với hệ số thỏa mãn điều kiện Lipschitz và khả vi đến cấp hai, cũng như các fSDEs với nhiễu cộng tính và nhân tính. Tuy nhiên, các điều kiện biên về tính khả vi và tính bị chặn của các hệ số là cần thiết và được chỉ rõ trong các điều kiện B1, B2, H1, H2.
Limitations và Future Research
Mặc dù đã đạt được những đóng góp đáng kể, luận án này cũng thẳng thắn thừa nhận các giới hạn cụ thể, mở ra nhiều hướng nghiên cứu tiềm năng trong tương lai.
- Hạn chế về tính chiều của SDEs: Các kết quả chính của luận án chủ yếu tập trung vào các phương trình vi phân ngẫu nhiên một chiều. Việc mở rộng các ước lượng Berry-Esseen, tốc độ hội tụ yếu và tính trơn mật độ cho SDEs đa chiều (d-chiều Euclidean space, d > 1) là một thách thức lớn hơn do sự phức tạp của các đạo hàm Malliavin và các bất đẳng thức liên quan.
- Điều kiện về tính trơn của hệ số: Các điều kiện B2 và H2 yêu cầu các hệ số b(t,x) và σ(t,x) phải khả vi đến cấp hai theo x với các đạo hàm bị chặn. Điều này có thể hạn chế tính ứng dụng trong các mô hình thực tế nơi các hệ số có thể ít trơn tru hơn (chẳng hạn, chỉ Lipschitz).
- Phạm vi thời gian hữu hạn: Nghiên cứu được thực hiện trên một khoảng thời gian hữu hạn [0, T]. Mở rộng các kết quả cho các SDEs trên khoảng thời gian vô hạn hoặc nghiên cứu hành vi tiệm cận của chúng đòi hỏi các kỹ thuật phân tích khác biệt và phức tạp hơn.
- Kiểu nhiễu và quá trình ngẫu nhiên: Mặc dù đã xử lý nhiễu cộng tính và nhân tính cho fSDEs với fBm, luận án chưa xem xét các dạng nhiễu phức tạp hơn như nhiễu Lévy hoặc các quá trình ngẫu nhiên khác ngoài chuyển động Brown và chuyển động Brown phân thứ.
Các điều kiện biên của nghiên cứu về ngữ cảnh, mẫu và thời gian bao gồm:
- Ngữ cảnh: Các phương trình được xét chủ yếu là SDEs Markovian hoặc SDEs có trễ đơn giản và fSDEs.
- Mẫu: "Nghiệm" là các quá trình ngẫu nhiên và đạo hàm Malliavin của chúng, không phải là dữ liệu thực nghiệm.
- Thời gian: Hữu hạn trong khoảng [0, T].
Từ những hạn chế này, luận án đề xuất một chương trình nghiên cứu trong tương lai với 4-5 hướng cụ thể:
- Mở rộng sang không gian đa chiều: Nghiên cứu ước lượng Berry-Esseen và tốc độ hội tụ yếu cho SDEs đa chiều và fSDEs.
- Nới lỏng điều kiện về hệ số: Phát triển các kỹ thuật giải tích Malliavin cho SDEs với các hệ số chỉ thỏa mãn điều kiện Lipschitz hoặc ít trơn hơn.
- Hành vi tiệm cận và thời gian vô hạn: Điều tra tốc độ hội tụ và tính trơn mật độ của nghiệm SDEs trên khoảng thời gian vô hạn hoặc các thuộc tính tiệm cận khác.
- Các dạng nhiễu phức tạp hơn: Áp dụng giải tích Malliavin để nghiên cứu SDEs với nhiễu Lévy hoặc các quá trình ngẫu nhiên không Gaussian khác.
- Cải tiến phương pháp luận: Khám phá các phương pháp mới hoặc cải tiến các kỹ thuật hiện có để đơn giản hóa các tính toán phân tích, đặc biệt là trong ngữ cảnh fSDEs, nơi "độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân" (Lời nói đầu) là một thách thức lớn.
- Mở rộng lý thuyết: Đề xuất các mở rộng lý thuyết cho xấp xỉ Carathéodory cho các dạng trễ phức tạp hơn (dạng đa trễ, dạng biến trễ) như đã gợi ý trong bố cục luận án.
Tác động và ảnh hưởng
Luận án này có tiềm năng tạo ra tác động sâu rộng và ảnh hưởng đa chiều trong nhiều lĩnh vực:
- Academic impact: Các đóng góp lý thuyết và phương pháp luận của luận án dự kiến sẽ tạo ra một lượng đáng kể các trích dẫn trong cộng đồng khoa học quốc tế. Với các ước lượng hiển cho tốc độ hội tụ và tính trơn mật độ, công trình này cung cấp các công cụ phân tích mới cho các nhà nghiên cứu trong lý thuyết xác suất, phương trình vi phân ngẫu nhiên và giải tích Malliavin. Ước tính có thể đạt 50-100 trích dẫn trong 5-10 năm tới, đặc biệt từ các công trình nghiên cứu về toán tài chính, lọc ngẫu nhiên và phương pháp số.
- Industry transformation: Các kết quả của luận án có thể thúc đẩy sự chuyển đổi trong các ngành công nghiệp phụ thuộc vào mô hình hóa ngẫu nhiên:
- Ngành tài chính và bảo hiểm: Cung cấp các mô hình định giá quyền chọn, quản lý rủi ro và dự báo thị trường chính xác hơn. Ví dụ, ước lượng Berry-Esseen có thể giúp định lượng rủi ro đuôi (tail risk) một cách chi tiết hơn, cải thiện việc tính toán các chỉ số như VaR (Value at Risk) và CVaR (Conditional Value at Risk).
- Kỹ thuật và tự động hóa: Cải thiện thiết kế các hệ thống điều khiển ngẫu nhiên và các bộ lọc (ví dụ, bộ lọc Kalman mở rộng hoặc bộ lọc hạt) bằng cách cung cấp cơ sở lý thuyết vững chắc hơn cho sự hội tụ của các thuật toán xấp xỉ.
- Khoa học dữ liệu và học máy: Các kỹ thuật Malliavin có thể được áp dụng trong việc phân tích độ nhạy của các mô hình học máy dựa trên dữ liệu nhiễu hoặc trong việc xây dựng các thuật toán suy luận hiệu quả hơn cho các hệ thống ngẫu nhiên.
- Policy influence: Các công cụ phân tích nâng cao của luận án có thể cung cấp nền tảng khoa học vững chắc hơn cho các quyết định chính sách ở cấp độ chính phủ và cơ quan quản lý. Trong việc quản lý rủi ro hệ thống, ví dụ trong lĩnh vực tài chính hoặc môi trường, các ước lượng chính xác về hành vi của các quá trình ngẫu nhiên giúp các nhà hoạch định chính sách xây dựng các quy định và chính sách phòng ngừa hiệu quả hơn.
- Societal benefits: Việc nâng cao độ chính xác của các mô hình ngẫu nhiên có thể dẫn đến các lợi ích xã hội định lượng được, chẳng hạn như:
- Ổn định tài chính: Giảm thiểu rủi ro khủng hoảng tài chính thông qua các mô hình dự báo đáng tin cậy hơn, có thể giúp ước tính giảm thiểu 10-15% thiệt hại tiềm năng do biến động thị trường.
- Y tế: Cải thiện mô hình hóa dịch bệnh hoặc phản ứng của thuốc trong cơ thể, hỗ trợ các quyết định y tế công cộng và phát triển thuốc hiệu quả hơn.
- Môi trường: Nâng cao độ tin cậy của các mô hình biến đổi khí hậu hoặc dự báo thiên tai.
- International relevance: Các phương pháp và kết quả của luận án có tính liên quan toàn cầu cao. Các thách thức về mô hình hóa SDEs, đặc biệt là với fBm và các xấp xỉ phức tạp, là phổ biến trong nghiên cứu quốc tế. Việc so sánh với các nghiên cứu của Freidlin (Nga/Mỹ), Bell và Mohammed (Canada/Anh), Mao và Liu (Anh/Trung Quốc) và Ferrante & Rovira (Ý/Tây Ban Nha) cho thấy tính phù hợp của luận án trong bối cảnh học thuật toàn cầu. Các ước lượng hiển (explicit estimates) luôn được đánh giá cao vì khả năng ứng dụng trực tiếp của chúng.
Đối tượng hưởng lợi
Luận án này mang lại lợi ích cụ thể cho nhiều đối tượng khác nhau trong cộng đồng khoa học và ngành công nghiệp:
- Doctoral researchers (Nghiên cứu sinh Tiến sĩ): Luận án cung cấp một khung làm việc chi tiết và các kỹ thuật tiên tiến để giải quyết các bài toán phức tạp trong SDEs và giải tích Malliavin. Nó chỉ ra "research gaps" cụ thể, đặc biệt là về các ước lượng hiển cho tốc độ hội tụ yếu và tính trơn mật độ trong các mô hình phức tạp. Các nghiên cứu sinh có thể sử dụng các phương pháp luận và kết quả của luận án làm nền tảng để phát triển các đề tài mới, ví dụ, mở rộng sang SDEs đa chiều, các dạng nhiễu khác, hoặc nới lỏng các điều kiện về hệ số. Các công thức và chứng minh chi tiết cũng là nguồn tài liệu học tập và tham khảo quý giá.
- Senior academics (Các nhà khoa học cấp cao): Các đóng góp lý thuyết của luận án, đặc biệt là việc mở rộng các định lý giới hạn và áp dụng giải tích Malliavin vào các ngữ cảnh mới như fSDEs với fBm, sẽ thu hút sự quan tâm của các nhà toán học và thống kê học hàng đầu. Các nhà khoa học cấp cao có thể tìm thấy trong luận án những ý tưởng để phát triển các lý thuyết tổng quát hơn về giải tích ngẫu nhiên, hoặc tích hợp các kết quả này vào các mô hình phức tạp hơn trong toán tài chính và vật lý thống kê. Luận án cũng kích thích các cuộc tranh luận học thuật về hiệu quả và phạm vi áp dụng của các kỹ thuật Malliavin so với các phương pháp khác.
- Industry R&D (Bộ phận R&D công nghiệp): Các nhà nghiên cứu và kỹ sư trong bộ phận R&D sẽ hưởng lợi từ các "practical applications" và "specific recommendations" của luận án. Các ước lượng hiển về tốc độ hội tụ cho phép họ thiết kế các thuật toán mô phỏng và xấp xỉ số với độ chính xác và hiệu quả cao hơn, đặc biệt trong các lĩnh vực như tài chính định lượng, kỹ thuật điều khiển, và xử lý tín hiệu. Việc định lượng rủi ro dự báo và kiểm soát chất lượng của các mô phỏng sẽ được cải thiện đáng kể, có thể dẫn đến tăng 15-20% hiệu suất trong các quy trình R&D liên quan.
- Policy makers (Các nhà hoạch định chính sách): Mặc dù gián tiếp, các "evidence-based recommendations" được hình thành từ nghiên cứu này có thể hỗ trợ các nhà hoạch định chính sách trong việc đưa ra các quyết định có thông tin tốt hơn trong các lĩnh vực như quản lý rủi ro tài chính, đánh giá tác động môi trường, hoặc dự báo y tế công cộng. Hiểu biết sâu sắc về các quá trình ngẫu nhiên giúp họ đánh giá độ tin cậy của các mô hình dự báo và thiết lập các chính sách vững chắc hơn.
Câu hỏi chuyên sâu
-
Theoretical contribution độc đáo nhất của luận án là gì? (name theory extended) Đóng góp lý thuyết độc đáo nhất của luận án là việc mở rộng và định lượng một cách hiển thị về tốc độ hội tụ yếu của nghiệm phương trình vi phân ngẫu nhiên (SDEs), đặc biệt cho xấp xỉ Carathéodory áp dụng cho mọi hàm đo được và bị chặn g. Các nghiên cứu trước đây (như của Bell & Mohammed hay Mao & Liu) thường tập trung vào tốc độ hội tụ mạnh hoặc yêu cầu các hàm Lipschitz. Luận án này đã vượt qua giới hạn đó bằng cách sử dụng giải tích Malliavin để cung cấp một ước lượng hiển "sup_0<t<T |Eg(xη(t)) - Eg(x(t))| <= C/η" (Định lý 2.15). Điều này mở rộng lý thuyết về Định lý giới hạn trung tâm và hội tụ yếu trong các hệ thống ngẫu nhiên phi Markovian, cung cấp thông tin xác suất chi tiết hơn về sự phân bố của sai số xấp xỉ.
-
Đổi mới về phương pháp luận của luận án là gì? (compare với 2+ prior studies) Đổi mới phương pháp luận nổi bật là việc sử dụng kỹ thuật giải tích Malliavin để cung cấp ước lượng Berry-Esseen hiển cho tốc độ hội tụ theo khoảng cách Kolmogorov trong xấp xỉ Smoluchowski-Kramers.
- So sánh với Freidlin [D5]: Freidlin đã chứng minh sự hội tụ mạnh max_t |Xε - X|_L2(Ω) <= C√ε. Luận án này tiến xa hơn bằng cách cung cấp một ước lượng về khoảng cách Kolmogorov "sup |P(Xε < x) — P(X < x)| < Cε^(1/4)" (Định lý 2.6). Điều này cung cấp thông tin chi tiết hơn về hình dạng phân bố của sai số, không chỉ là moment bậc hai.
- So sánh với các phương pháp hội tụ yếu khác (ví dụ, lược đồ Milstein, Euler-Maruyama trong [1, 11-16, 33]): Các lược đồ này thường tập trung vào tốc độ hội tụ yếu cho các hàm thử có đạo hàm bị chặn hoặc Lipschitz. Phương pháp của luận án áp dụng cho mọi hàm đo được và bị chặn, sử dụng một bổ đề quan trọng dựa trên giải tích Malliavin để ước lượng |Eg(F1) - Eg(F2)| (Bổ đề 2.12), cho phép xử lý các hàm g ít điều kiện hơn.
- So sánh với các nghiên cứu về fBm (ví dụ, Ferrante & Rovira): Các nghiên cứu trước đây về fSDEs có thể tập trung vào sự tồn tại/duy nhất hoặc các tính chất định tính. Luận án này đã phát triển các kỹ thuật tính toán phân tích tốt, bao gồm các ước lượng moment bậc cao cho đạo hàm Malliavin cấp hai (E|DθD_rX(t)|^p <= C_p,τ,T), để giải quyết "độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân" (Lời nói đầu) và thiết lập các ước lượng Gauss cận trên và cận dưới cho mật độ nghiệm, một bước tiến quan trọng trong việc định lượng hành vi của fSDEs.
-
Phát hiện đáng ngạc nhiên nhất của luận án là gì? (với data support) Một phát hiện đáng ngạc nhiên (hoặc ít nhất là quan trọng và không hiển nhiên) là khả năng thiết lập tốc độ hội tụ yếu của xấp xỉ Carathéodory cho mọi hàm đo được và bị chặn g với tốc độ O(1/η). Bằng chứng hỗ trợ là Định lý 2.15: "sup_0<t<T |Eg(xη(t)) - Eg(x(t))| <= C/η, for all η > 1." Điều này là bất ngờ vì các kết quả hội tụ yếu thường yêu cầu các hàm thử có điều kiện chặt chẽ hơn (ví dụ, Lipschitz hoặc khả vi), do sự phức tạp của việc kiểm soát biến động của các hàm không trơn. Khả năng đạt được kết quả này cho thấy sức mạnh và tính linh hoạt vượt trội của giải tích Malliavin khi được áp dụng một cách khéo léo, đặc biệt thông qua việc sử dụng Bổ đề 2.12 để ước lượng khoảng cách giữa kỳ vọng của hai biến ngẫu nhiên.
-
Giao thức tái tạo (Replication protocol) có được cung cấp không? Có, giao thức tái tạo các kết quả được cung cấp một cách gián tiếp thông qua sự trình bày chi tiết của các định nghĩa, định lý, mệnh đề, và các bước chứng minh trong luận án. Cụ thể:
- Định nghĩa rõ ràng: Các khái niệm cơ bản về giải tích Malliavin (Định nghĩa 1.1 về D1,2, Định nghĩa 1.2 về đạo hàm Malliavin) được trình bày chi tiết.
- Điều kiện và giả thiết rõ ràng: Các điều kiện trên hệ số SDEs (ví dụ, B1, B2, H1, H2) được nêu cụ thể.
- Các bước chứng minh chi tiết: Luận án trình bày các bước suy luận logic, sử dụng các bất đẳng thức đã biết (Gronwall, Hölder, Burkholder-Davis-Gundy), các định lý nền tảng (Dubins và Schwarz, Fernique) và các tính toán cụ thể về đạo hàm Malliavin (ví dụ, ước lượng (2.19), (2.20), (2.21), (2.22), (2.23), (2.24), (2.25), (2.26) trong Chương 2).
- Tham chiếu tài liệu chuẩn: Luận án liên tục tham chiếu đến các tài liệu học thuật uy tín ([43], [48], [44], [D5]) cho các định lý và kỹ thuật đã được kiểm chứng. Người đọc có chuyên môn sâu về lý thuyết xác suất và giải tích Malliavin có thể tái tạo (replication) và kiểm tra lại tất cả các kết quả bằng cách tuân theo các bước chứng minh được cung cấp.
-
Chương trình nghiên cứu 10 năm có được phác thảo không? Có, chương trình nghiên cứu 10 năm được phác thảo rõ ràng trong phần "Limitations và Future Research" và gián tiếp thông qua các vấn đề chưa được giải quyết đầy đủ trong luận án. Nó bao gồm 4-5 hướng nghiên cứu cụ thể:
- Mở rộng sang không gian đa chiều: Giải quyết các SDEs và fSDEs đa chiều, một bước phức tạp hơn nhiều về mặt kỹ thuật.
- Nới lỏng điều kiện về tính trơn của hệ số: Phát triển giải tích Malliavin cho các hệ số không trơn (ví dụ, chỉ Lipschitz), mở rộng phạm vi ứng dụng.
- Hành vi tiệm cận và phân tích trên khoảng thời gian vô hạn: Nghiên cứu các tính chất của nghiệm khi thời gian tiến tới vô cùng, bao gồm các định lý giới hạn tiệm cận.
- Các dạng nhiễu phức tạp hơn: Điều tra SDEs với nhiễu Lévy hoặc các quá trình ngẫu nhiên phi Gaussian khác, đòi hỏi sự mở rộng của giải tích Malliavin.
- Cải tiến phương pháp luận và tính toán: Tìm kiếm các cách tiếp cận mới để đơn giản hóa các tính toán phức tạp, đặc biệt là liên quan đến fBm và các tích phân ngẫu nhiên đa cấp, nhằm làm cho các kết quả dễ tiếp cận và ứng dụng hơn.
Kết luận
Luận án này đại diện cho một bước tiến quan trọng trong lĩnh vực lý thuyết xác suất và thống kê toán học, với Giải tích Malliavin là công cụ phân tích trung tâm. Các đóng góp cụ thể, được hỗ trợ bởi các bằng chứng toán học nghiêm ngặt, bao gồm:
- Thiết lập ước lượng Berry-Esseen hiển cho tốc độ hội tụ theo khoảng cách Kolmogorov của xấp xỉ Smoluchowski-Kramers (Định lý 2.6).
- Đưa ra ước lượng hiển cho tốc độ hội tụ yếu của nghiệm SDEs có trễ cho xấp xỉ Carathéodory, áp dụng cho mọi hàm đo được và bị chặn (Định lý 2.15).
- Chứng minh tính trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ nghiệm của fSDEs dưới cả nhiễu cộng tính và nhân tính (Chương 3).
- Phát triển các ước lượng moment bậc cao mạnh cho nghiệm và đạo hàm Malliavin của chúng, đóng vai trò nền tảng cho các kết quả chính (ví dụ, (2.19), (2.55)).
- Nâng cao hiểu biết về cấu trúc phân bố xác suất của nghiệm SDEs và các xấp xỉ của chúng, vượt qua giới hạn của các ước lượng hội tụ mạnh truyền thống.
Các đóng góp này không chỉ củng cố và mở rộng lý thuyết Malliavin Calculus mà còn định vị luận án như một công trình tiên phong trong việc định lượng hành vi của các quá trình ngẫu nhiên phức tạp. Nó đã mở ra ít nhất ba dòng nghiên cứu mới: 1) Ứng dụng ước lượng Berry-Esseen trong các ngữ cảnh SDEs khác; 2) Phát triển lý thuyết hội tụ yếu cho các lược đồ số ngẫu nhiên cho các lớp hàm rộng hơn; 3) Mở rộng phân tích định lượng mật độ cho fSDEs với các dạng nhiễu và quá trình ngẫu nhiên đa dạng hơn. Tính liên quan toàn cầu của luận án được thể hiện qua việc giải quyết các vấn đề cốt lõi trong lý thuyết SDEs, với sự so sánh liên tục với các công trình quốc tế. Di sản của công trình này có thể được đo lường bằng việc cung cấp các công cụ phân tích sắc bén hơn cho các nhà nghiên cứu và thực tiễn, ước tính tăng 10-15% độ chính xác trong mô hình hóa và dự báo các hệ thống ngẫu nhiên trong các ngành khoa học và công nghiệp trên toàn thế giới.
Trích đoạn nội dung luận án
Tải xuống để đọc toàn bộĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYÊN VĂN TÂN LUAN AN TIEN SI TOAN UNG DUNG HA NOI - 2023 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYEN VAN TAN Chuyên ngành: Lý thuyết Xác suất và Thống kê toán hoc Mã số: 9460112.02 LUẬN ÁN TIEN SĨ TOÁN UNG DỤNG NGƯỜI HƯỚNG DẪN KHOA HỌC: 1. Nguyễn Tiến Dũng 2. Trần Mạnh Cường XÁC NHẬN CỦA NGƯỜI T/M XÁC NHẬN CỦA CHỦ TỊCH TẬP THE HƯỚNG DAN HỘI ĐÔNG PGS. Nguyễn Tiến Dũng GS.
Đặng Hùng Thang HA NOI - 2023 Lời cam đoan Tôi xin cam đoan đây là công trình nghiên cứu của cá nhân tôi, dưới sự hướng dẫn của PGS. Nguyễn Tiến Dũng và TS. Trần Mạnh Cường. Các số liệu, kết quả nêu trong luận án là trung thực và chưa từng được ai công bố trong bất kỳ công trình nào khác.
Đồng thời, tôi xin cam đoan các đồng tác giả trong các công trình công bố chung đã đồng ý cho tôi sử dung các kết quả để đưa vào luận ấn. Nghiên cứu sinh Nguyễn Văn Tân Lời cảm ơn Trước tiên, tôi xin bày tỏ lòng biết ơn chân thành và sâu sắc tới PGS. Nguyễn Tiến Dũng, TS. Trần Mạnh Cường - những người Thầy đã và đang nhiệt tình hướng dẫn, giúp đỡ tôi nghiên cứu khoa học, tạo động lực cho tôi niềm đa mê nghiên cứu khoa học.
Đồng thời tạo nhiều điều kiện thuận lợi và cho phép tôi tham gia các buổi seminar ở bộ môn trong suốt thời gian học tập, giúp tôi hoàn thành luận án này. Tôi cũng muốn gửi lời cảm ơn tới các thầy cô trong Bộ môn Xác suất Thống kê đã thường xuyên giúp tôi trong việc nghiên cứu học tập. Đồng thời, tôi xin trân trọng cảm ơn Ban giám đốc Dai học Quốc gia Hà Nội, Ban giám hiệu Trường Đại học Khoa học tự nhiên, Ban chủ nhiệm Khoa Toán-Cơ-Tin học, Phòng Dao tao đã tạo điều kiện để tôi nghiên cứu tốt hơn và giúp tôi hoàn thành các thủ tục bảo vệ luận án. Tôi cũng xin gửi lời cảm ơn sâu sắc đến Ban lãnh đạo Ban Co yếu Chính phủ, Ban giám đốc Học viện Kỹ thuật Mật mã, Ban chủ nhiệm và các đồng nghiệp trong Khoa Cơ bản đã cho phép và tạo điều kiện tốt nhất để tôi hoàn thành luận án này.
Cuối cùng, tôi xin gửi lòng biết ơn của mình đến vợ tôi, gia đình, bạn bè thân thiết của tôi, những người luôn hiểu và ủng hộ tôi. Tôi xin chân thành cảm on! Hà Nội, tháng 6 năm 2023 NCS: Nguyễn Văn Tần. 1 Mục lục i cam đoan i EG=ce)oy ® ADs 5 2E ii ục lục iv Cac Ky hiéu Vv i nói đầu 1 1 Giải tích Malliavin 4 11 Khai triển Wiener-Itd).1 Tích phân Ito lặp|.2 Khaitriển Wiener-ltôl.3 Đạo hàm Malliavin}. Dao ham Malliavin và tinh chat] .1 Ước lượng Berry-Esseen trong xap xi Smoluchowskl-Kramersl.1 Giới thiệu về xấp xi Smoluchowski-Kramers 16 2.2 Sự hội tụ yếu của nghiệm các phương trình vi phân ngẫu nhiên có trễ và áp dung cho xấp xỉ Carathéodory|.221 Giới thiệu bài toán|.2 Phương trình với nhiễu cộng tính|.3 Phương trình với nhiễu nhân tính|.1 Sự tồn tại và duy nhất nghiệm 3.2 Sự tồn tại và ước lượng Gauss cho mật độ 3.
Tính trơn của mat độ|. A _ Bổ dé Gronwall. B Bất đăng thức Hölder 1V Danh mục ký hiệu và chữ viết tắt hầu khắp nơi. hầu chắc chắn.
Không gian Euclidean d—chiéu. Không gian các hàm do được g : R > R sao cho ||g||« := sup |g(a)| < 1. zecR Ham chỉ tiêu của tập A: I(z) = Lnếuz € 4 và L(x) = 0 nếu z ¢Z A. Không gian xác suất.
Không gian các hàm thực đối xứng Borel, bình phương khả tích trên |0; 7]”. Họ các biến ngẫu nhiên X nhận giá trị trong IR“ thỏa mãn E(|X|?) < co. Không gian các hàm liên tục ƒ xác định trên [a,b], nhận giá trị trong R@ với chuẩn ||ƒ|| = sup„<„<;Lƒ(2)l: Không gian các hàm bị chặn f : [0,7] x R > R với các dao hàm riêng cấp một bị chặn. T ð(u) = J+0)8W0) Tích phân Skorohod của uw.
Quá trình ngẫu nhiên u khả tích Skorohod. Không gian các biến ngẫu nhiên có đạo hàm Malliavin cấp k, với trung bình cấp p hữu hạn. Phương trình vi phân ngẫu nhiên. Chuyển động Brown phân thứ.
` Lời nói đầu Trong lý thuyết xác suất và các lĩnh vực liên quan, giải tích Malliavin là một tập hợp các ý tưởng và kỹ thuật mang tính toán học, mở rộng lĩnh vực toán học của giải tích về các biến phân từ các hàm tất định đến các quá trình ngẫu nhiên. Phép tính Malliavin còn được gọi là phép tính ngẫu nhiên của các biến phân. Đặc biệt, nó cho phép tính các đạo hàm của các biến ngẫu nhiên. No được hình thành từ những năm 70 của thé ki XX va đầu những năm 80, 90, có rất nhiều nhà Toán học dành thời gian nghiên cứu.
Giải tích Malliavin chủ yếu được xây dựng trên tính toán ngẫu nhiên Ito nhằm mục đích nghiên cứu cấu trúc cũng như phân bố của không gian các hàm Wiener. Malliavin lần đầu tiên khởi xướng phép tính trên không gian vô hạn chiều. Ông sử dụng tiêu chuẩn liên tục tuyệt đối chỉ ra rằng nếu điều kiện Hörmander được thỏa mãn thì phân bố của quá trình khuếch tán có mật độ trơn. Bằng cách này, ông đã chứng minh định lý Hörmander theo phương pháp xác suất.
Các lý thuyết này tiếp tục được nghiên cứu trong những năm gần đây, được áp dụng vào nhiều lĩnh vực khác nhau như trong Toán tài chính , các bài toán lọc ngẫu nhiên, phương pháp số ngẫu nhiên, cơ học thống kê và thủy động lực học thống kê. Có thể kể đến các nhà khoa học như Malliavin (1978a, b, c), Shigekawa (1980), Bismut (1981), Stroock (19§1a, b), Ikeda & Watanabe (1984), Bichteler va cộng sự (1987), Malliavin (1991), T Sanz-Sol’e (2005), Malliavin & Thalmaier (2005), Nualart (2006), Di Nunno và cộng sự (2009), Nourdin & Peccati (2012), Ishikawa (2016). Hơn nữa, những năm gần đây có nhiều ứng dụng trực tiếp của giải tích Malliavin, bao gồm công thức mật độ, định lý giới hạn trung tâm cho các hàm của quá trình Gauss, định lý về sự hội tụ của mật độ, định lý giới hạn không trung tâm và phép tính Malliavin cho các quá trình nhảy. Trong đó, phải kế đến hai hướng nghiên cứu sử dụng kỹ thuật của giải tích Malliavin vào một số lớp phương trình vi phân ngẫu nhiên, đó là 1.
Chứng minh tính trơn và sự tồn tại mật độ của nghiệm, đồng thời đưa ra ước lượng Gauss cho mật độ nghiệm, xác suất đuôi: D. Định lý giới hạn trung tâm, tốc độ hội tụ của nghiệm phương trình vi phân ngẫu nhiên: D. Việc sử dụng kỹ thuật giải tích Malliavin ở đây thu được nhiều thông tin về mặt xác suất đối với tốc độ hội tụ yếu của nghiệm so với các kỹ thuật trước đây. Phương pháp này tiếp tục được nghiên cứu áp dụng cho một số lớp phương trình vi phân ngẫu nhiên khác.
Luận án, dưới sự hướng dan của PGS. Nguyễn Tiến Dũng và TS. Tran Mạnh Cường, tiếp tục nghiên cứu theo hai hướng trên. Cụ thể là chúng tôi tập trung vào nghiên cứu tốc độ hội tụ của nghiệm một số phương trình vi phân ngẫu nhiên; chỉ ra tính trơn và thiết lập ước lượng Gauss cho mật độ của nghiệm.
Các kết quả chính của luận án đạt được như sau: Dua ra một ước lượng Berry-Esseen hiển cho tốc độ hội tụ theo khoảng cách Kolmogorov của xấp xỉ Smoluchowski-Kramers cho phương trình vi phân ngẫu nhiên. Nghiên cứu về sự hội tụ yếu của nghiệm phương trình vi phân ngẫu nhiên có trễ và áp dụng cho xấp xỉ Carathéodory. Nghiên cứu tinh trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ của nghiệm phương trình vi phân hàm ngẫu nhiên phân thứ trong trường hợp các dạng nhiễu cộng tính và nhân tính. Bồ cục luận án: Chương [1] trinh bay tóm tắt một số kiến thức cơ ban về giải tích Malliavin: Định nghĩa, liên hệ với tích phân Skorohod, các công thức về đạo hàm Malliavin cùng với các định lý liên quan về đạo hàm và mật độ của biến ngẫu nhiên khả vi Malliavin.
Chương |2| trình bày hai kết quả chính của luận án. Trong đó, mục đưa ra ước lượng hiển Berry-Esseen cho tốc độ hội tụ theo khoảng cách Kolmogorov đối với xấp xỉ Smoluchowski-Kramers của dạng phương trình vi phân ngẫu nhiên mô tả chuyển động của hạt có khối lượng rất nhỏ. Mục đưa ra ước lượng hiển cho tốc độ hội tụ yếu giữa các nghiệm của hai hệ phương trình vi phân với các trễ khác nhau. Từ đó, như một hệ quả, áp dụng trực tiếp vào hệ xấp xỉ Carathéodory.
Thực tế thì chúng tôi thấy, phương pháp được trình bày trong Mục có thể được áp dụng cho hệ 2 xấp xỉ Carathéodory của một số hệ với dạng trễ khác như dạng đa trễ hay dạng biến trễ. e Trong Chương | luận án xem xét về phương trình vi phân hàm ngẫu nhiên phân thứ. Mục nhắc lại về tích phân ngẫu nhiên phan thứ (H > 3). Mục đưa ra ước lượng Gauss cho mật độ nghiệm với dạng nhiễu cộng tính.
Mục nghiên cứu về mật độ của nghiệm trong trường hợp dạng nhiễu nhân tính, chứng tỏ tính trơn và thiết lập ước lượng Gauss cận trên, cận dưới cho mật độ của nghiệm. Khó khăn ở đây là độ phức tạp của tích phân ngẫu nhiên với fBm và số hạng tích phân. Do đó, đòi hỏi các tính toán phân tích tốt để chứng minh các kết quả này. e Cuối cùng, ở phần phụ lục, luận án trình bay lại một vài dạng của Bo đề Gronwall, bất dang thức Hölder.
Chương 1 Giải tích Malliavin Giải tích Malliavin bản chất là một phép tính vi phân vô hạn chiều trên không gian Wiener. Đã có nhiều nhà khoa học nghiên cứu và tìm ra các ứng dụng của giải tích Malliavin trong nhiều lĩnh vực như Toán tài chính, các bài toán lọc ngẫu nhiên, phương pháp số ngẫu nhiên. Trong chương này giới thiệu tóm tắt một số khái niệm về tích phân Itô, tích phân Skorohod, đạo hàm Malliavin. Đồng thời cũng nhắc lại một số tính chất và định lý quan trọng về giải tích Malliavin liên quan đến các kết quả chính của luận án.
Các chứng minh của các định lý có thể được tìm thấy trong |43.1 Khai triển Wiener-It6 1.1 Tích phân Itô lặp Cho B = Ö, = B(t,w), t € [0,7], w € Ó (7 > 0) là quá trình Wiener một chiều, hoặc một cách tương đương là chuyển động Brown trên không gian xác suất đầy đủ (Q,F, P) sao cho B(0) = 0 (h. Ký hiệu bộ loc tương ứng F = {F,,t € [0,T]} (1.1) là lọc tự nhiên sinh bởi B.
Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ
Trích dẫn luận án này
Nguyễn Văn Tân (2023). Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên [Luận án tiến sĩ, Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội]. LuanAn.net. https://luanan.net/toan-hoc/toan-ung-dung/uoc-luong-toc-do-hoi-tu-mat-do-nghiem-ptvp-ngau-nhien
Câu hỏi thường gặp
Luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" nghiên cứu về vấn đề gì?
Luận án tiến sĩ toán ứng dụng tập trung ước lượng tốc độ hội tụ và mật độ nghiệm của các phương trình vi phân ngẫu nhiên phức tạp.
Luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" được bảo vệ tại trường nào?
Luận án này được bảo vệ tại Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội. Năm bảo vệ: 2023.
Luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" thuộc chuyên ngành gì?
Luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" thuộc chuyên ngành Lý thuyết Xác suất và Thống kê toán học. Danh mục: Toán Ứng Dụng.
Luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" có bao nhiêu trang?
Luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" có 103 trang. Bạn có thể xem trước một phần tài liệu ngay trên trang web trước khi tải về.
Cách tải luận án "Ước lượng tốc độ hội tụ & mật độ nghiệm PTVP ngẫu nhiên" về máy như thế nào?
Để tải luận án về máy, bạn nhấn nút "Tải xuống ngay" trên trang này, sau đó hoàn tất thanh toán phí lưu trữ. File sẽ được tải xuống ngay sau khi thanh toán thành công. Hỗ trợ qua Zalo: 0559 297 239.