Phương trình Kolmogorov và Bộ tạo

Bộ tạo vô cùng nhỏ mã hóa tốc độ chuyển đổi tức thời của chuỗi Markov thời gian liên tục, và các phương trình Kolmogorov thuận và nghịch mô tả cách xác suất chuyển đổi của nó phát triển theo thời gian.

Definition

Bộ tạo vô cùng nhỏ của một chuỗi Markov thời gian liên tục là ma trận của các tốc độ chuyển đổi cho biết tốc độ thay đổi tức thời của xác suất chuyển đổi, và các phương trình Kolmogorov thuận và nghịch là các phương trình vi phân mà ma trận xác suất chuyển đổi thỏa mãn như một hàm của thời gian.

Scope

Chủ đề này bao gồm định nghĩa bộ tạo là đạo hàm thời gian của bán nhóm chuyển đổi tại điểm 0, các phương trình Kolmogorov thuận (kiểu Fokker-Planck) và nghịch, ma trận chuyển đổi là hàm mũ ma trận của bộ tạo, các tính chất bán nhóm, và các điều kiện cho tính duy nhất, tính bảo toàn và sự không bùng nổ.

Core questions

• Làm thế nào để có được bộ tạo như là đạo hàm của bán nhóm chuyển đổi?
• Sự khác biệt giữa phương trình Kolmogorov thuận và nghịch là gì?
• Khi nào ma trận chuyển đổi là hàm mũ ma trận của bộ tạo?
• Những điều kiện nào đảm bảo một nghiệm duy nhất, không bùng nổ?

Key theories

Phương trình Kolmogorov nghịch và thuận

Ma trận xác suất chuyển đổi thỏa mãn hai hệ phương trình vi phân tuyến tính được điều khiển bởi bộ tạo, phương trình nghịch phân biệt theo trạng thái ban đầu và phương trình thuận phân biệt theo trạng thái cuối cùng, và đối với không gian trạng thái hữu hạn, cả hai đều có hàm mũ ma trận là nghiệm chung của chúng.

Sự tương ứng giữa bộ tạo và bán nhóm

Họ các toán tử chuyển đổi tạo thành một bán nhóm liên tục mạnh mà bộ tạo vô cùng nhỏ của nó xác định quá trình; sự tương ứng này kết nối các chuỗi Markov với lý thuyết giải tích của các bán nhóm toán tử và là nền tảng cho các kết quả hội tụ và xấp xỉ.

Clinical relevance

Phương trình thuận là phương trình chủ đạo của động học hóa học và vật lý thống kê, điều chỉnh phân bố xác suất của số lượng phân tử theo thời gian, trong khi hình thức bộ tạo cung cấp cơ sở tính toán cho phân tích quá độ của các mô hình độ tin cậy, xếp hàng và dịch tễ học.

History

Bài báo năm 1931 của Kolmogorov đã giới thiệu các phương trình vi phân cho xác suất chuyển đổi, Feller đã giải quyết các vấn đề về sự tồn tại, tính duy nhất và sự bùng nổ vào những năm 1930 và 1940, và quan điểm bán nhóm và bộ tạo đã được hệ thống hóa thông qua các công trình sau này của Hille, Yosida và Dynkin về các quá trình Markov.

Key figures

• Andrey Kolmogorov
• William Feller
• Thomas Kurtz

Seminal works

• norris1997

Frequently asked questions

Bộ tạo cho bạn biết điều gì về một chuỗi Markov?

Nó cho biết tốc độ chuyển đổi tức thời giữa các trạng thái; từ đó toàn bộ sự tiến hóa theo thời gian của xác suất chuyển đổi được suy ra, trên các không gian trạng thái hữu hạn dưới dạng hàm mũ ma trận của bộ tạo.

Phương trình thuận và nghịch khác nhau như thế nào?

Phương trình nghịch phân biệt theo trạng thái bắt đầu và hữu ích cho các vấn đề về chạm và kỳ vọng, trong khi phương trình thuận phân biệt theo trạng thái hiện tại và mô tả phân bố xác suất đang phát triển.