LỜI MỞ ĐẦU
Xác Suất Thống Kê là lĩnh vực Toán học ứng dụng, nó đòi hỏi một cơ sở toán học sâu sắc. Ngày nay các mô hình Xác Suất đã thực sự được ứng dụng rộng rãi trong Khoa Học Tự Nhiên cũng như Khoa Học Xã Hội.
Trong luận văn này, nghiên cứu về khai triển trực giao của hàm ngẫu nhiên. Về mặt lý thuyết chúng có nhiều tính chất thú vị liên hệ với các quá trình ngẫu nhiên khác. Về mặt ứng dụng chúng trở thành công cụ toán học có hiệu lực cho nhiều vấn đề trong các lĩnh vực khác nhau như toán học, vật lý, sinh học, cơ học, khoa học trái đất, kinh tế
Luận văn này gồm 3 chương :
Chương 1 : “MỘT SỐ KIẾN THỨC CƠ BẢN “
Trong chương này nghiên cứu và nhắc lại kiến thức cơ bản cần cho luận văn này, cần đọc kỹ các khái niệm và nắm vững các kết quả như được mở đầu bằng việc giới thiệu không gian Hilbert gồm các biến ngẫu nhiên bình phương khả tích với vô hướng là hiệp phương sai của hai biến ngẫu nhiên, dùng phép chiếu trực giao để xây dựng phép xấp xỉ tuyến tính và lập phương trình dự đoán, tiếp theo nêu khái niệm kỳ vọng có điều kiện và chứng tỏ rằng kỳ vọng có điều kiện là dự đoán tốt nhất. Khai triển chính tắc của quá trình ngẫu nhiên cũng được nghiên cứu trong chương này. Ngoài ra còn nghiên cứu quá trình Wiener và tích phân Ito là hai khái niệm quan trọng khi nghiên cứu về quá trình ngẫu nhiên. Đây là những khái niệm cơ bản và là cơ sở để nghiên cứu những vấn đề tiếp theo.
Chương 2 : “ ĐA THỨC HERMITE VÀ KHAI TRIỂN FOURIER – HERMITE “
Chương này nghiên cứu các định nghĩa, các tính chất và bổ đề của đa thức Hermite và tính chất của khai triển Fourier – Hermite. Một vài bổ đề ứng dụng được chứng minh trong chương này là công cụ chính để ta sử dụng tiếp cho chương sau.
Chương 3 : “ QUÁ TRÌNH NGẪU NHIÊN DẠNG HERMITE ”
Chương này mở rộng đa thức Hermite của chương 2 đó là nghiên cứu quá trình ngẫu nhiên dạng Hermite. Bắt đầu khái niệm về quá trình ngẫu nhiên dạng Hermite. Sau đó mở rộng khái niệm là xác định hàm Hermite chuẩn suy rộng, sử dụng chúng để thu được tập trực chuẩn đầy đủ trong và . Cuối cùng nghiên cứu và nêu được một số đặc tính của vi phân ngẫu nhiên đối với quá trình ngẫu nhiên dạng Hermite.\
MỤC LỤC
Trang
Lời cảm ơn . 1
Lời nói đầu . 2
Mục lục . 4
CHƯƠNG I MỘT SỐ KIẾN THỨC CƠ BẢN . 7
§1.1 Không gian [IMG]file:///C:/DOCUME%7E1/TRUNGD%7E1/LOCALS%7E1/Temp/msohtmlclip1/01/clip_image002.gif[/IMG] 7
1.1.1 Biến ngẫu nhiên 7
1.1.2 Định nghĩa 7
1.1.3 Định nghĩa 8
1.1.4 Tính chất 9 1.1.5 Định lý (Định lý về phép chiếu trong không gian Hilbert) 9
1.1.6 Tính chất của phép chiếu . 12 1.1.7 Phép xấp xỉ tuyến tính trong L2 12
1.1.8 Phương trình dự đoán . 13
1.1.9 Kỳ vọng có điều kiện và dự đoán tốt nhất trong L2 14
§1.2 Khai triển chính tắc của quá trình ngẫu nhiên .16
1.2.1 Quá trình ngẫu nhiên biểu diễn dưới dạng tổng các hàm ngẫu nhiên cơ bản 16
1.2.2 Khai triển chính tắc quá trình ngẫu nhiên 18
1.2.3 Đưa quá trình ngẫu nhiên về dạng chính tắc 20
1.2.4 Mốt số khai triển chính tắc đặc biệt 22
§1.3 Cơ sở trực giao và trực chuẩn trong không gian Hilbert 25
1.3.1 Định nghĩa (Trực giao và trực chuẩn) 25 1.3.2 Định nghĩa ( Cơ sở ) 25
1.3.3 Định nghĩa ( Cơ sở trực giao và trực chuẩn ) 26
1.3.4 Định nghĩa ( Phép chiếu trực giao ) 26
§1.4 Quá trình Wiener 27
1.4.1 Định nghĩa ( Quá trình Wiener ) 27
1.4.2 Các tính chất quá trình Wiener và độ đo 27
1.4.3 Quá trình Wiener n - chiều 37
§1.5 Tích phân Ito 39
1.5.1 Định nghĩa 39
1.5.2 Các tính chất cơ bản của tích phân Ito 40
1.5.3 Tích phân Ito nhiều chiều 43
1.5.4 Vi phân ngẫu nhiên của hàm hợp, công thức Ito . 44
CHƯƠNG 2 ĐA THỨC HERMITE VÀ KHAI TRIỂN FOURIER –
HERMITE
§2.1 Đa thức Hermite 48
Định nghĩa 48Liên hệ giữa đa thức trực giao và đa thức Hermite 49Đạo hàm của đa thức Hermite 50Các bổ đề của đa thức Hermite 53
§2.2 Khai triển Fourier – Hermite của hàm biến ngẫu nhiên Gauss 57
2.2.1 Khai triển Fourier – Hermite 57 2.2.2 Tính chất 58
CHƯƠNG 3 QUÁ TRÌNH NGẪU NHIÊN DẠNG HERMITE 60
§3.1 Khái niệm về quá trình ngẫu nhiên dạng Hermite 60
Định nghĩa 60Các ví dụ 60
§3.2 Tập trực chuẩn đầy đủ trong [IMG]file:///C:/DOCUME%7E1/TRUNGD%7E1/LOCALS%7E1/Temp/msohtmlclip1/01/clip_image004.gif[/IMG] và [IMG]file:///C:/DOCUME%7E1/TRUNGD%7E1/LOCALS%7E1/Temp/msohtmlclip1/01/clip_image006.gif[/IMG] . 62
Định nghĩa 62Các tính chất 62Định nghĩa . 64Tính chất 65
§3.3 Một số đặc tính của vi phân ngẫu nhiên 66
Định nghĩa 66Định lý 67Bổ đề 67Hệ quả 69Các tính chất của quá trình dạng Hermite 70
KẾT LUẬN 74
TÀI LIỆU THAM KHẢO 75
79 trang |
Chia sẻ: lvcdongnoi | Lượt xem: 4349 | Lượt tải: 1
Bạn đang xem trước 20 trang tài liệu Khai triển trực giao của hàm ngẫu nhiên, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
LỜI CẢM ƠN
Lời đầu tiên tôi xin gởi đến Thầy – TS DƯƠNG TÔN ĐẢM lòng biết ơn sâu sắc về sự hướng dẫn và giúp đỡ của Thầy đối với tôi trong suốt thời gian học tập cũng như trong việc hoàn thành luận văn này. Thầy đã truyền đạt cho tôi những ý tưởng, cảm hứng về đề tài này. Thầy không những giúp đỡ tôi về chuyên môn mà còn giúp tôi về tinh thần trong những lúc tôi gặp khó khăn.
Tôi cũng chân thành cảm ơn :
* Các thầy cô trong bộ môn Xác Suất Thống Kê đặc biệt các Thầy PGS. TS NGUYỄN BÁC VĂN, TS TÔ ANH DŨNG, GS. TSKH NGUYỄN VĂN THU đã giảng dạy và truyền đạt cho tôi những kiến thức trong những năm học cao học..
* Quý Thầy Cô thuộc Khoa Toán - Tin trường Đại Học Khoa Học Tự Nhiên TPHCM đã tận tình hướng dẫn cung cấp tài liệu, trang bị nhiều kiến thức cần thiết cho tôi trong suốt thời gian học lớp cao học.
* Tất cả các thầy trong hội đồng chấm luận văn đã dành cho tôi thời gian quý báu và những nhận xét cho buổi bảo vệ luận văn.
* Các bạn học viên cao học Khóa 16 đã hổ trợ rất nhiều cho tôi về mọi mặt trong thời gian qua.
Cuối cùng tôi xin chân thành cảm ơn gia đình và các bạn bè đã động viên, giúp đỡ và hỗ trợ tinh thần cho tôi trong suốt thời gian qua.
TP Hồ Chí Minh, tháng 05 năm 2009
TRẦN THỊ VÂN ANH
LỜI MỞ ĐẦU
Xác Suất Thống Kê là lĩnh vực Toán học ứng dụng, nó đòi hỏi một cơ sở toán học sâu sắc. Ngày nay các mô hình Xác Suất đã thực sự được ứng dụng rộng rãi trong Khoa Học Tự Nhiên cũng như Khoa Học Xã Hội.
Trong luận văn này, nghiên cứu về khai triển trực giao của hàm ngẫu nhiên. Về mặt lý thuyết chúng có nhiều tính chất thú vị liên hệ với các quá trình ngẫu nhiên khác. Về mặt ứng dụng chúng trở thành công cụ toán học có hiệu lực cho nhiều vấn đề trong các lĩnh vực khác nhau như toán học, vật lý, sinh học, cơ học, khoa học trái đất, kinh tế …
Luận văn này gồm 3 chương :
Chương 1 : “MỘT SỐ KIẾN THỨC CƠ BẢN “
Trong chương này nghiên cứu và nhắc lại kiến thức cơ bản cần cho luận văn này, cần đọc kỹ các khái niệm và nắm vững các kết quả như được mở đầu bằng việc giới thiệu không gian Hilbert gồm các biến ngẫu nhiên bình phương khả tích với vô hướng là hiệp phương sai của hai biến ngẫu nhiên, dùng phép chiếu trực giao để xây dựng phép xấp xỉ tuyến tính và lập phương trình dự đoán, tiếp theo nêu khái niệm kỳ vọng có điều kiện và chứng tỏ rằng kỳ vọng có điều kiện là dự đoán tốt nhất. Khai triển chính tắc của quá trình ngẫu nhiên cũng được nghiên cứu trong chương này. Ngoài ra còn nghiên cứu quá trình Wiener và tích phân Ito là hai khái niệm quan trọng khi nghiên cứu về quá trình ngẫu nhiên. Đây là những khái niệm cơ bản và là cơ sở để nghiên cứu những vấn đề tiếp theo.
Chương 2 : “ ĐA THỨC HERMITE VÀ KHAI TRIỂN FOURIER – HERMITE “
Chương này nghiên cứu các định nghĩa, các tính chất và bổ đề của đa thức Hermite và tính chất của khai triển Fourier – Hermite. Một vài bổ đề ứng dụng được chứng minh trong chương này là công cụ chính để ta sử dụng tiếp cho chương sau.
Chương 3 : “ QUÁ TRÌNH NGẪU NHIÊN DẠNG HERMITE ”
Chương này mở rộng đa thức Hermite của chương 2 đó là nghiên cứu quá trình ngẫu nhiên dạng Hermite. Bắt đầu khái niệm về quá trình ngẫu nhiên dạng Hermite. Sau đó mở rộng khái niệm là xác định hàm Hermite chuẩn suy rộng, sử dụng chúng để thu được tập trực chuẩn đầy đủ trong và . Cuối cùng nghiên cứu và nêu được một số đặc tính của vi phân ngẫu nhiên đối với quá trình ngẫu nhiên dạng Hermite.
MỤC LỤC
Trang
Lời cảm ơn ………………………………………………………………. 1
Lời nói đầu ………………………………………………………………. 2
Mục lục …………………………………………………………………... 4
CHƯƠNG I MỘT SỐ KIẾN THỨC CƠ BẢN………………………. 7
§1.1 Không gian …………………………………….. 7
1.1.1 Biến ngẫu nhiên ……………………………………… 7
1.1.2 Định nghĩa …………………………………………… 7
1.1.3 Định nghĩa ………………………………………….... 8
1.1.4 Tính chất ……………………………………………… 9 1.1.5 Định lý (Định lý về phép chiếu trong không gian Hilbert) 9
1.1.6 Tính chất của phép chiếu ………………………………... 12 1.1.7 Phép xấp xỉ tuyến tính trong L2………………………… 12
1.1.8 Phương trình dự đoán ………………………………… . 13
1.1.9 Kỳ vọng có điều kiện và dự đoán tốt nhất trong L2……… 14
§1.2 Khai triển chính tắc của quá trình ngẫu nhiên ………………….16
1.2.1 Quá trình ngẫu nhiên biểu diễn dưới dạng tổng các hàm ngẫu nhiên cơ bản……………………………………………… 16
1.2.2 Khai triển chính tắc quá trình ngẫu nhiên ……………… 18
1.2.3 Đưa quá trình ngẫu nhiên về dạng chính tắc…………… 20
1.2.4 Mốt số khai triển chính tắc đặc biệt…………………… 22
§1.3 Cơ sở trực giao và trực chuẩn trong không gian Hilbert………… 25
1.3.1 Định nghĩa (Trực giao và trực chuẩn) ………………25 1.3.2 Định nghĩa ( Cơ sở ) …………………………………… 25
1.3.3 Định nghĩa ( Cơ sở trực giao và trực chuẩn ) ………… 26
1.3.4 Định nghĩa ( Phép chiếu trực giao ) ………………………26
§1.4 Quá trình Wiener ……………………………………… 27
1.4.1 Định nghĩa ( Quá trình Wiener )………………………… 27
1.4.2 Các tính chất quá trình Wiener và độ đo …………………27
1.4.3 Quá trình Wiener n - chiều ……………………………… 37
§1.5 Tích phân Ito … ……………………………………………… 39
1.5.1 Định nghĩa ……………………………………………….. 39
1.5.2 Các tính chất cơ bản của tích phân Ito …………………… 40
1.5.3 Tích phân Ito nhiều chiều ……………………………… 43
1.5.4 Vi phân ngẫu nhiên của hàm hợp, công thức Ito …......... 44
CHƯƠNG 2 ĐA THỨC HERMITE VÀ KHAI TRIỂN FOURIER –
HERMITE
§2.1 Đa thức Hermite …………………………………………………..48
Định nghĩa ………………………………………………..48
Liên hệ giữa đa thức trực giao và đa thức Hermite ………49
Đạo hàm của đa thức Hermite ……………………………50
Các bổ đề của đa thức Hermite ………………………… 53
§2.2 Khai triển Fourier – Hermite của hàm biến ngẫu nhiên Gauss 57
2.2.1 Khai triển Fourier – Hermite …………………………57 2.2.2 Tính chất ……………………………………………… 58
CHƯƠNG 3 QUÁ TRÌNH NGẪU NHIÊN DẠNG HERMITE… 60
§3.1 Khái niệm về quá trình ngẫu nhiên dạng Hermite……………… 60
Định nghĩa ………………………………………………..60
Các ví dụ ………………………………………………… 60
§3.2 Tập trực chuẩn đầy đủ trong và …………… ... 62
Định nghĩa ……………………………………………… 62
Các tính chất …………………………………………… 62
Định nghĩa ………………………………………………. 64
Tính chất ………………………………………………… 65
§3.3 Một số đặc tính của vi phân ngẫu nhiên ………………………… 66
Định nghĩa ………………………………………………..66
Định lý ……………………………………………………67
Bổ đề …………………………………………………… 67
Hệ quả …………………………………………………… 69
Các tính chất của quá trình dạng Hermite……………… 70
KẾT LUẬN …………………………………………………… 74
TÀI LIỆU THAM KHẢO…………………………………….. 75
CHƯƠNG 1
MỘT SỐ KIẾN THỨC CƠ BẢN
§1.1 KHÔNG GIAN
Phần này giới thiệu không gian các biến ngẫu nhiên bình phương khả tích L2()
1.1.1 BIẾN NGẪU NHIÊN
Biến ngẫu nhiên là đại lượng mà giá trị của nó phụ thuộc vào kết quả của thí nghiệm . Ta định nghĩa chính xác biến ngẫu nhiên là :
Xét phép thử ngẫu nhiên với tập và - đại số F các biến cố
Biến ngẫu nhiên là ánh xạ sao cho:
hoặc :
B
với B là tập các tập Borel trong R .
Ta chỉ xét những tập B sao cho là biến cố, tức F, khi đó lớp tất cả các biến cố là lớp biến cố cảm sinh bởi biến số ngẫu nhiên .
1.1.2 ĐỊNH NGHĨA
Ta xét không gian xác suất và lớp các biến ngẫu nhiên bình phương khả tích được định nghĩa trên và thỏa mãn điều kiện :
Khi đó, ta có :
Mặt khác:
Nên , ta cũng có :
Kí hiệu là không gian Hilbert các đại lượng ngẫu nhiên X sao cho .
Với hai phần tử ta định nghĩa tích vô hướng trong là
. (1.1)
Không gian là tập các lớp tương đương với tích vô hướng được định nghĩa theo công thức (1.1), mặt khác vì mỗi lớp tương đương được xác định duy nhất bằng cách lấy một phần tử bất kì nào đó của lớp làm đại diện nên ta vẫn dùng kí hiệu X, Y để chỉ các phần tử của , ta có thể dùng ngắn gọn và vẫn gọi đó là những biến ngẫu nhiên bình phương khả tích và ta chú ý rằng nếu chỉ có X thì hiểu rằng X là đại diện cho cả một lớp các biến ngẫu nhiên tương đương với X.
1.1.3 ĐỊNH NGHĨA
Sự hội tụ trong L2 là sự hội tụ bình phương trung bình viết là nghĩa là, dãy các phần tử , được gọi là hội tụ đến X nếu và chỉ nếu :
khi
Để xây dựng tính đầy của L2 là không gian Hilbert ta còn phải xây dựng tính đầy của L2 nghĩa là nếu khi thì tồn tại sao cho:
Ta xét tính chất :
1.1.4 TÍNH CHẤT
Nếu và ; n = 1, 2, 3… thì tồn tại một biến ngẫu nhiên X trên sao cho .
Chứng minh:
Chọn = 0
Đặt Xn : = , khi đó theo bất đẳng thức Cauchy – Schward, ta có :
E ( ) =
Từ đó, suy ra tồn tại và giới hạn đó hữu hạn.
Như thế
tồn tại.
1.1.5 ĐỊNH LÝ (Định lý về phép chiếu trong không gian Hilbert)
Nếu A là một không gian con đóng của không gian Hilbert H và thì:
a) Tồn tại duy nhất một phần tử sao cho
b)và nếu và chỉ nếu và
x’ được gọi là chiếu (trực giao) của x lên A, viết là
Định lý này được gọi là định lý về phép chiếu trực giao.
Chứng minh:
a) Nếu thì tồn tại một dãy , sao cho .
Hơn nữa, với k, l bất kì thuộc không gian Hilbert, theo quy tắc đường chéo hình bình hành ta có :
Do đó, xét
Ta có:
tức là:
Mặt khác, vì:
khi
Từ đó theo tiêu chuẩn Cauchy, sao cho và vì A đóng nên và vì tính liên tục của tích vô hướng nên :
Để chứng minh tính duy nhất của x’ ta giả sử có sao cho:
khi đó dùng tính chất hình bình hành ta có :
b) Nếu và thì x’ là phần tử duy nhất của A được định nghĩa trong a) vì với bất kỳ có :
dấu “ = “ đạt được khi và chỉ khi .
Ngược lại, nếu và thì x không là phần tử của A và có phần tử x’’ :
với x’’ gần x’ hơn x, với y là phần tử bất kỳ của A sao cho:
và
Thật vậy,
1.1.6 TÍNH CHẤT CỦA PHÉP CHIẾU
i) .
ii)
trong đó I là phép đồng nhất.
iii) tồn tại duy nhất một biểu diễn:
;
iv) khi và chỉ khi
v) khi và chỉ khi .
vi) nếu và chỉ nếu .
vii) nếu và chỉ nếu .
1.1.7 PHÉP XẤP XỈ TUYẾN TÍNH TRONG L2
Giả sử X1, X2 và Y là những biến ngẫu nhiên trong L2, nếu chỉ có thể quan sát được X1, X2 mà ta ước lượng giá trị của Y bằng cách dùng tổ hợp tuyến tính: , sao cho sai sót M dưới đây có trung bình bình phương đạt giá trị nhỏ nhất, nghĩa là sao cho:
min
Ta có thể viết :
.
Lấy đạo hàm riêng của M lần lượt đối với ,, dẫn đến hệ phương trình cho nghiệm tối ưu
(1.4)
Ngoài ra, ta có thể dùng định lý hình chiếu trong không gian Hilbert L2 .
Ta đặt vấn đề tìm phần tử Y’ trong tập đóng A :
với ,
sao cho :
với .
Như vậy, theo định lí chiếu trong không gian Hilbert và Y’ thỏa điều kiện trên khi và chỉ khi và và do đó
,
tức là :
Áp dụng tính chất của tích vô hướng đã định nghĩa ở trên ta suy ra (1.4).
1.1.8 PHƯƠNG TRÌNH DỰ ĐOÁN
Cho không gian Hilbert , một tập con đóng và một phần tử , định lý chiếu trong không gian Hilbert khẳng định rằng tồn tại duy nhất một phần tử sao cho:
(1.5)
Phương trình (1.5 ) gọi là phương trình dự đoán và phần tử là dự đoán tốt nhất của X trong A. Hay ta có thể nói dự đoán tốt nhất của X trong A là chiếu của X trong A.
1.1.9 KỲ VỌNG CÓ ĐIỀU KIỆN VÀ DỰ ĐOÁN TỐT NHẤT TRONG L2
Như ta đã nói ở trên, nếu , thì khi và chỉ khi: khi
Một số tính chất của sự hội tụ theo nghĩa bình phương trung bình
Nếu thì khi
i)
ii)
iii)
Định nghĩa 1: ( Dự đoán bình phương trung bình tốt nhất của Y)
Nếu A là một không gian con đóng của thì dự đoán bình phương tốt nhất của Y trong A được định nghĩa là phần tử sao cho :
Định nghĩa 2: ( Kỳ vọng có điều kiện )
Nếu A là một không gian con đóng trong L2 và chứa các hàm hằng, nếu thì ta định nghĩa kỳ vọng có điều kiện của X với A cho trước là phép chiếu
Mặt khác, vì toán tử là toán tử chiếu trên L2 nên có các tính chất phép chiếu :
i)
ii) nếu
iii) nếu
§1.2 KHAI TRIỂN CHÍNH TẮC CỦA QUÁ TRÌNH NGẪU NHIÊN
1.2.1 QUÁ TRÌNH NGẪU NHIÊN BIỄU DIỄN DƯỚI DẠNG TỔNG CÁC HÀM NGẪU NHIÊN CƠ BẢN
Định nghĩa ( Hàm ngẫu nhiên cơ bản )
Hàm ngẫu nhiên cơ bản là hàm có dạng :
(1.6)
trong đó :
C là một đại lượng ngẫu nhiên
là hàm không ngẫu nhiên của biến số
Các đặc trưng của hàm ngẫu nhiên cơ bản
Kỳ vọng :
trong đó :
là kỳ vọng của đại lượng ngẫu nhiên C
* Nếu thì
* Khi xét các hàm ngẫu nhiên cơ bản có kỳ vọng bằng không , ta kí hiệu là =>
Hàm tự tương quan của hàm ngẫu nhiên cơ bản :
trong đó :
là phương sai của đại lượng ngẫu nhiên C
Đối với các hàm ngẫu nhiên cơ bản, ta có các phép biến đổi tuyến tính
+ Phép toán đạo hàm :
+ Phép toán tích phân xác định :
Nếu G là một toán tử tuyến tính , ta có :
Định nghĩa ( Quá trình ngẫu nhiên theo các hàm cơ bản)
Cho quá trình ngẫu nhiên :
(1.7)
trong đó : là các đại lượng ngẫu nhiên có kỳ vọng bằng 0,
là kỳ vọng của .
Biểu thức (1.7) được gọi là khai triển của quá trình ngẫu nhiên theo các hàm cơ bản.
với : + các đại lượng ngẫu nhiên , được gọi là hệ số khai triển.
+ các hàm không ngẫu nhiên , được gọi là các hàm tọa độ.
Đặc trưng của quá trình ngẫu nhiên theo các hàm cơ bản
Giả sử biểu diễn được dưới dạng (1.7) , khi đó :
Xét một toán tử tuyến tính G tác động lên , ta sẽ có :
`
Đặt và
Khi đó :
Ta thu được theo các hàm cơ bản với các hệ số .
Như vậy, nếu quá trình ngẫu nhiên khai triển dưới dạng tổng các hàm cơ bản, qua phép biến đổi tuyến tính G thì các hệ số khai triển không thay đổi, còn kỳ vọng và các hàm tọa độ bị tác động theo phép biến đổi tuyến tính.
1.2.2 KHAI TRIỂN CHÍNH TẮC CỦA QUÁ TRÌNH NGẪU NHIÊN
Giả sử quá trình ngẫu nhiên khai triển dưới dạng :
,
trong đó : là các đại lượng ngẫu nhiên có kỳ vọng bằng 0 và ma trận tương quan .
Xét hàm tự tương quan và phương sai của
trong đó :
Khi đó :
với :
( được gọi là phương sai của )
Như vậy :
(1.8)
Đặt t = t’ ta có phương sai của :
(1.9)
* Chú ý :
Nếu các hệ số không tương quan với nhau , nghĩa là = 0 () . Khi đó ta nói (1.7) là khai triển chính tắc của hàm ngẫu nhiên
Nhận xét
* Khai triển chính tắc của quá trình ngẫu nhiên là khai triển có dạng :
trong đó :
là kỳ vọng của quá trình ngẫu nhiên
là các hàm tọa độ
là các đại lượng ngẫu nhiên không tương quan với nhau và đều có kỳ vọng bằng 0
* Nếu có khai triển chính tắc thì hàm tự tương quan của nó có dạng là
* Nếu có khai triển chính tắc thì phương sai của có dạng là :
1.2.3 ĐƯA QUÁ TRÌNH NGẪU NHIÊN VỀ DẠNG CHÍNH TẮC
Cho quá trình ngẫu nhiên biểu diễn dưới dạng :
(1.10)
trong đó :
là các hàm không ngẫu nhiên
là các đại lượng ngẫu nhiên tương quan có ma trận tương quan :
với :
và
Biểu thức dạng (1.10) của chưa phải là dạng chính tắc , do đó ta cần đưa nó về dạng chính tắc.
Ta viết biểu thức(1.10) dưới dạng :
Đặt : , ,
Khi đó:
Biểu thức trên còn có thể viết dưới dạng :
(1.11)
với : và là các ma trận cột và T biểu diễn phép chuyển vị của ma trận
Ma trận tương quan được viết dưới dạng :
Chọn ma trận A sao cho vectơ : có các thành phần , là các đại lượng ngẫu nhiên không tương quan
(1.12)
với :
là ma trận đường chéo mà các phần tử trên đường chéo là phương sai của ,
Biểu thức ( 1.12) ta thấy ma trận A đã chuyển ma trận tương quan về dạng đường chéo
Ma trận là đối xứng và thực , vì vậy tồn tại ma trận trực giao A thỏa :
Ta có :
với :
(do A là ma trận trực giao nên )
Như vậy ta có quá trình ngẫu nhiên được đưa về dạng chính tắc :
MỘT SỐ KHAI TRIỂN CHÍNH TẮC ĐẶC BIỆT
Khai triển Karhunen – Loéve
Quá trình Wiener khai triển theo công thức :
trong đó : là các đại lượng ngẫu nhiên độc lập có phân phối chuẩn :
,
là các hàm không ngẫu nhiên xác định bởi :
* Dãy hàm có thể xem như một hệ trực chuẩn đầy đủ trong với :
,
* Mặt khác, dãy hàm có thể xem như hàm riêng của toán tử B được xác định bởi công thức:
với
Các giá trị riêng của toán tử B là :
, i = 0, 1, 2 ….
Khai triển theo các hàm Schauder
Xác định các hàm Haar bởi các biểu thức sau :
……………………….
Các hàm Haar tạo nên một hệ trực chuẩn đầy đủ trong . Tích phân các hàm Haar ta được các hàm Schauder
Cho là dãy các đại lượng ngẫu nhiên độc lập có cùng phân phối chuẩn . Khi đó quá trình ngẫu nhiên xác định bởi sẽ là một chuyển động Brown tiêu chuẩn với
§1.3 CƠ SỞ TRỰC GIAO VÀ TRỰC CHUẨN TRONG KHÔNG GIAN HILBERT
1.3.1 ĐỊNH NGHĨA ( Trực giao, trực chuẩn )
Hai phần tử x, y của không gian Hilbert được gọi là trực giao, nếu:
.
Cho tập hợp ta viết nếu mọi , . Phần bù trực giao cho tập S trong H, kí hiệu , là tập tất cả sao cho .
Tích vô hướng trên không gian Hilbert H được xác định:
Tập hợp hàm trong không gian H là tập trực giao nếu mọi phần tử là trực giao. Chẳng hạn,
Nếu hàm đã được chuẩn hóa sao cho khi đó tập hợp được gọi là tập trực chuẩn.
1.3.2 ĐỊNH NGHĨA (Cơ sở)
Nếu tập hợp bao gồm các hàm độc lập tuyến tính trong H được gọi là cơ sở của H. Số những phần tử cơ sở được gọi là chiều của H.
Cho cơ sở của không gian Hilbert H, tồn tại với bất kì một tập duy nhất hệ số sao cho :
(1.13)
Hệ số này được gọi là hệ số khai triển của x đối với cơ sở B. Từ (1.13 ) viết đơn giản là:
(1.14)
1.3.3 ĐỊNH NGHĨA (Cơ sở trực giao và trực chuẩn)
Cơ sở trực giao của không gian Hilbert H là tập trực giao trong H. Nếu trong hàm cộng tính là chuẩn, chẳng hạn , khi đó nó là cơ sở trực chuẩn.
Tính chất của cơ sở trực chuẩn là khai triển hệ số bởi tích vô hướng của x với hàm cơ sở trực chuẩn :
(1.15)
Bất kì tập hợp của hàm độc lập trong không gian Hilbert H có thể biến đổi thành tập trực chuẩn.
Hiển nhiên bất kì tập trực giao có thể thành trực chuẩn do được chuẩn hóa đơn giản. Do đó, hầu như ta xét trực chuẩn hơn tập trực giao và cơ sở không mất tính tổng quát.
Xét không gian con S của không gian Hilbert H. Khi đó ta xác định phép chiếu trực giao trên S như sau:
1.3.4 ĐỊNH NGHĨA ( Phép chiếu trực giao )
Xét cơ sở trực chuẩn của không gian con S của H. Phép chiếu trực giao của trên S, kí hiệu: , được cho:
§1.4 QUÁ TRÌNH WIENER
Quá trình Wiener là một ví dụ rất quan trọng đối với lý thuyết xác suất thống kê. Qua thí nghiệm của Brown quá trình ngẫu nhiên này được dùng làm mô hình chuyển động của hạt dưới tác động va chạm hỗn loạn của các phần tử .
1.4.1 ĐỊNH NGHĨA ( Quá trình Wiener )
Ta gọi quá trình là quá trình Wiener thỏa mãn các điều kiện sau:
i) ( h.c )
ii) Với mọi các đại lượng ngẫu nhiên
là đại lượng độc lập
iii) W(t) có phân phối chuẩn với kỳ vọng bằng 0 và phương sai t
iv) là quá trình liên tục, tức hầu hết các quỹ đạo của là hàm liên tục.
* Một quá trình Wiener với tham số phương sai bằng 1 được gọi là quá trình Wiener tiêu chuẩn ( hay chuyển động Brown tiêu chuẩn ).
* Nếu ta thay bởi ta sẽ có quá trình Wiener xuất phát từ x
1.4.2 CÁC TÍNH CHẤT QUÁ TRÌNH WIENER VÀ ĐỘ ĐO WIENER
Tính chất 1:
Nếu là quá trình Wiener khi đó :
trong đó :
Chứng minh:
Giả sử, , ta sẽ có :
Do có phân phối chuẩn và là độc lập với . □
Tính chất 2 :
Cho và , trong đó và
xác định :
Khi đó :
trong đó : là độ đo Lebesgue
Chứng minh:
Không mất tính tổng quát, giả sử với , khi đó:
(1.16)
Ta có:
=
Khi đó theo tính chất 1 ta có :
Kết hợp (1.16) ta có :
□
Tính chất 3:
Với và , trong đó j = 1, 2, …, n :
Chứng minh :
Không mất tính tổng quát giả sử với
Ta chứng minh tính chất này bằng phép quy nạp trên n.
Với trường hợp , ta thấy rằng :
(1.17)
Thật vậy ,vế trái (1.17) =
Đặt
Khi đó vế trái (1.17) =
=
Vậy (1.17) thỏa mãn.
Bằng phương pháp quy nạp ta giả thiết :
(1.18)
với mọi số k, ta chỉ ra rằng tính chất này đúng với
Ta xét :
trong đó: với và .
Như vậy:
=
Do tính chất số gia độc lập của , khi ta có độc lập với mọi với
Bởi vậy :
=
=
do giả thiết (1.18).
Khi có cùng phân phối với
Ta có :
= =
từ cơ sở trên ta có công thức (1.17)
Như vậy ta có:
= (1.19)
mà :
=
= (1.20)
thay (1.20) vào (1.19) ta có:
= .
Bằng phép quy nạp ta suy ra điều phải chứng minh.
Độ đo Wiener :
Cho và xác định :
.
trong đó : là tập hợp Borel của đường thẳng thực với
Khi đó :
Chứng minh :
Ta có:
.
Hơn nữa, có cùng phân phối với .
Như vậy :
kí hiệu là quá trình Wiener tại x, khi đó :
Khi đó, do tính chất của số gia độc lập, ta có :
Như vậy :
Tính chất 4 :
Tổng bình phương các gia số của quá trình Wiener ứng với phân hoạch của đoạn từ a đến b hội tụ đến b – a theo bình phương trung bình khi làm mịn phân hoạch :
Chứng minh:
Ta có :
Do tính độc lập của ( i = 0,1,…, n – 1 )
Vậy : khi thì
Từ đó :
khi
hay khi làm mịn phân hoạch
Tính chất 5:
Cho W(t) là quá trình Wiener tiêu chuẩn, khi đó quá trình :
cũng sẽ là quá trình Wiener tiêu chuẩn.
Chứng minh:
Để chứng minh tính chất này ta dùng phương pháp hàm đặc trưng
Khi t > u ta xét :
=
=
= (1.21)
Như vậy có phân phối chuẩn N (0, t -u ).
Tính độc lập của các số gia của quá trình K(u) , được suy ra từ hệ thức sau:
=
=
= u – u = 0 (1.22)
Từ (1.21) và (1.22) ta suy ra K(u) là một quá trình Wiener tiêu chuẩn.
Tính chất 6
Các quỹ đạo của quá trình Wiener hầu hết không đâu khả vi, cho dù chúng liên tục hầu chắc chắn :
P { là khả vi } = 0
Tính chất 7 :
Hầu chắc chắn hàm không có biến phân bị chặn trên bất kỳ khoảng hữu hạn nào :
Tính chất 8:
W(t) tuân theo luật lôga lặp, nghĩa là :
Luật lôga lặp địa phương của quá trình Wiener :
Tính chất 9:
là một Mactingan đối với
Tính chất 10 : (Đặc trưng Levy của quá trình Wiener )
là quá trình Wiener khi và chỉ khi :
+ là một mactingan , hầu chắc chắn.
+ là một mactingan ( đối với )
1.4.3 QUÁ TRÌNH WIENER n - CHIỀU
Một quá trình Wiener n - chiều là vectơ sao cho :
trong đó: là quá trình Wiener một chiều và, với , quá trình và độc lập.
Tính chất 1:
Nếu là quá trình Wiener n - chiều :
Chứng minh :
Rõ ràng nếu khi đó ) và độc lập và bởi vậy :
Hơn nữa, nếu ta dễ dàng có tính chất 1.
Tính chất 2 :
Với và trong đó :
Chứng minh :
Theo tính chất 3 ở trên , khi sử dụng tính độc lập của thành phần quá trình Wiener ta có :
=
§1.5 TÍCH PHÂN ITO
1.5.1 ĐỊNH NGHĨA
Giả sử trên không gian đã cho họ hàm tăng các - đại số , và quá trình Wiener , , với quỹ đạo liên tục tương thích với họ sao cho số gia sau thời điểm t độc lập với - đại số .
Cho T là một số không âm , ta xét là lớp các hàm ngẫu nhiên
thỏa các điều kiện sau :
i)
ii) f( t ) là hàm đo được
iii) ft là tương thích đối với , nghĩa là là đo được
Để xây dựng khái niệm tích phân Ito của hàm ngẫu nhiên thuộc lớp trước hết ta xét các hàm sơ cấp, nghĩa là hàm có dạng :
(1.23)
trong đó : là một phân hoạch của ,
f (tk) là các biến ngẫu nhiên đo được đối với , với k = 0, 1, 2, …, n ; I là hàm chỉ tiêu
Với các hàm sơ cấp có dạng (1.23) ta xác định tích phân Ito của hàm ngẫu nhiên cơ bản bởi :
Với sẽ tồn tại dãy hàm sơ cấp bị chặn sao cho :
Từ đó ta định nghĩa tích phân Ito cho hàm ngẫu nhiên thuộc lớp theo hệ thức sau
1.5.2 CÁC TÍNH CHẤT CƠ BẢN CỦA TÍCH PHÂN ITO
Tính chất 1: ( tuyến tính )
,
trong đó : : là những hằng số
Chứng minh:
Ta giả sử :
Do định nghĩa
=
=
=
Tính chất 2:
Chứng minh:
và độc lập với nhau
Bởi vậy:
=
Khi đó theo định nghĩa :
=
=
= 0
Tính chất 3: (Đẳng cự Ito )
Khi ta sẽ có :
Chứng minh:
Do định nghĩa
=
Nếu i < k khi đó do tính chất độc lập
Ta có :
=
= 0
Như vậy,
=
=
=
=
=
Tính chất 4 :
là hàm đo được đối với
Chứng minh:
Khi
Và do định nghĩa và đo được đối với , nên:
đo được đối với
Tính chất 5
là một martingale đối với
Chứng minh :
Với , do tính chất 2 , tính chất 4 và tính chất số gia độc lập
Ta có :
Tính chất 6 :
Với
Tính chất 7:
.
trong đó: f là biến ngẫu nhiên tùy ý đo được đối với và bình phương khả tích
1.5.3 TÍCH PHÂN ITO NHIỀU CHIỀU
Vectơ ngẫu nhiên
được gọi là quá trình Wiener n - chiều nếu :
+ Mỗi thành phần là quá trình Wiener 1 chiều
+ Các thành phần là những quá trình ngẫu nhiên độc lập
Giả sử là ma trận sao cho mỗi thuộc .
Khi đó ta định nghĩa :
là ma trận ( hay vectơ cột m - chiều ) mà thành phần thứ i của nó là :
1.5.4 VI PHÂN NGẪU NHIÊN CỦA HÀM HỢP, CÔNG THỨC ITO
Trong phép tính vi phân thông thường có vi phân của đạo hàm hợp như sau :
Giả sử là hàm khả vi sao cho :
Giả sử g (t, x) là hàm hai biến khả vi. Khi đó công thức tính vi phân của hàm số hợp dạng :
Ta xét vi phân ngẫu nhiên Ito , ta có :
Công thức Ito 1- chiều :
Định nghĩa:
Tích phân ngẫu nhiên Ito hay quá trình Ito (1chiều ) là quá trình ngẫu nhiên liên tục trong có dạng :
nếu:
trong đó : và là các quá trình ngẫu nhiên tương thích đối với đo được sao cho :
Công thức Ito :
Nếu X(t) là quá trình Ito dạng : và là một hàm một lần khả vi liên tục theo t, hai lần khả vi liên tục theo x. Khi đó quá trình ngẫu nhiên có vi phân tính theo công thức sau :
hay có thể viết cách khác :
+
Công thức Ito nhiều chiều :
Giả sử là quá trình Wiener nhiều chiều, tức là, các thành phần của nó độc lập với nhau, và mỗi thành phần của nó : là một quá trình Wiener một chiều ( i = 1,…,n)
Định nghĩa:
Tích phân ngẫu nhiên Ito hay quá trình Ito n - chiều là quá trình ngẫu nhiên vectơ liên tục sao cho mỗi thành phần của nó là quá trình Ito:
trong đó: và là các quá trình ngẫu nhiên tương thích đối với sao cho :
Trong trường hợp như thế ta nói có vi phân ngẫu nhiên và ta viết :
Công thức Ito nhiều chiều:
Cho quá trình ngẫu nhiên Wiener n - chiều
Và một quá trình ngẫu nhiên k - chiều
Có vi phân ngẫu nhiên:
(1.24)
trong đó A(t) là hàm vectơ
và là ma trận các hàm đo được
Ta có thể viết dưới dạng tọa độ như sau :
Công thức vi phân Ito mở rộng có dạng :
Với quá trình ngẫu nhiên k- chiều , có vi phân ngẫu nhiên (1.21) và Y(t) là hàm khả vi liên tục một lần theo t , hai lần theo xi và xj đồng thời các đạo hàm riêng bị chặn
Ta có:
CHƯƠNG 2
ĐA THỨC HERMITE VÀ KHAI TRIỂN
FOURIER – HERMITE
§2.1 ĐA THỨC HERMITE
Trên trục thực với độ đo Gauss :
, (2.1)
trong đó .
2.1.1 ĐỊNH NGHĨA
Ta định nghĩa không gian các hàm bình phương khả tích với độ đo Gauss là :
Tích vô hướng trong không gian này được xác định là :
Giả sử, là biến ngẫu nhiên Gauss chuẩn với phân phối ,khi đó:
với là toán tử kỳ vọng
Ta kí hiệu không gian Hilbert trong định nghĩa trên là
2.1.2 LIÊN HỆ GIỮA ĐA THỨC TRỰC GIAO VÀ ĐA THỨC HERMITE
Đa thức Hermite được xác định là:
(2.2)
là đa thức trực giao đối với độ đo Gauss
=
Do đó đa thức Hermite chuẩn hóa được xác định :
(2.3)
là cơ sở trực chuẩn trong không gian Hilbert .
Khi , ta có:
nếu n 0 (2.4)
Bởi vậy đa thức Hermite của biến ngẫu nhiên Gauss chuẩn có kỳ vọng bằng 0
Cũng như hầu hết những đa thức trực giao, đa thức Hermite có hàm sinh
(2.5)
Khai triển thành chuỗi Taylor của biến z ( x được xem như một tham số)
Ta có:
Mặt khác,
= (2.6)
Bởi vậy hệ số khai triển Taylor là đa thức Hermite
(2.7)
Hàm sinh (2.5) là hàm lũy thừa trong tính chất của đa thức Hermite
2.1.3 ĐẠO HÀM CỦA ĐA THỨC HERMITE
Đạo hàm 2 vế công thức (2.2) đối với x ta có :
=> (2.8)
Mặt khác, đạo hàm 2 vế (2.6) đối với x ta có :
Sự chuyển lấy chỉ số tích phân trong
So sánh hệ số ta có :
(2.9)
Hệ thức đệ quy của đa thức Hermite :
Ta có thể sử dụng hệ thức đệ quy đạo hàm phép toán Hermite
Kết hợp công thức (2.8) và (2.9) ở trên
Ta suy ra được :
Hay
Từ công thức (2.8) ta có :
(2.10)
Đạo hàm đối với x ta có :
hay (2.11)
Đây là phép toán đa thức Hermite
Sử dụng hệ thức đệ quy (2.10)
với
Ta có thể dễ dàng có các đa thức Hermite là :
Hệ thức đệ quy của đa thức Hermite chuẩn:
Ta có :
Đạo hàm 2 vế ta có :
(2.12)
Sự chuyển lấy chỉ số tích phân và so sánh hệ số zn ta có :
(2.13)
Với đa thức Hermite chuẩn, kết hợp (2.12) và (2.13) hệ thức đệ quy trở thành
(2.14)
với
Vậy theo quy tắc đạo hàm ta có
2.1.4 CÁC BỔ ĐỀ CỦA ĐA THỨC HERMITE
Bổ đề 1 :
, (2.15)
trong đó là mật độ Gauss (2.1)
Chứng minh :
Do phép tích phân và hệ thức đệ quy (2.14) ta có:
Theo công thức (2.13) :
nên :
=
=
do công thức (2.14)
Chia 2 vế cho , ta có (2.15)
Bổ đề 2:
Với bất kì số nguyên k và l không âm , kí hiệu
Ta có:
(2.16)
trong đó:
(2.17)
Chứng minh:
Từ công thức (2.6) ta có :
(2.18)
Mặt khác:
=
=
=
=
Cho khi thì tương đương . Công thức trên có thể viết:
kí hiệu
Khi , ta có
Thay đổi tổng trên ta có:
Bởi vậy , ta có:
(2.19)
So sánh công thức trên với (2.18) ta có:
(2.20)
mà nên :
.
Bổ đề 3:
Giả sử Hn(x) là đa thức Hermite chuẩn và là biến ngẫu nhiên Gauss chuẩn.
Khi đó:
trong đó : a là hằng số tùy ý.
Chứng minh:
Từ hàm sinh (2.6) ta có:
Mặt khác:
So sánh 2 công thức trên ta có:
Lấy kỳ vọng 2 vế :
=>
= với i = n
*** Chú ý: E[ Pk() ] = =
Như vậy ,ta có :
= =
§2.2 KHAI TRIỂN FOURIER - HERMITE CỦA HÀM
BIẾN NGẪU NHIÊN GAUSS
2.2.1 KHAI TRIỂN FOURIER - HERMITE
Khi đa thức Hermite là cơ sở trực giao trong , với bất kỳ hàm tồn tại khai triển Fourier - Hermite
trong đó
Mặt khác, ta xem như một hàm của biến ngẫu nhiên đơn vị Gauss với . Bởi vậy hàm ngẫu nhiên có khai triển Fourier - Hermite :
(2.21)
Điều này nhất quán với khai triển Fourier – Hermite (2.21) vì rằng :
, với n > 0
Từ định lí Parseval, ta có:
E[f2()]= (2.22)
Thông thường khai triển Fourier - Hermite là công thức cho hàm tất định trong không gian đều L2(R) với độ đo Lebesgue. Xác định hàm Hermite là:
trong đó là phân phối Gauss (2.1)
Dạng hàm Hermite là cơ sở trực chuẩn trong L2(R). Với bất kì hàm , có khai triển:
(2.23) (2.24)
Liên quan khai triển (2.21) đến (2.24) , với bất kì hàm , ta có
Khi đó khai triển (2.21) là tương đương
2.2.2 TÍNH CHẤT
Giả sử , khi đó hệ số Fourier - Hermite là:
(2.25)
trong đó: là kỳ vọng đối với độ đo Gauss đơn vị .
Chứng minh:
Dựa vào công thức (2.15) ta có
=
=
do phép quy nạp ta dễ dàng có công thức (2.25)
Khai triển Fourier – Hermite (2.21) có thể mở rộng thành đa chiều. Với chỉ số hữu hạn với thành phần số nguyên không âm, xác định đa thức Hermite nhiều biến bằng tích vô hướng
Khi đó là cơ sở trực giao trong không gian Hilbert , trong đó là độ đo Gauss d – chiều trên .
Kí hiệu là vectơ ngẫu nhiên với những thành phần độc lập.
Giả sử là hàm của biến ngẫu nhiên với khi đó và tồn tại khai triển Fourier Hermite :
với
Mặt khác, ta có :
,
Khai triển phù hợp với không gian hữu hạn chiều với
CHƯƠNG 3
QUÁ TRÌNH NGẪU NHIÊN DẠNG HERMITE
Từ khái niệm về quá trình ngẫu nhiên Wiener kết hợp với các đa thức Hermite ta sẽ xây dựng được quá trình ngẫu nhiên dạng Hermite . Chúng sẽ trở thành cơ sở trực giao của không gian các quá trình ngẫu nhiên. Vì vậy trong chương này ta tập trung nghiên cứu và nêu được một số đặc tính của vi ngẫu nhiên đối với quá trình ngẫu nhiên dạng Hermite.
Về mặt lý thuyết chúng có những tính chất lý thú và cũng có nhiều ứng dụng quan trọng. Từ đa thức Hermite một biến ở chương 2 ta mở rộng đa thức Hermite hai biến ở chương 3.
Ta bắt đầu khái niệm về quá trình ngẫu nhiên dạng Hermite
§ 3.1 KHÁI NIỆM VỀ QUÁ TRÌNH NGẪU NHIÊN
DẠNG HERMITE
3.1.1 ĐỊNH NGHĨA
Đa thức Hermite bậc n là đa thức xác định bởi :
(3.1)
3.1.2 CÁC VÍ DỤ
Theo định nghĩa trên, ta có :
Khi n = 0 :
Khi n = 1 :
Khi n = 2 :
Khi n = 3:
Khi n = 4 :
…………………………..
§ 3.2 TẬP TRỰC CHUẨN ĐẦY ĐỦ TRONG VÀ
Trong phần này ta xác định hàm Hermite chuẩn suy rộng.
3.2.1 ĐỊNH NGHĨA
Với m = 0, 1, 2,… và , ta xác định đa thức Hermite suy rộng trong bậc m là
(3.2)
Công thức (3.2) được gọi là đa thức Hermite suy rộng với hai biến (v, t)
Theo định nghĩa từ (3.2) ta sẽ thu được
Khi m = 0 :
Khi m = 1 :
Khi m = 2:
3.2.2 CÁC TÍNH CHẤT
Tính chất 1:
(3.3)
Chú ý:
Với m = 0, 1,… và
Đạo hàm 2 vế biểu thức (3.2) theo biến v ta có :
(3.3’)
Với m = 1,2……, và từ (3.3) và ( 3.3’)
Ta có
Tính chất 2:
Với bất kì số nguyên m và k không âm ,
(3.4)
Chứng minh :
Giả sử với
Cho
Khi đó:
Sử dụng công thức trên thay vào công thức (3.4) ta có :
Áp dụng công thức tính tích phân từng phần ta có :
Tiếp tục cách này ta có
Ta xét 2 trường hợp :
+ Trường hợp 1:
Nếu m < k thì I = 0
+Trương hợp 2:
Nếu m = k , sử dụng công thức (3.3) trên
=
Vậy tính chất 2 đã chứng minh xong.
3.2.3 ĐỊNH NGHĨA
Với m = 0,1….. và ta xác định hàm Hermite suy rộng bậc m là :
Và ta xác định hàm Hermite chuẩn suy rộng bậc m là
(3.5)
3.2.4 TÍNH CHẤT
Tập hợp hàm xác định bởi (3.16) là tập hợp cơ sở trực giao
Chứng minh:
Sử dụng công thức (3. 5) trên với mọi số nguyên k và m không âm
§ 3.3 MỘT SỐ ĐẶC TÍNH CỦA VI PHÂN NGẪU NHIÊN
ĐỐI VỚI QUÁ TRÌNH NGẪU NHIÊN DẠNG HERMITE
3.3.1 ĐỊNH NGHĨA
Cho là quá trình Wiener tiêu chuẩn một chiều (chuyển động Brown ), khi đó ta xác đinh công thức Hermite bởi công thức truy hồi sau :
-----------------------------------------
Hoặc ta có thể xác định cách khác bởi công thức truy hồi sau :
Vậy là quá trình ngẫu nhiên và ta gọi chúng là quá trình ngẫu nhiên dạng Hermite.
3.3.2 ĐỊNH LÝ
Cho là quá trình ngẫu nhiên dạng Hermite. Khi đó với m nguyên và lớn hơn 1 ta sẽ có vi phân ngẫu nhiên
(3.6)
Để chứng minh định lý trên ta cần chứng minh bổ đề sau
3.3.3 BỔ ĐỀ :
Đối với quá trình ngẫu nhiên dạng Hermite ta sẽ có
(3.7)
Chứng minh:
Trước hết ta nhận xét :
suy ra :
(***)
Mà theo (3.1)
=>
Thay vào (***) ta có :
Vậy theo khai triển Taylor đối với hàm tại = 0 ta sẽ có :
Mặt khác , nếu ta áp dụng công thức Itô cho hàm
(3.8)
Ta sẽ có lại là nghiệm của phương trình vi phân ngẫu nhiên
Từ đó, ta có:
(3.9)
Vậy
Vậy bổ đề đã chứng minh xong.
* Chứng minh định lý 3.3.2
Áp dụng công thức Itô cho hàm với m nguyên , lớn hơn 1 và
Từ công thức Ito
Và (3.7) ta suy ra được (3.6)
Vậy định lý 3.3.2 đã chứng minh xong.
Ví dụ :
Với m = 2 từ công thức (3.6) ta có :
(3.10)
Chú ý:
Công thức (3.8) còn có thể thu được từ nhận xét sau:
Giả sử và có vi phân ngẫu nhiên tương ứng là:
Khi đó :
Với
Sử dụng công thức (3.7) ta có được công thức (3.10)
3.3.4 HỆ QUẢ:
Cho là các quá trình ngẫu nhiên dạng Hermite, ta sẽ có :
(3.11)
Thật vậy khi sử dụng công thức (3.8) với = 1 ta sẽ có được (3.11)
CÁC TÍNH CHẤT CỦA QUÁ TRÌNH DẠNG HERMITE
Cho là các quá trình ngẫu nhiên dạng Hermite , ta sẽ có:
a) . (3.12)
b) . (3.13)
c) . (3.14)
d) . (3.15)
e)
(3.16)
Chứng minh:
Chứng minh tính chất (a) và (b)
Ta có :
và từ (3.7) ta có :
(3.17)
Ta chứng minh (a) và (b) đối với các hàm bước nhảy, và giả sử rằng khi ; là F- đo được và Fđộc lập với - trường sinh bởi chuyển động Brown trong tương lai sau thời điểm
Lấy kỳ vọng 2 vế (3.17)
do và độc lập với nhau
Vậy
=>
Với j < k
khi đó độc lập với
Ta có :
(do )
Do đó :
Vậy
Chứng minh (c )
Từ hệ thức (3.10) ta có :
Lấy kì vọng 2 vế
=>
Theo tính chất (b)
nên
Vậy
Vậy tính chất (c) chứng minh xong
Chứng minh tính chất (d) : đẳng thức (3.15) chính là đẳng thức (3.7) mà ta đã chứng minh
Chứng minh tính chất (e) : dựa vào tính đẳng cự Ito của tích phân ngẫu nhiên.
KẾT LUẬN
Khai triển trực giao của hàm ngẫu nhiên có nhiều vấn đề hấp dẫn, thú vị cũng như những ứng dụng thực tế của chúng trong cuộc sống của chúng ta. Tôi rất muốn nghiên cứu thêm và đưa ứng dụng thực tế của chúng vào luận văn này để có được những kết quả tốt đẹp về mặt lý thuyết cũng như ứng dụng vào thực tiễn.
Khi nghiên cứu về những vấn đề về luận văn chúng ta đã nêu được mối liên hệ giữa đa thức Hermite, quá trình ngẫu nhiên dạng Hermite, đa thức Hermite suy rộng bậc m và một số đặc tính vi phân ngẫu nhiên đối với quá trình ngẫu nhiên dạng Hermite.
Hướng phát triển tiếp theo sẽ nghiên cứu sâu về hệ số Fourier – Hermite suy rộng và hàm Fourier – Hermite suy rộng. Khi đó có được tập trực chuẩn đầy đủ trong . Ngoài ra cũng có thể nghiên cứu tiếp phép biến đổi không gian hàm Fourier – Wiener suy rộng.
TÀI LIỆU THAM KHẢO
TIẾNG VIỆT
[1] A .D. VENTXEL
Giáo Trình Lý Thuyết Quá Trình Ngẫu Nhiên
NXB “ Mir “ Maxcova, 1987
( Bản dịch từ tiếng Nga sang tiếng Việt của Nguyễn Viết Phú và Nguyễn Duy Tiến)
[2] DƯƠNG TÔN ĐẢM
Quá Trình Ngẫu Nhiên
Phần Mở Đầu
NXB Đại Học Quốc Gia Thành Phố Hồ Chí Minh, 2006
[3] DƯƠNG TÔN ĐẢM
Quá Trình Ngẫu Nhiên
Phần I : Tích Phân và Phương Trình Vi Phân Ngẫu Nhiên
NXB Đại Học Quốc Gia Thành Phố Hồ Chí Minh, 2007
[4] ĐINH VĂN GẮNG
Lý Thuyết Xác Suất Và Thống Kê
NXB Giáo Dục, 2000
[5] NGUYỄN BÁC VĂN
Xác Suất Và Xử Lý Số Liệu Thống Kê
NXB Giáo Dục, 2000
[6] NGUYỄN DUY TIẾN, ĐẶNG HÙNG THẮNG
Các Mô Hình Xác Suất Và Ứng Dụng
Phần I : - Xích Markov Và Ứng Dụng
Phần II: - Quá Trình Dừng Và Ứng Dụng
Phần III: - Giải Tích Ngẫu Nhiên
NXB Đại Học Quốc Gia Hà Nội, 2000 – 2001
[7] NGUYỄN DUY TIẾN, NGUYỄN VIẾT PHÚ
Cơ Sở Lý Thuyết Xác Suất
NXB Đại Học Và Trung Học Chuyên Nghiệp Hà Nội, 1983
[8] NGUYỄN DUY TIẾN, NGUYỄN VIẾT PHÚ
Lý Thuyết Xác Suất
NXB Giáo Dục Hà Nội, 2000
[9] NGUYỄN HỒ QUỲNH
Chuỗi Thời Gian : Phân Tích Và Nhận Dạng
NXB Khoa Học Và Kỹ Thuật Hà Nội, 2004
[10] TRẦN HÙNG THAO
Tích Phân Ngẫu Nhiên Và Phương Trình Vi Phân Ngẫu Nhiên
NXB Khoa Học Kỹ Thuật Hà Nội, 2000
TIẾNG ANH
[1] A. J. CHORIN
Hermite Expansion In Monte – Carlo Simulations
J. Comput Phys, 8 : 472 – 482, 1971
[2] BERNT OKSENDAL
Stochastic Differential Equation – An Introduction With Application
6th edition, Springer, 2005
[3] DEBNATH. L AND MIKUSINSKI
Introduction To Hilbert Spaces With Application
Academic Press ,1990
[4] F. H. MALTZ AND D . L . HITZL
Variance Reduction In Monte Carls Computations Using Multi – Dimensional Hermite Polynimals.
J. Comput Phys, 32 : 345 – 376, 1979
[5] R . H. CAMERON
The Orthogonal Development Of Non – Linear Functionals In Series Of Fourier – Hermite Functionals.
Ann Of Math, 48 (1947), 385 – 392,
[6] R . H. CAMERON
Some Examples Of Fourier – Wiener Transforms Of Analytic Functionals.
Duke Math. J. 12 (1945), 485 – 488
[7] R . H . CAMERON AND W. T. MARTIN
Fourier – Wiener Transforms Of Analytic Functionals
Duke Math. J. 12 (1945), 489 – 507
[8] SEUNG JUN CHANG AND HYUN SOO CHUNG
Generalized Fourier – Wiener Function Space Transforms
J. Korean Math. Soc. 46 (2009), No 2, 327 – 345
[9] WUAN LUO
Wiener Chaos Expansion And Numerical Solutions Of Stochastic Partial Differential Equations
Californial Institute Of Technology Pasadena , California Defended May 2, 2006
Các file đính kèm theo tài liệu này:
- Khai triển trực giao của hàm ngẫu nhiên.doc