MathLabs
Định lýĐã chứng minh

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 WW và bất kỳ t>0t>0, ∑i(Wti+1−Wti)2→t\sum_{i}(W_{t_{i+1}}-W_{t_i})^2 \to t trong đó tổng lấy trên một phân hoạch của [0,t][0,t] có độ mịn tiến về 00, 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 s↦Wss\mapsto W_s không khả vi tại điểm nào s∈[0,t]s\in[0,t].

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 dWtdW_t như một vi phân thông thường theo cách dtdt được xử lý trong giải tích cổ điển, và nó biện minh cho quy tắc trực giác (dWt)2=dt(dW_t)^2=dt 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 [0,t][0,t] thành nn mảnh bằng nhau độ dài t/nt/n và đặt Qn=∑i=1n(Wit/n−W(i−1)t/n)2Q_n=\sum_{i=1}^n(W_{it/n}-W_{(i-1)t/n})^2. Mỗi số hạng (Wit/n−W(i−1)t/n)2(W_{it/n}-W_{(i-1)t/n})^2 có kỳ vọng t/nt/n (vì gia số là N(0,t/n)N(0,t/n)) và, dùng mômen bậc bốn của biến chuẩn, phương sai 2(t/n)22(t/n)^2. Cộng nn số hạng độc lập như vậy, E[Qn]=tE[Q_n]=t chính xác và Var(Qn)=2t2/n→0\mathrm{Var}(Q_n)=2t^2/n\to0 khi n→∞n\to\infty, nên Qn→tQ_n\to t 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 WW khả vi tại một điểm ss nào đó với đạo hàm W′(s)=LW'(s)=L hữu hạn. Khi đó với hh nhỏ, Ws+h−Ws≈LhW_{s+h}-W_s\approx Lh, nên bình phương gia số trên một khoảng nhỏ độ dài hh sẽ có bậc h2h^2 — 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 hh có bậc hh (lớn hơn nhiều h2h^2 với hh nhỏ), và cộng các số hạng bậc-hh này trên t/ht/h 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 tt thay vì về 00.

Sự không tương thích này — khả vi sẽ buộc biến phân bậc hai bằng 00, nhưng nó được chứng minh là t>0t>0 — 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

  1. Ioannis Karatzas, Steven E. Shreve (1991). Brownian Motion and Stochastic Calculus
  2. Kiyosi Itô (1944). Stochastic Integral
  3. Fischer Black, Myron Scholes (1973). The Pricing of Options and Corporate Liabilities