التعريف الرياضي
عملية الانتشار هي عملية ماركوف ذات مسارات عينة مستمرة والتي تكون معادلة كولموغوروف الأمامية لها هي معادلة فوكر-بلانك . [ 1 ]
تُعرَّف عملية الانتشار بالخصائص التالية. ليكن
أن تكون المعاملات متصلة بشكل منتظم و
تكون حدود الانحراف قابلة للقياس وفقًا لبوريل. هناك عائلة فريدة من مقاييس الاحتمالية
(ل
،
) على الفضاء المتعارف عليه
، مع بوريل
الجبر، بحيث:
1. (الشرط الابتدائي) تبدأ العملية عند
في ذلك الوقت
: :\psi (t)=\xi {\text{ for }}0\leq t\leq \tau ]=1.} ![{\displaystyle \mathbb {P} _{a;b}^{\xi ,\tau }[\psi \in \Omega :\psi (t)=\xi {\text{ for }}0\leq t\leq \tau ]=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faf754d3063f77a2dec5771f1943eb2753a3bb97)
2. (ملكية مارتينجال المحلية) لكل
العملية
هو مارتينجال محلي تحت
ل
، مع
ل
.
هذه العائلة
يُطلق عليه اسم
-انتشار.
بناء SDE والمولد المتناهي الصغر
من الواضح أنه إذا كان لدينا
الانتشار، أي
على
، ثم
يفي بمعايير SDE
على النقيض من ذلك، يمكن للمرء أن يبني هذا الانتشار من تلك المعادلة التفاضلية العشوائية إذا
و
،
هي متصلة وفقًا لشرط ليبشيتز. لإثبات ذلك، لنفترض
حل المعادلة التفاضلية العشوائية بدءًا من
. ل
، تطبيق صيغة إيتو:
إعادة الترتيب تعطي
والتي يمثل طرفها الأيمن مارتينجالًا محليًا، وهو ما يتوافق مع خاصية المارتينجال المحلي في تعريف الانتشار. قانون
يُعرّف
على
مع الشرط الابتدائي الصحيح وخاصية المارتينجال المحلية. وتنتج الخاصية الفريدة من استمرارية ليبشيتز لـ
. في الحقيقة،
يتطابق مع المولد المتناهي الصغر
من هذه العملية. إذا.
يحل المعادلة التفاضلية العشوائية، ثم لـ
المولد
يكون