حساب التفاضل والتكامل إيتو

يُحسب التكامل Y t ( B ) ( باللون الأزرق ) لحركة براونية B ( باللون الأحمر ) بالنسبة لنفسها، أي أن كلًا من الدالة المراد تكاملها والدالة المراد تكاملها براونية. ويتضح أن Y t ( B ) = ( B 2t )/2 .

يُوسّع حساب إيتو ، نسبةً إلى كيوسي إيتو ، أساليب حساب التفاضل والتكامل لتشمل العمليات العشوائية مثل الحركة البراونية (انظر عملية وينر ). وله تطبيقات مهمة في التمويل الرياضي ، وفي المعادلات التفاضلية العشوائية ، ومؤخراً حتى في التعلم الآلي .

المفهوم الأساسي هو التكامل العشوائي لإيتو، وهو تعميم عشوائي لتكامل ريمان-ستيلتيس في التحليل. وتُصبح الدوال المُكاملة والدوال المُكاملة عمليات عشوائية. Yت=0تحsدXs،{\displaystyle Y_{t}=\int _{0}^{t}H_{s}\,dX_{s},} حيث H عملية قابلة للتكامل التربيعي محليًا، مُكيَّفة مع الترشيح الناتج عن X ( ريفوز ويور ، 1999 ، الفصل الرابع) ، وهي حركة براونية ، أو بشكل أعم، شبه مارتينجال . تكون نتيجة التكامل عملية عشوائية أخرى. وبالتحديد، يكون التكامل من 0 إلى أي قيمة t معينة متغيرًا عشوائيًا ، يُعرَّف على أنه نهاية لتسلسل معين من المتغيرات العشوائية. لا تستوفي مسارات الحركة البراونية متطلبات تطبيق تقنيات التفاضل والتكامل القياسية. لذا، مع كون الدالة المُكاملة عملية عشوائية، فإن تكامل إيتو العشوائي يُصبح تكاملًا بالنسبة لدالة غير قابلة للتفاضل عند أي نقطة، ولها تغير لانهائي على مدار أي فترة زمنية. تكمن الفكرة الأساسية في إمكانية تعريف التكامل طالما أن الدالة المُكاملة H مُكيَّفة ، مما يعني ، بشكل عام، أن قيمتها عند الزمن t لا يمكن أن تعتمد إلا على المعلومات المتاحة حتى ذلك الوقت. بصورة تقريبية، يتم اختيار سلسلة من تجزئات الفترة من 0 إلى ثم تُنشأ مجاميع ريمان . في كل مرة نحسب فيها مجموع ريمان، نستخدم تطبيقًا محددًا للمكامل. من الأهمية بمكان تحديد النقطة التي تُستخدم في كل فترة صغيرة لحساب قيمة الدالة. ثم تُحسب النهاية احتماليًا عندما تقترب شبكة التجزئة من الصفر. يجب مراعاة العديد من التفاصيل التقنية لإثبات وجود هذه النهاية واستقلالها عن سلسلة التجزئات المحددة. عادةً ما تُستخدم النهاية اليسرى للفترة.

تشمل النتائج المهمة لحساب إيتو صيغة التكامل بالتجزئة ومبرهنة إيتو ، وهي صيغة لتغيير المتغيرات . تختلف هذه الصيغ عن صيغ حساب التفاضل والتكامل القياسي بسبب وجود حدود التغير التربيعي . ويمكن مقارنة ذلك بتكامل ستراتونوفيتش كصيغة بديلة؛ فهو يتبع قاعدة السلسلة ، ولا يتطلب مبرهنة إيتو. ويمكن تحويل الصيغتين التكامليتين إلى بعضهما البعض. يُحسب تكامل ستراتونوفيتش كصيغة حدية لمجموع ريمان الذي يستخدم متوسط ​​المتغير العشوائي على كل خطوة زمنية صغيرة، بينما يأخذ تكامل إيتو هذا المتوسط ​​في الاعتبار فقط في البداية.

في التمويل الرياضي ، تُصوَّر استراتيجية تقييم التكامل الموصوفة على أنها تقوم على تحديد الخطوة التالية، ثم مراقبة تغير الأسعار. يُمثل المُكامل مقدار الأسهم التي نمتلكها، بينما يُمثل المُكامل حركة الأسعار، أما التكامل فيُمثل إجمالي الأموال التي نمتلكها، بما في ذلك قيمة أسهمنا، في أي لحظة معينة. يمكن نمذجة أسعار الأسهم والأصول المالية الأخرى المتداولة باستخدام عمليات عشوائية مثل الحركة البراونية، أو في أغلب الأحيان، الحركة البراونية الهندسية (انظر بلاك-شولز ). بالتالي، يُمثل تكامل إيتو العشوائي عائد استراتيجية تداول مستمرة الزمن، تتضمن امتلاك كمية H <sub>t</sub> من الأسهم في الوقت t . في هذه الحالة، يُقابل شرط تعديل H القيد الضروري الذي يُلزم استراتيجية التداول بالاعتماد فقط على المعلومات المتاحة في أي وقت. هذا يمنع إمكانية تحقيق مكاسب غير محدودة من خلال التنبؤ : شراء الأسهم قبل كل ارتفاع في السوق وبيعها قبل كل انخفاض. وبالمثل، فإن الشرط الذي يجعل H متكيفًا يعني أن التكامل العشوائي لن يتباعد عند حسابه كحد لمجاميع ريمان ( Revuz & Yor 1999 ، الفصل الرابع) .

الترميز

العملية Y المحددة سابقًا على النحو التالي Yت=0تحدX0تحsدXs،{\displaystyle Y_{t}=\int _{0}^{t}H\,dX\equiv \int _{0}^{t}H_{s}\,dX_{s},} هي نفسها عملية عشوائية ذات مُعامل زمني t ، والتي تُكتب أحيانًا على الصورة Y = H · X ( روغرز وويليامز ، 2000 ) . وبدلاً من ذلك، غالبًا ما يُكتب التكامل في الصورة التفاضلية dY = H dX ، وهو ما يُكافئ YY 0 = H · X. وبما أن حساب إيتو يهتم بالعمليات العشوائية ذات الزمن المستمر، فإنه يُفترض وجود فضاء احتمالي مُرشّح أساسي مُعطى. (Ω،F،(Fت)ت0،P).{\displaystyle (\Omega ,{\mathcal {F}},({\mathcal {F}}_{t})_{t\geq 0},\mathbb {P} ).} الجبر سيجماFت{\displaystyle {\mathcal {F}}_{t}}يمثل المعلومات المتاحة حتى الوقت t ، ويتم تكييف العملية X إذا كانت X tFت{\displaystyle {\mathcal {F}}_{t}}-قابلة للقياس. يُفهم أن الحركة البراونية B هيFت{\displaystyle {\mathcal {F}}_{t}}الحركة البراونية، وهي مجرد حركة براونية قياسية ذات خصائص B tFت{\displaystyle {\mathcal {F}}_{t}}قابلة للقياس، وأن B t + sB t مستقلة عنFت{\displaystyle {\mathcal {F}}_{t}}لجميع قيم s ، t ≥ 0 ( Revuz & Yor 1999 ) .

التكامل بالنسبة للحركة البراونية

يمكن تعريف تكامل إيتو بطريقة مشابهة لتكامل ريمان-ستيلتيس ، أي كحدٍّ احتمالي لمجاميع ريمان ؛ ولا يوجد هذا الحد بالضرورة على طول المسار. لنفترض أن B عملية وينر (حركة براونية) وأن H عملية متصلة من اليمين ( càdlàgومتكيفة ، ومحدودة محليًا. إذا{πن}{\displaystyle \{\pi _{n}\}} إذا كانت سلسلة من تجزئات الفترة [t ] بعرض شبكة يؤول إلى الصفر، فإن تكامل إيتو لـ H بالنسبة إلى B حتى الزمن t هو متغير عشوائي0تحدب=ليمن[تأنا-1،تأنا]πنحتأنا-1(بتأنا-بتأنا-1).{\displaystyle \int _{0}^{t}H\,dB=\lim _{n\rightarrow \infty }\sum _{[t_{i-1},t_{i}]\in \pi _{n}}H_{t_{i-1}}(B_{t_{i}}-B_{t_{i-1}}).}

يمكن إثبات أن هذه النهاية تتقارب في الاحتمال .

في بعض التطبيقات، مثل نظريات تمثيل المارتينجال والأزمنة المحلية ، يكون التكامل ضروريًا للعمليات غير المتصلة. تُشكّل العمليات القابلة للتنبؤ أصغر فئة مغلقة تحت حساب نهايات المتتاليات، وتحتوي على جميع العمليات المتصلة يسارًا والمتكيفة. إذا كانت H أي عملية قابلة للتنبؤ بحيث يكون 0 t H 2 ds < ∞ لكل t ≥ 0، فإنه يمكن تعريف تكامل H بالنسبة إلى B ، ويُقال إن H قابلة للتكامل بالنسبة إلى B. يمكن تقريب أي عملية من هذا القبيل بمتتالية H n من العمليات المتصلة يسارًا والمتكيفة والمحدودة محليًا، بمعنى أن 0ت(ح-حن)2دs0{\displaystyle \int _{0}^{t}(H-H_{n})^{2}\,ds\to 0} في الاحتمالات. إذن، يكون تكامل إيتو هو 0تحدب=ليمن0تحندب{\displaystyle \int _{0}^{t}H\,dB=\lim _{n\to \infty }\int _{0}^{t}H_{n}\,dB} حيث يمكن، مرة أخرى، إثبات أن النهاية تتقارب احتماليًا. ويحقق التكامل العشوائي تماثل إيتوهـ[(0تحsدبs)2]=هـ[0تحs2دs]{\displaystyle \mathbb {E} \left[\left(\int _{0}^{t}H_{s}\,dB_{s}\right)^{2}\right]=\mathbb {E} \left[\int _{0}^{t}H_{s}^{2}\,ds\right]} وهذا ينطبق عندما تكون H محدودة أو، بشكل عام، عندما يكون التكامل على الجانب الأيمن محدودًا.

عمليات إيتو

تحقيق واحد لعملية إيتو مع μ = 0 و σ = ψ ( t −5) ، حيث ψ هي موجة ريكر . خارج نطاق الموجة، تكون حركة عملية إيتو مستقرة.

تُعرَّف عملية إيتو بأنها عملية عشوائية مُكيَّفة يمكن التعبير عنها كمجموع تكامل بالنسبة للحركة البراونية وتكامل بالنسبة للزمن. Xت=X0+0تσsدبs+0تμsدs.{\displaystyle X_{t}=X_{0}+\int _{0}^{t}\sigma _{s}\,dB_{s}+\int _{0}^{t}\mu _{s}\,ds.}

هنا، B هي حركة براونية، ويُشترط أن تكون σ عملية قابلة للتنبؤ وقابلة للتكامل بالنسبة لـ B ، وأن تكون μ قابلة للتنبؤ وقابلة للتكامل ( وفقًا لمبدأ ليبيغ ). أي، 0ت(σs2+|μs|)دs<{\displaystyle \int _{0}^{t}(\sigma _{s}^{2}+|\mu _{s}|)\,ds<\infty } لكل قيمة t . يمكن توسيع التكامل العشوائي ليشمل عمليات إيتو هذه. 0تحدX=0تحsσsدبs+0تحsμsدs.{\displaystyle \int _{0}^{t}H\,dX=\int _{0}^{t}H_{s}\sigma _{s}\,dB_{s}+\int _{0}^{t}H_{s}\mu _{s}\,ds.}

يُعرَّف هذا لجميع الدوال التكاملية المحدودة محليًا والقابلة للتنبؤ. وبشكل أعم، يُشترط أن تكون Hσ قابلة للتكامل وفقًا لمعيار B وأن تكون قابلة للتكامل وفقًا لمعيار Lebesgue، بحيث 0ت(ح2σ2+|حμ|)دs<.{\displaystyle \int _{0}^{t}\left(H^{2}\sigma ^{2}+|H\mu |\right)ds<\infty .}تُسمى هذه العمليات المتوقعة H بالعمليات القابلة للتكامل X.

تُعدّ ليمّة إيتو نتيجةً مهمةً لدراسة عمليات إيتو . في أبسط صورها، تنصّ هذه الليمّة على أنه بالنسبة لأي دالة f قابلة للتفاضل مرتين بشكل مستمر على الأعداد الحقيقية وعملية إيتو X كما هو موضح أعلاه، فإنYت=و(Xت){\displaystyle Y_{t}=f(X_{t})}هي في حد ذاتها عملية إيتو مُرضية دYت=و(Xت)μتدت+12و(Xت)σت2دت+و(Xت)σتدبت.{\displaystyle dY_{t}=f^{\prime }(X_{t})\mu _{t}\,dt+{\tfrac {1}{2}}f^{\prime \prime }(X_{t})\sigma _{t}^{2}\,dt+f^{\prime }(X_{t})\sigma _{t}\,dB_{t}.}

هذه هي صيغة حساب التفاضل والتكامل العشوائي لصيغة تغيير المتغيرات وقاعدة السلسلة . وهي تختلف عن النتيجة القياسية بسبب الحد الإضافي الذي يتضمن المشتقة الثانية للدالة f ، والذي ينشأ من خاصية أن الحركة البراونية لها تباين تربيعي غير صفري .

شبه المارتينجالات كعوامل تكامل

يُعرَّف تكامل إيتو بالنسبة إلى شبه مارتينجال X. هذه عمليات يمكن تحليلها إلى X = M + A ، حيث M مارتينجال محلي و A عملية ذات تباين محدود . من الأمثلة المهمة على هذه العمليات الحركة البراونية ، وهي مارتينجال ، وعمليات ليفي . بالنسبة لعملية H متصلة من اليسار، ومحدودة محليًا، ومتكيفة، يوجد التكامل H · X ، ويمكن حسابه كحد لمجاميع ريمان. ليكن πn متتالية من تجزئات الفترة [ 0, t ] حيث تؤول الشبكة إلى الصفر.  0تحدX=ليمنتأنا-1،تأناπنحتأنا-1(Xتأنا-Xتأنا-1).{\displaystyle \int _{0}^{t}H\,dX=\lim _{n\to \infty }\sum _{t_{i-1},t_{i}\in \pi _{n}}H_{t_{i-1}}(X_{t_{i}}-X_{t_{i-1}}).}

تتقارب هذه النهاية احتماليًا. يُعد التكامل العشوائي للعمليات المتصلة من اليسار عامًا بما يكفي لدراسة جزء كبير من حساب التفاضل والتكامل العشوائي. على سبيل المثال، يكفي لتطبيقات ليمّة إيتو، وتغييرات القياس عبر نظرية جيرسانوف ، ولدراسة المعادلات التفاضلية العشوائية . مع ذلك، فهو غير كافٍ لمواضيع أخرى مهمة مثل نظريات تمثيل المارتينجال والأزمنة المحلية .

يمتد التكامل إلى جميع الدوال التكاملية القابلة للتنبؤ والمحدودة محليًا، بطريقة فريدة، بحيث تتحقق نظرية التقارب المسيطر . أي، إذا كان H nH و | H n |J لعملية محدودة محليًا J ، فإن  0تحندX0تحدX،{\displaystyle \int _{0}^{t}H_{n}\,dX\to \int _{0}^{t}H\,dX,} في الاحتمالات. إن تفرد الامتداد من الدوال التكاملية المستمرة من اليسار إلى الدوال التكاملية القابلة للتنبؤ هو نتيجة لفرضية الفئة الرتيبة .

بشكل عام، يمكن تعريف التكامل العشوائي H · X حتى في الحالات التي لا تكون فيها العملية H قابلة للتنبؤ ومحدودة محليًا. إذا كان K = 1 / (1 + | H | ) ، فإن K و KH تكونان محدودتين. تشير خاصية التجميع للتكامل العشوائي إلى أن H قابلة للتكامل بالنسبة لـ X ، حيث يكون التكامل H · X = Y ، إذا وفقط إذا كان Y₀ = 0 و K · Y = ( KH ) · X. يُرمز إلى مجموعة العمليات القابلة للتكامل بالنسبة لـ X بالرمز L ( X ) .

ملكيات

يمكن العثور على الخصائص التالية في أعمال مثل ( Revuz & Yor 1999 ) و ( Rogers & Williams 2000 ) :

  • التكامل العشوائي هو عملية càdlàg . علاوة على ذلك، فهو شبه مارتينجال .
  • تُعطى نقاط عدم استمرارية التكامل العشوائي بقفزات المُكامل مضروبةً في الدالة المراد تكاملها. قفزة عملية càdlàg عند الزمن t هي X tX t− ، ويُرمز لها غالبًا بـ Δ X t . باستخدام هذا الرمز، Δ( H · X ) = H Δ X. ومن النتائج المترتبة على ذلك أن التكاملات بالنسبة لعملية مستمرة تكون دائمًا متصلة.
  • خاصية التجميع . ليكن J و K عمليتين قابلتين للتنبؤ،وليكن K قابلاً للتكامل بالنسبة لـ X. عندئذٍ،يكون J قابلاً للتكامل بالنسبة لـ K · X إذا وفقط إذاكان JK قابلاً للتكامل بالنسبة لـ X ، وفي هذه الحالةج(كX)=(جك)X{\displaystyle J\cdot (K\cdot X)=(JK)\cdot X}
  • التقارب المُهيمن . لنفترض أن H <sub>n</sub>H <sub>n </sub> و | H <sub>n </sub>|J ، حيث J عمليةقابلة للتكامل بالنسبة لـ X. عندئذٍ، H <sub>n</sub> · XH · X. التقارب احتمالي عند كل زمن t . في الواقع، يتقارب بانتظام على المجموعات المدمجة احتماليًا. 
  • يتبادل التكامل العشوائي مع عملية حساب التغايرات التربيعية. إذا كانت X و Y شبه مارتينجالات، فإن أي عملية قابلة للتكامل بالنسبة لـ X ستكون أيضًا قابلة للتكامل بالنسبة لـ [ X , Y ] ، و [ H · X , Y ] = H · [ X , Y ] . ومن نتائج ذلك أن عملية التغير التربيعي للتكامل العشوائي تساوي تكامل عملية التغير التربيعي.[حX]=ح2[X]{\displaystyle [H\cdot X]=H^{2}\cdot [X]}

التكامل بالأجزاء

كما هو الحال في حساب التفاضل والتكامل العادي، يُعد التكامل بالتجزئة نتيجةً مهمةً في حساب التفاضل والتكامل العشوائي. تختلف صيغة التكامل بالتجزئة لتكامل إيتو عن النتيجة القياسية بسبب تضمين حد التغاير التربيعي . ينشأ هذا الحد من حقيقة أن حساب إيتو يتعامل مع العمليات ذات التباين التربيعي غير الصفري، والذي لا يحدث إلا في العمليات ذات التباين اللانهائي (مثل الحركة البراونية). إذا كان X و Y شبه مارتينجالات، XتYت=X0Y0+0تXs-دYs+0تYs-دXs+[X،Y]ت{\displaystyle X_{t}Y_{t}=X_{0}Y_{0}+\int _{0}^{t}X_{s-}\,dY_{s}+\int _{0}^{t}Y_{s-}\,dX_{s}+[X,Y]_{t}} حيث [ X , Y ] هي عملية التغاير التربيعي.

والنتيجة مشابهة لنظرية التكامل بالتجزئة لتكامل ريمان-ستيلتيس ولكنها تحتوي على حد تباين تربيعي إضافي .

معضلة إيتو

تُعدّ مبرهنة إيتو صيغةً من صيغ قاعدة السلسلة أو صيغة تغيير المتغيرات التي تُطبّق على تكامل إيتو. وهي من أقوى النظريات وأكثرها استخدامًا في حساب التفاضل والتكامل العشوائي. بالنسبة لشبه مارتينجال مستمر ذي بُعد X = (X₁ , ... , Xₙ ) ، ودالة f قابلة للتفاضل مرتين بشكل مستمر من Rₙ إلى R ، تنصّ على أن f ( X ) هي شبه مارتينجال، و دو(Xت)=أنا=1نوأنا(Xت)دXتأنا+12أنا،ج=1نوأنا،ج(Xت)د[Xأنا،Xج]ت.{\displaystyle df(X_{t})=\sum _{i=1}^{n}f_{i}(X_{t})\,dX_{t}^{i}+{\frac {1}{2}}\sum _{i,j=1}^{n}f_{i,j}(X_{t})\,d[X^{i},X^{j}]_{t}.} يختلف هذا عن قاعدة السلسلة المستخدمة في حساب التفاضل والتكامل القياسي بسبب الحد الذي يتضمن التغاير التربيعي [ X <sub>i</sub> , X<sub> j</sub> ] . يمكن تعميم الصيغة لتشمل اعتمادًا زمنيًا صريحًا فيو،{\displaystyle f,}وبطرق أخرى (انظر إلى ليمّا إيتو ).

مُكاملات مارتينجال

مارتينجال محلي

من الخصائص المهمة لتكامل إيتو أنه يحافظ على خاصية المارتينجال المحلي . إذا كان M مارتينجالًا محليًا و H عملية قابلة للتنبؤ ومحدودة محليًا، فإن H · M يكون أيضًا مارتينجالًا محليًا. بالنسبة للدوال التكاملية غير المحدودة محليًا، توجد أمثلة لا يكون فيها H · M مارتينجالًا محليًا. مع ذلك، لا يمكن أن يحدث هذا إلا عندما لا تكون M متصلة. إذا كانت M مارتينجالًا محليًا متصلًا، فإن العملية القابلة للتنبؤ H تكون قابلة للتكامل بالنسبة لـ M إذا وفقط إذا 0تح2د[م]<،{\displaystyle \int _{0}^{t}H^{2}\,d[M]<\infty ,} لكل t ، و H · M هو دائمًا مارتينجال محلي.

العبارة الأكثر عمومية بالنسبة للمارتينجال المحلي غير المتصل M هي أنه إذا كان ( H 2 · [ M ]) 1/2 قابلاً للتكامل محليًا فإن H · M موجود وهو مارتينجال محلي.

مارتينجال مربع قابل للتكامل

بالنسبة للدوال المحدودة، يحافظ التكامل العشوائي لإيتو على فضاء المارتينجالات القابلة للتكامل التربيعي ، وهو مجموعة مارتينجالات càdlàg M التي يكون فيها E[ M t 2 ] محدودًا لجميع قيم t . بالنسبة لأي مارتينجال قابل للتكامل التربيعي M ، تكون عملية التغير التربيعي [ M ] قابلة للتكامل، وينص تماثل إيتو على أن هـ[(حمت)2]=هـ[0تح2د[م]].{\displaystyle \mathbb {E} \left[(H\cdot M_{t})^{2}\right]=\mathbb {E} \left[\int _{0}^{t}H^{2}\,d[M]\right].} تنطبق هذه المساواة بشكل أعم على أي مارتينجال M بحيث يكون · [ M ] t قابلاً للتكامل. غالبًا ما يُستخدم تماثل إيتو كخطوة مهمة في بناء التكامل العشوائي، وذلك بتعريف H · M على أنه الامتداد الوحيد لهذا التماثل من فئة معينة من الدوال البسيطة إلى جميع العمليات المحدودة والقابلة للتنبؤ.

p - مارتينجالات قابلة للتكامل

لأي قيمة p > 1 ، ودالة تكاملية محدودة وقابلة للتنبؤ، يحافظ التكامل العشوائي على فضاء المارتينجالات القابلة للتكامل من الرتبة p . هذه المارتينجالات من نوع càdlàg بحيث تكون E( | M t | p ) محدودة لجميع قيم t . مع ذلك، لا ينطبق هذا دائمًا في حالة p = 1. توجد أمثلة على تكاملات لعمليات محدودة وقابلة للتنبؤ بالنسبة للمارتينجالات، وهي ليست مارتينجالات بحد ذاتها. 

تُكتب العملية القصوى لعملية càdlàg M على الصورة M* t = sup st | M s | . لأي p ≥ 1 ودالة تكامل محدودة وقابلة للتنبؤ، يحافظ التكامل العشوائي على فضاء مارتينجالات càdlàg M بحيث يكون E[( M* t ) p ] محدودًا لجميع قيم t . إذا كان p > 1 ، فإن هذا هو نفسه فضاء مارتينجالات p- القابلة للتكامل، وفقًا لمتباينات دوب .

تنص متراجحات بوركهولدر -ديفيس-غوندي على أنه لأي قيمة معطاة لـ p ≥ 1 ، توجد ثوابت موجبة c و C تعتمد على p ، ولكن ليس على M أو على t بحيث    جهـ[[م]تص2]هـ[(مت*)ص]جهـ[[م]تص2]{\displaystyle c\mathbb {E} \left[[M]_{t}^{\frac {p}{2}}\right]\leq \mathbb {E} \left[(M_{t}^{*})^{p}\right]\leq C\mathbb {E} \left[[M]_{t}^{\frac {p}{2}}\right]} لكل مارتينجالات محلية من نوع càdlàg M. تُستخدم هذه لإثبات أنه إذا كانت ( M* t ) p قابلة للتكامل و H عملية محدودة قابلة للتنبؤ، فإن هـ[((حم)ت*)ص]جهـ[(ح2[م]ت)ص2]<{\displaystyle \mathbb {E} \left[((H\cdot M)_{t}^{*})^{p}\right]\leq C\mathbb {E} \left[(H^{2}\cdot [M]_{t})^{\frac {p}{2}}\right]<\infty } وبالتالي، فإن H · M عبارة عن مارتينجال قابل للتكامل من الرتبة p . وبشكل أعم، تكون هذه العبارة صحيحة كلما كان ( · [ M ]) p /2 قابلاً للتكامل.

وجود التكامل

عادةً ما تبدأ براهين تعريف تكامل إيتو الجيد بالنظر إلى دوال تكامل بسيطة للغاية، مثل العمليات الثابتة جزئيًا، والمتصلة من اليسار، والمتكيفة، حيث يمكن كتابة التكامل بشكل صريح. هذه العمليات البسيطة القابلة للتنبؤ هي تراكيب خطية من حدود على الصورة H( t) = A( 1) { t > T } لأوقات التوقف و F( t) متغيرات عشوائية قابلة للقياس A ، والتي يكون التكامل عندها حXت1{ت>تي}أ(Xت-Xتي).{\displaystyle H\cdot X_{t}\equiv \mathbf {1} _{\{t>T\}}A(X_{t}-X_{T}).}ويمتد هذا إلى جميع العمليات البسيطة التي يمكن التنبؤ بها من خلال خطية H · X في H.

بالنسبة للحركة البراونية B ، يمكن استخدام خاصية أن لها زيادات مستقلة بمتوسط ​​صفري وتباين Var( B t ) = t لإثبات تماثل إيتو للتكاملات البسيطة القابلة للتنبؤ. هـ[(حبت)2]=هـ[0تحs2دs].{\displaystyle \mathbb {E} \left[(H\cdot B_{t})^{2}\right]=\mathbb {E} \left[\int _{0}^{t}H_{s}^{2}\,ds\right].} عن طريق التمديد الخطي المستمر ، يمتد التكامل بشكل فريد إلى جميع الدوال التكاملية المتوقعة التي تحقق هـ[0تح2دs]<،{\displaystyle \mathbb {E} \left[\int _{0}^{t}H^{2}\,ds\right]<\infty ,} بطريقة تحافظ على تماثل إيتو. ويمكن بعد ذلك تعميمها على جميع العمليات القابلة للتكامل من النوع B عن طريق التوطين . تسمح هذه الطريقة بتعريف التكامل بالنسبة لأي عملية إيتو.

بالنسبة لشبه مارتينجال عام X ، يمكن استخدام التفكيك X = M + A إلى مارتينجال محلي M بالإضافة إلى عملية تباين محدود A. بعد ذلك، يمكن إثبات وجود التكامل بشكل منفصل بالنسبة إلى M و A ، ثم دمجهما باستخدام خاصية الخطية، H · X = H · M + H · A ، للحصول على التكامل بالنسبة إلى X. يسمح تكامل ليبيغ-ستيلتيس القياسي بتعريف التكامل بالنسبة إلى عمليات التباين المحدود، لذا فإن وجود تكامل إيتو لشبه المارتينجالات سينتج عن أي بناء للمارتينجالات المحلية.

بالنسبة للمارتينجال M القابل للتكامل التربيعي من نوع càdlàg ، يمكن استخدام صيغة معممة لمعادلة إيتو. أولًا، تُستخدم نظرية دوب-ماير للتحليل لإثبات وجود تحليل = N + ⟨M⟩ ، حيث N مارتينجال و⟨ M⟩ عملية مستمرة من اليمين، متزايدة، وقابلة للتنبؤ تبدأ من الصفر. هذا يُحدد ⟨M⟩ بشكل فريد ، والذي يُشار إليه بالتغير التربيعي القابل للتنبؤ لـ M. ثم تكون معادلة إيتو للمارتينجالات القابلة للتكامل التربيعي كما يلي :هـ[(حمت)2]=هـ[0تحs2دمs]،{\displaystyle \mathbb {E} \left[(H\cdot M_{t})^{2}\right]=\mathbb {E} \left[\int _{0}^{t}H_{s}^{2}\,d\langle M\rangle _{s}\right],}ويمكن إثبات ذلك مباشرةً بالنسبة للدوال التكاملية البسيطة القابلة للتنبؤ. وكما هو الحال مع الحركة البراونية المذكورة أعلاه، يمكن استخدام امتداد خطي متصل للتمديد بشكل فريد إلى جميع الدوال التكاملية القابلة للتنبؤ التي تحقق الشرط E[H²·⟨M⟩t ] < . ويمكن تعميم هذه الطريقة على جميع المارتينجالات التربيعية المحلية القابلة للتكامل عن طريق التوطين. وأخيرًا، يمكن استخدام تحليل دوب-ماير لتحليل أي مارتينجال محلي إلى مجموع مارتينجال تربيعي محلي قابل للتكامل وعملية تباين محدود، مما يسمح بإنشاء تكامل إيتو بالنسبة لأي شبه مارتينجال.

توجد العديد من البراهين الأخرى التي تستخدم أساليب مماثلة ولكنها تتجنب الحاجة إلى استخدام نظرية تفكيك دوب-ماير، مثل استخدام التباين التربيعي [ M ] في تماثل إيتو، أو استخدام مقياس دوليان للمارتينجالات الفرعية ، أو استخدام متراجحات بوركهولدر-ديفيس-غوندي بدلاً من تماثل إيتو. ينطبق الأخير مباشرةً على المارتينجالات المحلية دون الحاجة إلى التعامل أولاً مع حالة المارتينجال القابل للتكامل التربيعي.

توجد براهين بديلة تعتمد فقط على حقيقة أن X مُعدَّل (càdlàg)، وأن المجموعة { H · X t :  | H | ≤ 1 قابلة للتنبؤ البسيط} محدودة احتماليًا لكل زمن t ، وهو تعريف بديل لـ X ليكون شبه مارتينجال. يمكن استخدام امتداد خطي متصل لبناء التكامل لجميع الدوال التكاملية المتصلة من اليسار والمُعدَّلة ذات النهايات اليمنى في كل مكان (caglad أو عمليات L). هذا عام بما يكفي لتطبيق تقنيات مثل مبرهنة إيتو ( بروتر 2004 ) . كما يمكن استخدام متباينة خينتشين لإثبات نظرية التقارب المُهيمن وتوسيع التكامل ليشمل الدوال التكاملية العامة القابلة للتنبؤ ( بيشتيلر 2002 ) .

التفاضل في حساب إيتو

يُعرَّف حساب إيتو في المقام الأول بأنه حساب تكاملي كما هو موضح أعلاه. ومع ذلك، توجد أيضًا مفاهيم مختلفة لـ "المشتقة" فيما يتعلق بالحركة البراونية:

مشتق ماليافين

يوفر حساب التفاضل والتكامل لماليافين نظرية للتفاضل للمتغيرات العشوائية المعرفة على فضاء وينر ، بما في ذلك صيغة التكامل بالتجزئة ( نوالارت 2006 ) .

تمثيل مارتينجال

تسمح النتيجة التالية بالتعبير عن المارتينجالات كتكاملات إيتو: إذا كان M مارتينجالًا قابلًا للتكامل التربيعي على فترة زمنية [T ] بالنسبة للترشيح الناتج عن حركة براونية B ، فإنه توجد عملية تربيعية متكاملة متكيفة فريدةα{\displaystyle \alpha }على [ 0, T ] بحيث مت=م0+0تαsدبs{\displaystyle M_{t}=M_{0}+\int _{0}^{t}\alpha _{s}\,\mathrm {d} B_{s}} شبه مؤكد، ولجميع قيم t[ 0, T ] ( روغرز وويليامز 2000 ، النظرية 36.5) . يمكن تفسير نظرية التمثيل هذه رسميًا على أنها تعني أن α هي "المشتقة الزمنية" لـ M بالنسبة للحركة البراونية B ، لأن α هي تحديدًا العملية التي يجب تكاملها حتى الزمن t للحصول على M tM 0 ، كما هو الحال في حساب التفاضل والتكامل الحتمي.

حساب التفاضل والتكامل للفيزيائيين

في الفيزياء، تُستخدم عادةً المعادلات التفاضلية العشوائية ، مثل معادلات لانجفين ، بدلاً من التكاملات العشوائية. هنا، غالبًا ما تُصاغ معادلة إيتو التفاضلية العشوائية (SDE) عبرx˙ك=حك+زكلξل،{\displaystyle {\dot {x}}_{k}=h_{k}+g_{kl}\xi _{l},} أينξج{\displaystyle \xi _{j}}هو ضوضاء بيضاء غاوسية مع ξك(ت1)ξل(ت2)=دلتاكلدلتا(ت1-ت2){\displaystyle \langle \xi _{k}(t_{1})\,\xi _{l}(t_{2})\rangle =\delta _{kl}\delta (t_{1}-t_{2})} ويتم استخدام اصطلاح الجمع الخاص بأينشتاين .

لوy=y(xك){\displaystyle y=y(x_{k})}إذا كانت دالة لـ x k ، فيجب استخدام ليمّة إيتو :y˙=yxجx˙ج+122yxكxلزكمزمل.{\displaystyle {\dot {y}}={\frac {\partial y}{\partial x_{j}}}{\dot {x}}_{j}+{\frac {1}{2}}{\frac {\partial ^{2}y}{\partial x_{k}\,\partial x_{l}}}g_{km}g_{ml}.}

إن معادلة تفاضلية عشوائية من نوع إيتو كما هو موضح أعلاه تتوافق أيضاً مع معادلة تفاضلية عشوائية من نوع ستراتونوفيتش والتي تُقرأ كالتالي: x˙ك=حك+زكلξل-12زكلxمزمل.{\displaystyle {\dot {x}}_{k}=h_{k}+g_{kl}\xi _{l}-{\frac {1}{2}}{\frac {\partial g_{kl}}{\partial {x_{m}}}}g_{ml}.}

تظهر المعادلات التفاضلية العشوائية بشكل متكرر في الفيزياء بصيغة ستراتونوفيتش، كحدود للمعادلات التفاضلية العشوائية المدفوعة بالضوضاء الملونة عندما يقترب زمن ارتباط حد الضوضاء من الصفر. للاطلاع على معالجة حديثة للتفسيرات المختلفة للمعادلات التفاضلية العشوائية، انظر على سبيل المثال ( Lau & Lubensky 2007 ) .

انظر أيضاً

مراجع

  • بيشتيلر، كلاوس (2002)، التكامل العشوائي مع القفزات (  الطبعة الأولى)، مطبعة جامعة كامبريدج ، رقم ISBN 0-521-81129-5
  • كوهين، صموئيل؛ إليوت، روبرت (2015)، حساب التفاضل والتكامل العشوائي وتطبيقاته (  الطبعة الثانية)، بيركهاوزر ، ISBN 978-1-4939-2867-5
  • هاجن كلاينرت (2004). تكاملات المسار في ميكانيكا الكم، والإحصاء، وفيزياء البوليمرات، والأسواق المالية ، الطبعة الرابعة، دار النشر العالمية (سنغافورة)؛ غلاف ورقي، رقم ISBN 981-238-107-4. الطبعة الخامسة متاحة عبر الإنترنت: ملفات PDF مؤرشفة في 2008-06-15 في Wayback Machine ، مع تعميمات لـ Itô's lemma للعمليات غير الغاوسية.
  • هي، شنغ وو؛ وانغ، جيا غانغ؛ يان، جيا آن (1992)، نظرية شبه المارتينجال وحساب التفاضل والتكامل العشوائي ، دار النشر ساينس برس، سي آر سي برس إنك، رقم ISBN 978-0-8493-7715-0
  • كاراتزاس، يوانيس؛ شريف، ستيفن (1991)، الحركة البراونية وحساب التفاضل والتكامل العشوائي (الطبعة الثانية  )، سبرينغر، ISBN 0-387-97655-8
  • لاو، آندي؛ لوبينسكي، توم (2007)، "الانتشار المعتمد على الحالة"، مجلة فيزيكال ريفيو إي ، 76 (1) 011123، arXiv : 0707.2234 ، Bibcode : 2007PhRvE..76a1123L ، doi : 10.1103/PhysRevE.76.011123 ، PMID 17677426 
  • نوالارت، ديفيد (2006)، حساب ماليافين والمواضيع ذات الصلة ، سبرينغر، ISBN 3-540-28328-5
  • أوكسندال، بيرنت ك. (2003)، المعادلات التفاضلية العشوائية: مقدمة مع تطبيقات ، برلين: سبرينغر، ISBN 3-540-04758-1
  • بروتر، فيليب إي. (2004)، التكامل العشوائي والمعادلات التفاضلية (الطبعة الثانية  )، سبرينغر، ISBN 3-540-00313-4
  • ريفوز، دانيال؛ يور ، مارك (1999)، مارتينجال المستمر والحركة البراونية ، برلين: سبرينغر، ISBN 3-540-57622-3
  • روغرز، كريس؛ ويليامز، ديفيد (2000)، الانتشار، عمليات ماركوف والمارتينجالات - المجلد 2: حساب إيتو ، كامبريدج: مطبعة جامعة كامبريدج، ISBN 0-521-77593-0
  • برمجة التمويل الرياضي في لغة TI-Basic، والتي تنفذ حساب التفاضل والتكامل Ito لآلات حاسبة TI.