معادلات و مولدهای کولموگروف
مولد بینهایت کوچک، نرخهای گذار آنی یک زنجیره مارکوف زمان پیوسته را کدگذاری میکند و معادلات پیشرو و پسرو کولموگروف چگونگی تکامل احتمالات گذار آن را در طول زمان توصیف میکنند.
Definition
مولد بینهایت کوچک یک زنجیره مارکوف زمان پیوسته، ماتریس نرخهای گذار است که نرخ تغییر آنی احتمالات گذار را میدهد، و معادلات پیشرو و پسرو کولموگروف معادلات دیفرانسیلی هستند که ماتریس احتمال گذار به عنوان تابعی از زمان آنها را برآورده میکند.
Scope
این موضوع شامل تعریف مولد به عنوان مشتق زمانی نیمگروه گذار در صفر، معادلات پیشرو (نوع فوکر-پلانک) و پسرو کولموگروف، ماتریس گذار به عنوان ماتریس نمایی مولد، خواص نیمگروه، و شرایط منحصر به فرد بودن، پایستگی، و عدم انفجار است.
Core questions
- چگونه مولد به عنوان مشتق نیمگروه گذار به دست میآید؟
- تفاوت بین معادلات پیشرو و پسرو کولموگروف چیست؟
- چه زمانی ماتریس گذار، ماتریس نمایی مولد است؟
- چه شرایطی یک راهحل منحصر به فرد و غیرانفجاری را تضمین میکند؟
Key theories
- معادلات پسرو و پیشرو کولموگروف
- ماتریس احتمال گذار دو سیستم کوپل شده از معادلات دیفرانسیل خطی را برآورده میکند که توسط مولد هدایت میشوند، معادله پسرو در حالت اولیه و معادله پیشرو در حالت نهایی مشتقگیری میکند، و برای فضاهای حالت متناهی هر دو ماتریس نمایی را به عنوان راهحل مشترک خود دارند.
- تناظر مولد و نیمگروه
- خانواده عملگرهای گذار یک نیمگروه به شدت پیوسته را تشکیل میدهد که مولد بینهایت کوچک آن فرآیند را تعیین میکند؛ این تناظر زنجیرههای مارکوف را به نظریه تحلیلی نیمگروههای عملگر مرتبط میکند و زیربنای نتایج همگرایی و تقریب است.
Clinical relevance
معادله پیشرو، معادله اصلی سینتیک شیمیایی و فیزیک آماری است که توزیع احتمال تعداد مولکولی را در طول زمان کنترل میکند، در حالی که فرمالیسم مولد، مبنای محاسباتی برای تحلیل گذرا قابلیت اطمینان، صفبندی و مدلهای اپیدمی را فراهم میکند.
History
مقاله کولموگروف در سال ۱۹۳۱ معادلات دیفرانسیل برای احتمالات گذار را معرفی کرد، فلر مسائل وجود، یکتایی و انفجار را در دهههای ۱۹۳۰ و ۱۹۴۰ حل کرد، و دیدگاه نیمگروه و مولد از طریق کارهای بعدی هیل، یوسیدا و دینکین در مورد فرآیندهای مارکوف نظاممند شد.
Key figures
- Andrey Kolmogorov
- William Feller
- Thomas Kurtz
Related topics
Seminal works
- norris1997
Frequently asked questions
- مولد چه چیزی را در مورد یک زنجیره مارکوف به شما میگوید؟
- این مولد نرخهای آنی گذار بین حالتها را نشان میدهد؛ از آن، کل تکامل زمانی احتمالات گذار، در فضاهای حالت متناهی به عنوان ماتریس نمایی مولد، به دست میآید.
- معادلات پیشرو و پسرو چگونه با هم تفاوت دارند؟
- معادله پسرو نسبت به حالت شروع مشتقگیری میکند و برای مسائل برخورد و امید ریاضی مفید است، در حالی که معادله پیشرو نسبت به حالت فعلی مشتقگیری میکند و توزیع احتمال در حال تکامل را توصیف میکند.