Vấn đề xấp xỉ ngẫu nhiên và ứng dụng

Tài liệu Vấn đề xấp xỉ ngẫu nhiên và ứng dụng: TẠP CHÍ PHÁT TRIỂN KH&CN, TẬP 13, SỐ T3 - 2010 Bản quyền thuộc ĐHQG-HCM Trang 5 VẤN ĐỀ XẤP XỈ NGẪU NHIấN VÀ ỨNG DỤNG Nguyễn Văn Thu (1), Hoàng Văn Bắc (2) (1) Trường Đại học Quốc tế, ĐHQG-HCM (2) Trường THPT Đức Trọng, tỉnh Lõm Đồng (Bài nhận ngày 08 thỏng 11 năm 2009, hoàn chỉnh sửa chữa ngày 22 thỏng 11 năm 2010) TểM TẮT: Xấp xỉ ngẫu nhiờn là một cụng cụ vụ cựng quan trọng của giải tớch số. Trong bài này chỳng tụi sẽ trỡnh bày tổng quỏt về xấp xỉ ngẫu nhiờn ủồng thời cũng nờu ra một phương phỏp ủặc biệt của xấp xỉ ngẫu nhiờn, ủú là phương phỏp Robbins - Monro. Từ khúa: xấp xỉ ngẫu nhiờn, phương phỏp Robbins – Monro. 1. CÁC VÍ DỤ THỰC TẾ a. Để biết ủộ cứng của hợp kim ủồng - sắt ở nhiệt ủộ 5000C người ta thường xột khoảng thời gian x và ( )Y x là ủộ cứng tương của hợp kim. Vấn ủề ủặt ra là tỡm cỏc giỏ trị của x mà hợp kim cú ủộ cứng trung bỡnhα . Biết rằng cỏc loại hợp kim khỏc nhau ứng với ủộ cứng khỏc nhau. b. Ta xột ủộ nhạy của một chất nổ khi ...

pdf8 trang | Chia sẻ: hunglv | Lượt xem: 1164 | Lượt tải: 0download
Bạn đang xem nội dung tài liệu Vấn đề xấp xỉ ngẫu nhiên và ứng dụng, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
TẠP CHÍ PHÁT TRIỂN KH&CN, TẬP 13, SỐ T3 - 2010 Bản quyền thuộc ĐHQG-HCM Trang 5 VẤN ĐỀ XẤP XỈ NGẪU NHIÊN VÀ ỨNG DỤNG Nguyễn Văn Thu (1), Hồng Văn Bắc (2) (1) Trường Đại học Quốc tế, ĐHQG-HCM (2) Trường THPT Đức Trọng, tỉnh Lâm Đồng (Bài nhận ngày 08 tháng 11 năm 2009, hồn chỉnh sửa chữa ngày 22 tháng 11 năm 2010) TĨM TẮT: Xấp xỉ ngẫu nhiên là một cơng cụ vơ cùng quan trọng của giải tích số. Trong bài này chúng tơi sẽ trình bày tổng quát về xấp xỉ ngẫu nhiên đồng thời cũng nêu ra một phương pháp đặc biệt của xấp xỉ ngẫu nhiên, đĩ là phương pháp Robbins - Monro. Từ khĩa: xấp xỉ ngẫu nhiên, phương pháp Robbins – Monro. 1. CÁC VÍ DỤ THỰC TẾ a. Để biết độ cứng của hợp kim đồng - sắt ở nhiệt độ 5000C người ta thường xét khoảng thời gian x và ( )Y x là độ cứng tương của hợp kim. Vấn đề đặt ra là tìm các giá trị của x mà hợp kim cĩ độ cứng trung bìnhα . Biết rằng các loại hợp kim khác nhau ứng với độ cứng khác nhau. b. Ta xét độ nhạy của một chất nổ khi bị va chạm. Một phương pháp thong thường ta thả cho nĩ rơi tự do từ một độ cao xác định. Đối với một số chất nổ thì độ cao này thì phát nổ mỗi loại chất nổ làm cho nổ khi được thả. c. Tương tự, trong việc kiểm tra thuốc trừ sâu, ta cũng phải xác định giới hạn của các loại thuốc đối với các loại cơn trùng và mức độ sử dụng sao cho phù hợp để đạt kết quả cao trong sử dụng. 2. XẤP XỈ NGẪU NHIÊN Các tình huống trong ví dụ rất thực tế và cụ thể ở trên cĩ thể vận dụng tốn học để giải quyết như sau. Chọn ngẫu nhiên một giá trị 1x , sau đĩ quan sát giá trị 1( )y x của biến ngẫu nhiên 1( )Y x với kỳ vọng { }1( ) ( )M x E Y x= . Trong đĩ E là kí hiệu kỳ vọng tốn học và M là một hàm tăng chưa biết dạng chính xác. Ta cũng chọn một dãy các số dương na giảm dần theo n , ví dụ chọn n c a n = , trong đĩ c là hằng số dương tuỳ ý. Vấn đề đặt ra là xác định giá trị của θ sao cho ( )M θ α= . Ta thiết lập hệ thức đệ quy để tìm các giá trị x cho các thí nghiệm tiếp theo: [ ]1 ( ) .n n ncx x y x n α+ = − − (1) Giả sử ta làm được thí nghiệm thứ n và đã biết được nx cũng như giá trị ( )ny x . Sử dụng (1) ta cĩ thể xác định giá trị cụ thể của x để sử dụng cho lần thí nghiệm thứ 1n + . Ta sẽ kiểm tra hệ thức đệ quy này. Với trường hợp đơn giản nhất. Xét 0α = thì (1) cĩ dạng 1 ( )n n n c x x y x n + = − (2) Science & Technology Development, Vol 13, No.T3- 2010 Trang 6 Bản quyền thuộc ĐHQG-HCM Nếu ( ) 0ny x > thì 1n nx x+ < và nếu ( ) 0ny x . Nếu ( )ny x là dương thì giảm giá trị của x cho lần thí nghiệm thứ 1n + và ngược lại. Ta sẽ nghiên cứu một ứng dụng của xấp xỉ ngẫu nhiên, đĩ là phương pháp Robbins - Monro được trình bày sau đây. 3. PHƯƠNG PHÁP ROBBINS - MONRO 3.1. Giải tích thích ứng - Khơng thích ứng Trong việc kiểm tra thuốc trừ sâu, ta nhận thấy hiện tượng là cĩ hoặc khơng cĩ loại cơn trùng mà thuốc cĩ tác dụng. Do đĩ, vấn đề là để xác định phù hợp chủng loại và liều lượng mà thích ứng cho từng loại cơn trùng. Về mặt tốn học, các vấn đề này được giải quyết như sau. Xét Z là biến ngẫu nhiên với hàm phân bố M . Nếu x là số thực và ( )Y x là biến ngẫu nhiênsao cho: ( ) 1Y x = nếu Z x≤ 0= nếu Z x> Thì [ ] [ ] [ ] [ ] [ ] ( ) ( ) 1 ( ), ( ) 0 1 ( ), ( ) 1. ( ) 0. 1 ( ) ( ). P Y x P Z x M x P Y x P Z x M x E Y x M x M x M x = = ≤ = = = > = − = + − = Bây giờ ( )Y x là một quan sát thích ứng đối với số lượng x (khối lượng thuốc trừ sâu chẳng hạn). Vấn đề là để xác định giá trị của x cho sự thích ứng α . Ta cĩ định lí sau: Định lí 1. Giả sử M là một hàm phân phối và α là một số thực ứng với một số thực θ thoả mãn ( )M θ α= ; giả sử M khả vi tại θ và ( ) 0M θ′ > . Xét 1x là một số thực và n là một số nguyên dương. Nếu ( )1 1n n nX X Y n α+ = − − (1) trong đĩ nY là một nghiệm ngẫu nhiên sao cho [ ] [ ] 1 2 1 1 1 2 1 1 1| ,..., , ,..., ( ) 0| ,..., , ,..., 1 ( ) n n n n n n n n P Y X X X Y Y M X P Y X X X Y Y M X − − = = = = − Thì 2lim ( ) 0 n E X θ →∞ − = , dẫn đến dãy biến ngẫu nhiên { }nX hội tụ đến θ theo bình phương trung bình và do đĩ hội tụ theo xác suất. Gợi ý chứng minh: Đặt ( )2n nE Xξ θ= − , ta chỉ cần chứng minh lim 0 n n ξ →∞ = . Cĩ một phương pháp để giải quyết vấn đề thích ứng – khơng thích ứng là phương pháp xấp xỉ ngẫu nhiên. 3.2. Xấp xỉ ngẫu nhiên một chiều Bây giờ ta xét câu hỏi của tình huống tổng quát trong đĩ Y khơng bị hạn chế nhận giá trị 1 hoặc 0 mà cĩ thể nhận bất kì giá trị nào Định lí 2 (Dvoretzky). Giả sử { } { } { }, ,n n nα β γ là các dãy số thực khơng âm sao cho lim 0 n n α →∞ = (1) TẠP CHÍ PHÁT TRIỂN KH&CN, TẬP 13, SỐ T3 - 2010 Bản quyền thuộc ĐHQG-HCM Trang 7 1 nβ ∞ < ∞∑ (2) 1 nγ ∞ = ∞∑ (3) Xét θ là một số thực và nT là các phép biến đổi đo được sao cho ( ) [ ]1,..., max ,(1 )| |n n n n n nT X X Xθ α β θ γ− ≤ + − − (4) với mọi 1,..., nX X . Xét 1X và ( 1, 2,...)nY n = là các biến ngẫu nhiên và định nghĩa 1 1 1( ,..., ) ( ,..., ), 1.n n n n nX T X X Y X X n+ = − ∀ ≥ (5) Thì các điều kiện { }21E X < ∞ . { }2 1 n n E Y ∞ = < ∞∑ (6) và { }1| ,..., 0n nE Y X X = (7) với xác suất 1 với mọi n , suy ra lim 0 1n n P X →∞  = =   (8) Chứng minh: Khơng mất tính tổng quát, ta cĩ thể chọn 0θ = . 1. Từ (4) và (6) suy ra rằng ( )2nE X < ∞ với mọi n . 2. Đặt ( )s n là dấu của ( ) [ ]1, ...,n n nT X X X   nếu cả 2 thừa số là khác 0, và ( ) 1s n = nếu một trong hai thừa số bằng 0. Viết ( , ) ( ), (1, ) n n n j m m n s j Y n Y = ′= =∏ ∏ ∏ .Thì 1 nY ∞ ′∑ hội tụ với xác suất 1 bởi (6) và (7). Viết ( , ) . n j j m Z m n Y = ′=∑ Với 00, 0, ( , )Mδ ε δ ε∀ > ∀ > ∃ sao cho , sup ( , ) / 2. 48 M m n m n P Z m n δ ε ≤ ≤    > <     (9) 3. Đặt ( , 1) 1d m m − = , 1 ( , ) (1 ) n j j m d m n β + = = +∏ với n m≥ . Xét tổng 1 1( , ) ( , ) n j j m S m n d j n Y + − = ′=∑ bằng với [ ]1 2(( 2),( 1)) ( , ) ( 1, ) ( , ) n n j m Z m j d j n d j n Y d mn − − + ′ − − − + −∑ (( 2), ( 1)) ( , ) nZ m n d n n Y ′+ − − + (10) Khi ( , ) ( 1, )d j n d j n≥ + chúng ta thấy rằng giá trị tuyệt đối của (10) khơng lớn hơn 1 2 sup (( 2), ( 1)) ( ( , )) m j n n j Z m j d m n Y − ≤ ≤     − − +     Science & Technology Development, Vol 13, No.T3- 2010 Trang 8 Bản quyền thuộc ĐHQG-HCM Do đĩ từ (2) và (9) ta cĩ được rằng với 0, 0δ ε> > tồn tại một 00 0( , ) ( , )M Mδ ε δ ε≥ sao cho ( , ) 3 / 2d m ∞ < với 00m M≥ và 00 00 , , sup ( , ) , sup ( , ) 1 / 2. 48 8 M m n M m n m n m n P Z m n S m nδ δ ε ≤ ≤ ≤ ≤     −     (11) Ta suy ra điều phải chứng minh. Định lí 3 (Dvoretzky) Cho{ } { }1 1( ,..., , ( ,..., )n n n nX X X Xα β và { }1( ,..., )n nX Xγ là những dãy hàm khơng âm của biến số thực 1,..., nX X sao cho hàm 1( ,..., )n nX Xα là bị chặn đều và 1lim ( ,..., ) 0n n n X Xα →∞ = hội tụ đều với mọi 1,..., nX X ; (1) hàm 1( ,..., )n nX Xβ là đo được và 1 1 ( ,..., )n nX Xβ ∞ ∑ là bị chặn đều và hội tụ đều trong 1,..., nX X ; (2) và 1 1 0, ( ,..., ) 0: 0, n n n L X Xγ γ ∞ ∀ > ∃ ≥ =∑ (3) và 1 1 1( ,..., ) max{ ( ,..., ),[1 ( ,..., )] | | }n n n n n n n nT X X X X X X Xθ α β θ γ− ≤ + − − (4) cố định đều với mọi dãy 1,..., nX X thoả mãn 1,2,... sup n n X L = < , trong đĩ L là số dương tuỳ ý, (5) ở đây 1( ,..., )nT X X là phép biến đổi đo được sao cho 1 1( ,..., ) ( ), 1n n n n nX T X X Y X n+ = + ≥ (6) và 21( )E X < ∞ (7) 2 1 ( )nE Y ∞ < ∞∑ ; (8) với xác suất 1 { }1| , ..., 0.n nE Y X X = (9) Thì { }lim 1n n P X θ →∞ = = (10) và 2lim ( ) 0.n n E X θ →∞ − = (11) Chứng minh: Lấy 0θ = và ,δ ε là những số dương tuỳ ý. Để chứng minh (10) ta cần chứng minh nĩ thoả mãn { }, 1nP X nδ ε − (12) Lấy 0 ( , )M M δ ε≥ là đủ lớn thoả, với , / 8nn M α δ≥ < . Lấy L đủ lớn thoả L δ> và { } 22 1 . 32jj m LMax E X M ε ≤ ≤ < (13) Chúng ta lấy L ở đây là thoả mãn với (3). Nĩ cũng thoả mãn rằng { }1 / 4 1 / 2.jj MP Max X L ε≤ ≤ ≤ > − (14) TẠP CHÍ PHÁT TRIỂN KH&CN, TẬP 13, SỐ T3 - 2010 Bản quyền thuộc ĐHQG-HCM Trang 9 Giả sử rằng 4 điều kiện sau được thoả mãn liên hệ (1) của định lí 1. (15) / 4mX δ≤ với một vài m M≥ . (16) 1 / 4, 1mX j kδ+ ≥ ≤ ≤ . (17) 1 / 4m kX δ+ + ≤ . (18) trong đĩ 1 k≤ ≤ ∞ . Khi k = ∞ , (17) đúng khi 1j ≥ và (18) là rổng (là rõ ràng khi chứng minh xong mà k ≠ ∞ ). Bởi vì / 8nα δ< khi n M≥ và bởi vì (15), (16), (17) dẫn đến ( ) (0 1)m j m j m jT X j kα+ + +> ≤ ≤ − (19) ( ) ( )1 ( ) (0 1)m j m j m jsign X sign T X j k+ + + += ≤ ≤ − (20) Áp dụng (4) ( với 0γ = ) ta cĩ 1mX + nằm giữa 0 và ( )(1 )m m ms m X Yβ+ + (21) Lập lại lập luận này, khi 1 j k≤ ≤ thì m jX + nằm giữa 0 và ( 1) ( 2)... ( ) ( , 1) ms m j s m j s m d m m j X+ − + − + − ( 1)... ( 1) ( 1, 1) ms m j s m d m m j Y+ + − − + + − 2 1( 1) ( 1, 1) m j m js m j d m j m j Y Y+ − + −+ + − + − + − + (22) Giá trị tuyệt đối của (22) khơng lớn hơn ( , 1) ( 1, 1) .mX d m m j S m m j+ − + + + − (23) Vì vậy , 1 .m jX j k+ ≤ ≤ (24) Để chứng minh (12) ta chỉ cần chỉ ra rằng các kiều kiện sau khơng thể xảy ra cả hai. Liên hệ với (11) và (14) của (15), (25) / 4mX δ> với tất cả m M≥ . (26) Để chứng minh (11). Xét 1 lim jjk α≤ <∞= . Xét N là số nguyên. Bởi vì (10), ta chỉ phải chứng minh rằng ( ){ }2lim (| | ) 0n n E X k + →∞ − = ở đây ( ) ( ){ }| | max | | , 0n nX k X k+− = − . 3.3. Xấp xỉ cho quá trình tiệm cận chính quy Trong phần này sẽ nghiên cứu dãy các biến ngẫu nhiên, nhưng chỉ tập trung vào các điều kiện yếu trên các hệ số lập. Định lí 4(a) (Comer). Xét { }nX là một dãy xác định như dưới đây và 1X là một biến ngẫu nhiên sao cho ( )2 21E X Vθ− < < ∞ , ở đây θ và V là các số thực. Giả sử rằng (i) [ ]1 0( )n n n n nX X a Y X Y+ ′= − − , ở đây 0Y là số thực bất kì và ( )n nY X là biến ngẫu nhiên sao cho [ ]( ) | ( )n n nE Y X X M X= . (ii) 0( )n n n M X YL d u X θ − ≤ = ≤ − với mọi n , ở đây L và u là những số thực thoả mãn L u< . Khơng mất tính tổng quát giả sử rằng 0 0Y = . (iii) 1 na ∞ ′ = ∞∑ , ở đây { }na′ là dãy số dương. Science & Technology Development, Vol 13, No.T3- 2010 Trang 10 Bản quyền thuộc ĐHQG-HCM (iv) lim 0n n a a →∞ ′ ′= ≥ . (v) 10 a u ′≤ ≤ . (vi) ( ) ( )n n n nZ Y X M X= − và M là lien tục tại θ với (0) 0M = . (vii) 2 2nE Z k  =  , ở đây k là số thực dương bất kì. Thì 1 2 2lim ( ) /n n E X k Lθ →∞  − ≤  và 1 2 2lim sup n n ukE Y k L→∞    ≤ +   . Chứng minh: Từ (iv) và (v) luơn tồn tại một số N sao cho 1na u′ . Do đĩ [ ] ( ) ( ) { } ( ) ( ) 1 1 1 2 22 2 2 1 22 2 2 0 1 1 1 1, ( ), (1 )( ) ( 1), (1 ) , (1 ) 2(1 ) | || | (1 ) n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n a u a d a L n N X X a Z a d X X a d X a Z n X a d X a Z E X a L E X a E Z a L a E Z X a L E X a E Z θ θ θ θ θ θ θ θ θ θ θ + + + + ′ ′ ′ ′ − = − − − − ′ ′ − = − − − ≥ ′ ′ − ≤ − − + ′ ′ − ≤ − − + ′ ′+ − − ′≤ − − + 1 1 2 22 2 1 1 2 22 2 1 1 1 2 22 2 2(1 )( ) ( ) , ( ) (1 ) ( ) ( ) ( ) / , . n n n n n n n n n n n a L a EZ E X E X a L E X a k E X a L E X k L n N θ θ θ θ θ +               ′ ′    + − −      ′ ′   − ≤ − − +       ′   = − − − − ≥         (1) Lấy 0ε > thì ta giả sử trái với giả thiết rằng ( )2 / .nE X k Lθ ε− ≥ + Lấy .n N> Thay vào (1) ta cĩ ( ) ( ) 1 1 2 22 2 1n n nE X E X a Lθ θ ε+    ′− ≤ − −    , thì 1 1( ) 1 ( ) 1 ( ) 1 2 22 2 1 1 1 ( ) 1 2 22 2 ( ) ( ) ( ) , ( ) ( ) . n n n n n n N N N n n N n N E X E X L a E X E X L a ε ε ε ε ε θ θ ε θ θ ε − − − + −  ′   − ≤ − −        ′   − ≤ − −     ∑ ∑ ∑ ∑ (2) TẠP CHÍ PHÁT TRIỂN KH&CN, TẬP 13, SỐ T3 - 2010 Bản quyền thuộc ĐHQG-HCM Trang 11 Nhưng khi 1 na ∞ ′ = ∞∑ ta cĩ 1( ) 2 2( ) / n n N N L a E X k L ε ε θ′  ≥ − − ∑ (3) Thay (3) vào (2) ta được ( ) 1 2 2 ( ) / .nE X k Lε θ − ≤   Khi ( ) ( 1),n n n n n n n Y d X Z n Y u X Z θ θ = − + ≥ ≤ − + và 1 1 2 22 2( ) / .nEY u E X k uk L kθ   ≤ − + ≤ +    Định lí 4(b)(Comer). Giả sử cĩ các điều kiện (i) đến (iv) của định lí 4(a) (i) Xét ( ) , 1 1| , ,...,n m n n m n mE Z Z Z Zµ − − −= , ở đây 1m ≥ và 1n m≥ + . (ii) Tồn tại một dãy các số thực { }mξ sao cho 1 2 2 , ( ) , 1n m mE mµ ξ  ≤ ≥  và 1n m≥ + và lim 0m m ξ →∞ = . Thì tồn tại một hàm g của a′ sao cho ( ) [ ] 2 2 2 limsup ( ), lim ( ) ( ) n n n n m E X g a E Y Z u g a θ →∞ →∞ ′− ≤ ′− ≤ và 0 lim ( ) 0, (0) 0. a g a g ′→ ′ → = Định lí 4(c). Giả sử cĩ các điều kiện của định lí 4(a) và 4(b). Thêm vào (i) 0na′ → khi n → ∞ ii) ( ) ( ) 0.n nX M Xθ− > Thì lim 1.n n P X θ →∞  = =   3.4. Lý thuyết mẫu nhỏ Vì các phương pháp đã trình bày ở các phần trước trong thực tế chỉ áp dụng đối với các vấn đề giải quyết một cỡ mẫu xác định, câu hỏi đặt ra là lí thuyết xấp xỉ tiệm cận tốt như thế nào đối với các trường hợp cụ thể. Trong tốn học, khài niệm tuyến tính rất quan trọng, ví dụ trong Kakutani là sự mở rộng của định lí điểm bất động Brauwer cĩ quan hệ gắn với vấn đề đặt ra. Vì vậy nĩ được giả thiết rằng ( )( ) ( )M X E y X= là một đường thẳng với phương sai của X được chọn là một hằng số. Science & Technology Development, Vol 13, No.T3- 2010 Trang 12 Bản quyền thuộc ĐHQG-HCM STOCHASTIC APPROXIMATIONS AND APPLICATIONS Nguyen Van Thu (1), Hoang Van Bac(2) (1) International University,VNU-HCM (2) Secondary School, Duc Trong, Lam Dong ABSTRACT: The purpose of this note is to present introductory ideas of stochastic approximation problems which stand for important aspects of numerical analysis. In particular, we illustrate by considering the Robbins – Monro method. Từ khĩa: Xấp xỉ ngẫu nhiên, phương pháp Robbins – Monro, biến ngẫu nhiên, hàm phân phối, nghiệm ngẫu nhiên, quá trình tiệm cận chính quy, mẫu nhỏ. TÀI LIỆU THAM KHẢO [1]. M.T. Wasan, Stochastic Approximation, Cambridge University Press, (1969). [2]. Vivek S. Borkar, Stochastic Approximation, Cambridge University Press, (2008).

Các file đính kèm theo tài liệu này:

  • pdfvan_de_xap_xi_ngau_nhien_va_ung_dung.pdf