Chuyển động Brown có biến phân bậc hai dương và không khả vi ở đâu
Phát biểu
Với một quá trình Wiener chuẩn và bất kỳ , trong đó tổng lấy trên một phân hoạch của có độ mịn tiến về , giới hạn đúng theo xác suất (thực ra hầu chắc chắn dọc theo các phân hoạch nhị phân). Hệ quả, hầu như mọi quỹ đạo mẫu không khả vi tại điểm nào .
Vì sao đúng?
Đây là định lý khiến giải tích ngẫu nhiên trở nên cần thiết ngay từ đầu: nó loại trừ việc coi như một vi phân thông thường theo cách được xử lý trong giải tích cổ điển, và nó biện minh cho quy tắc trực giác dẫn dắt bổ đề Itô dưới đây.
Phác thảo chứng minh
Biến phân bậc hai. Phân hoạch thành mảnh bằng nhau độ dài và đặt . Mỗi số hạng có kỳ vọng (vì gia số là ) và, dùng mômen bậc bốn của biến chuẩn, phương sai . Cộng số hạng độc lập như vậy, chính xác và khi , nên theo xác suất (và trung bình bình phương) — điều này chứng minh đẳng thức biến phân bậc hai.
Không khả vi ở đâu. Giả sử, để phản chứng, rằng khả vi tại một điểm nào đó với đạo hàm hữu hạn. Khi đó với nhỏ, , nên bình phương gia số trên một khoảng nhỏ độ dài sẽ có bậc — nhưng tính toán biến phân bậc hai ở trên cho thấy bình phương gia số điển hình trên một khoảng độ dài có bậc (lớn hơn nhiều với nhỏ), và cộng các số hạng bậc- này trên khoảng chính là điều tạo ra một tổng hội tụ về số hữu hạn, dương thay vì về .
Sự không tương thích này — khả vi sẽ buộc biến phân bậc hai bằng , nhưng nó được chứng minh là — không thể hòa giải, nên không thể tồn tại điểm khả vi nào; một lập luận đầy đủ theo lý thuyết độ đo (của Paley, Wiener và Zygmund năm 1933) làm điều này chặt chẽ bằng cách chặn trực tiếp xác suất mà bất kỳ thương sai phân nào ở gần bất kỳ điểm nào vẫn bị chặn, cho thấy xác suất này đúng bằng không đồng thời cho mọi điểm trên quỹ đạo.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Ioannis Karatzas, Steven E. Shreve (1991). Brownian Motion and Stochastic Calculus
- Kiyosi Itô (1944). Stochastic Integral
- Fischer Black, Myron Scholes (1973). The Pricing of Options and Corporate Liabilities