التوقف الأمثل

في الرياضيات ، تُعنى نظرية التوقف الأمثل [ 1 ] [ 2 ] أو التوقف المبكر [ 3 ] بمشكلة اختيار الوقت الأمثل لاتخاذ إجراء معين، بهدف تعظيم العائد المتوقع أو تقليل التكلفة المتوقعة. تُوجد مسائل التوقف الأمثل في مجالات الإحصاء والاقتصاد والتمويل الرياضي (المتعلق بتسعير الخيارات الأمريكية ). ومن الأمثلة الرئيسية على مسائل التوقف الأمثل مسألة السكرتيرة . غالبًا ما تُصاغ مسائل التوقف الأمثل على شكل معادلة بيلمان ، ولذلك تُحل عادةً باستخدام البرمجة الديناميكية .

تعريف

حالة الزمن المنفصل

ترتبط مشاكل قواعد التوقف بعنصرين:

  1. سلسلة من المتغيرات العشوائيةX1،X2،...{\displaystyle X_{1},X_{2},\ldots }، والتي يُفترض أن يكون توزيعها المشترك معروفًا
  2. سلسلة من وظائف "المكافأة"(yأنا)أنا1{\displaystyle (y_{i})_{i\geq 1}}والتي تعتمد على القيم المرصودة للمتغيرات العشوائية في 1:
    yأنا=yأنا(x1،...،xأنا){\displaystyle y_{i}=y_{i}(x_{1},\ldots ,x_{i})}

بالنظر إلى هذه الأشياء، فإن المشكلة هي كما يلي:

  • أنت تراقب تسلسل المتغيرات العشوائية، وفي كل خطوةأنا{\displaystyle i}يمكنك اختيار إما التوقف عن المراقبة أو الاستمرار
  • إذا توقفت عن المراقبة عند الخطوةأنا{\displaystyle i}ستحصل على مكافأةyأنا{\displaystyle y_{i}}
  • تريد اختيار قاعدة توقف لتحقيق أقصى عائد متوقع (أو ما يعادله، تقليل الخسارة المتوقعة).

حالة الزمن المستمر

لنفترض عملية تضخيمجي=(جيت)ت0{\displaystyle G=(G_{t})_{t\geq 0}}معرفة على فضاء احتمالي مُصفّى(Ω،F،(Fت)ت0،P){\displaystyle (\Omega ,{\mathcal {F}},({\mathcal {F}}_{t})_{t\geq 0},\mathbb {P} )}وافترض أنجي{\displaystyle G}يتم تكييفها مع عملية الترشيح. وتتمثل مشكلة التوقف الأمثل في إيجاد وقت التوقف.τ*{\displaystyle \tau ^{*}}مما يزيد من الربح المتوقع

Vتتي=هـجيτ*=رشفةتτتيهـجيτ{\displaystyle V_{t}^{T}=\mathbb {E} G_{\tau ^{*}}=\sup _{t\leq \tau \leq T}\mathbb {E} G_{\tau }}

أينVتتي{\displaystyle V_{t}^{T}}تُسمى هذه الدالة دالة القيمة . هناتي{\displaystyle T}يمكن أن تأخذ قيمة{\displaystyle \infty }.

ويمكن صياغة ذلك بشكل أكثر تحديدًا كما يلي. نحن نعتبر عملية ماركوف قوية معدلة.X=(Xت)ت0{\displaystyle X=(X_{t})_{t\geq 0}}معرفة على فضاء احتمالي مُصفّى(Ω،F،(Fت)ت0،Px){\displaystyle (\Omega ,{\mathcal {F}},({\mathcal {F}}_{t})_{t\geq 0},\mathbb {P} _{x})}أينPx{\displaystyle \mathbb {P} _{x}}يشير إلى مقياس الاحتمالية الذي تبدأ عنده العملية العشوائيةx{\displaystyle x}بالنظر إلى الدوال المتصلةم،ل{\displaystyle M,L}، وك{\displaystyle K}، مشكلة التوقف الأمثل هي

V(x)=رشفة0τتيهـx(م(Xτ)+0τل(Xت)دت+رشفة0تτك(Xت)).{\displaystyle V(x)=\sup _{0\leq \tau \leq T}\mathbb {E} _{x}\left(M(X_{\tau })+\int _{0}^{\tau }L(X_{t})dt+\sup _{0\leq t\leq \tau }K(X_{t})\right).}

يُطلق على هذا أحيانًا اسم صيغة MLS (والتي ترمز إلى ماير، ولاغرانج، والأعلى، على التوالي). [ 4 ]

طرق الحل

توجد عمومًا منهجان لحل مسائل التوقف الأمثل. [ 4 ] عندما تُوصف العملية الأساسية (أو عملية الكسب) بتوزيعاتها غير المشروطة ذات الأبعاد المحدودة ، فإن أسلوب الحل المناسب هو أسلوب المارتينجال، الذي سُمي بهذا الاسم لأنه يستخدم نظرية المارتينجال ، وأهم مفاهيمه هو غلاف سنيل . في حالة الزمن المتقطع، إذا كان أفق التخطيطتي{\displaystyle T}إذا كانت البيانات محدودة، فيمكن حل المشكلة بسهولة باستخدام البرمجة الديناميكية .

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

نتيجة انتشار القفز

يتركYت{\displaystyle Y_{t}}كن انتشارًا ليفي فيRك{\displaystyle \mathbb {R} ^{k}}مقدم من SDE

دYت=ب(Yت)دت+σ(Yت)دبت+Rكγ(Yت-،z)شمال¯(دت،دz)،Y0=y{\displaystyle dY_{t}=b(Y_{t})dt+\sigma (Y_{t})dB_{t}+\int _{\mathbb {R} ^{k}}\gamma (Y_{t-},z){\bar {N}}(dt,dz),\quad Y_{0}=y}

أينب{\displaystyle B}هو م{\displaystyle m}الحركة البراونية ذات الأبعاد n،شمال¯{\displaystyle {\bar {N}}}هول{\displaystyle l}مقياس بواسون العشوائي المعوض ذو الأبعاد n ،ب:RكRك{\displaystyle b:\mathbb {R} ^{k}\to \mathbb {R} ^{k}}،σ:RكRك×م{\displaystyle \sigma :\mathbb {R} ^{k}\to \mathbb {R} ^{k\times m}} , وγ:Rك×RكRك×ل{\displaystyle \gamma :\mathbb {R} ^{k}\times \mathbb {R} ^{k}\to \mathbb {R} ^{k\times l}} هي دوال معطاة بحيث يكون لها حل وحيد(Yت){\displaystyle (Y_{t})}موجود. دعSRك{\displaystyle {\mathcal {S}}\subset \mathbb {R} ^{k}}أن تكون مجموعة مفتوحة (منطقة الملاءة) و

τS=معلومات{ت>0:YتS}{\displaystyle \tau _{\mathcal {S}}=\inf\{t>0:Y_{t}\notin {\mathcal {S}}\}}

ليكن وقت الإفلاس. مسألة التوقف الأمثل هي:

V(y)=رشفةττSجτ(y)=رشفةττSهـy[م(Yτ)+0τل(Yت)دت].{\displaystyle V(y)=\sup _{\tau \leq \tau _{\mathcal {S}}}J^{\tau }(y)=\sup _{\tau \leq \tau _{\mathcal {S}}}\mathbb {E} _{y}\left[M(Y_{\tau })+\int _{0}^{\tau }L(Y_{t})dt\right].}

اتضح أنه في ظل بعض شروط الانتظام، [ 5 ] تتحقق نظرية التحقق التالية:

إذا كانت دالةϕ:S¯R{\displaystyle \phi :{\bar {\mathcal {S}}}\to \mathbb {R} } يحقق

  • ϕج(S¯)ج1(S)ج2(Sد){\displaystyle \phi \in C({\bar {\mathcal {S}}})\cap C^{1}({\mathcal {S}})\cap C^{2}({\mathcal {S}}\setminus \partial D)}حيث تكون منطقة الاستمرارد={yS:ϕ(y)>م(y)}{\displaystyle D=\{y\in {\mathcal {S}}:\phi (y)>M(y)\}}،
  • ϕم{\displaystyle \phi \geq M}علىS{\displaystyle {\mathcal {S}}}، و
  • أϕ+ل0{\displaystyle {\mathcal {A}}\phi +L\leq 0}علىSد{\displaystyle {\mathcal {S}}\setminus \partial D}، أينأ{\displaystyle {\mathcal {A}}}هو المولد المتناهي الصغر لـ(Yت){\displaystyle (Y_{t})}

ثمϕ(y)V(y){\displaystyle \phi (y)\geq V(y)}للجميعyS¯{\displaystyle y\in {\bar {\mathcal {S}}}}علاوة على ذلك، إذا

  • أϕ+ل=0{\displaystyle {\mathcal {A}}\phi +L=0}علىد{\displaystyle D}

ثمϕ(y)=V(y){\displaystyle \phi (y)=V(y)}للجميعyS¯{\displaystyle y\in {\bar {\mathcal {S}}}}وτ*=معلومات{ت>0:Yتد}{\displaystyle \tau ^{*}=\inf\{t>0:Y_{t}\notin D\}}هو وقت التوقف الأمثل.

ويمكن كتابة هذه الشروط أيضاً بصيغة أكثر إيجازاً ( المتباينة التكاملية التباينية ):

  • الأعلى{أϕ+ل،م-ϕ}=0{\displaystyle \max \left\{{\mathcal {A}}\phi +L,M-\phi \right\}=0}علىSد.{\displaystyle {\mathcal {S}}\setminus \partial D.}

أمثلة

رمي العملة

(مثال حيثهـ(yأنا){\displaystyle \mathbb {E} (y_{i})}(يتقارب)

لديك عملة معدنية متوازنة وتقوم برميها بشكل متكرر. في كل مرة، قبل رميها، يمكنك اختيار التوقف عن رميها والحصول على مبلغ (بالدولار، على سبيل المثال) يعادل متوسط ​​عدد مرات ظهور الصورة.

ترغب في زيادة المبلغ الذي تحصل عليه إلى أقصى حد من خلال اختيار قاعدة توقف. إذا كانت Xᵢ ( حيث i ≥ 1) تُشكّل سلسلة من المتغيرات العشوائية المستقلة والمتطابقة التوزيع وفقًا لتوزيع برنولي

برن(12)،{\displaystyle {\text{Bern}}\left({\frac {1}{2}}\right),}

وإذا

yأنا=1أناك=1أناXك{\displaystyle y_{i}={\frac {1}{i}}\sum _{k=1}^{i}X_{k}}

ثم التسلسلات(Xأنا)أنا1{\displaystyle (X_{i})_{i\geq 1}}، و(yأنا)أنا1{\displaystyle (y_{i})_{i\geq 1}}هي الأشياء المرتبطة بهذه المشكلة.

بيع المنازل

(مثال حيثهـ(yأنا){\displaystyle \mathbb {E} (y_{i})}(لا يتقارب بالضرورة)

لديك منزل وترغب في بيعه. كل يوم يُعرض عليك منزل للبيع.Xن{\displaystyle X_{n}}لمنزلك، وادفعك{\displaystyle k}للاستمرار في الإعلان عنه. إذا بعت منزلك في يومن{\displaystyle n}سوف تربحyن{\displaystyle y_{n}}، أينyن=(Xن-نك){\displaystyle y_{n}=(X_{n}-nk)}.

ترغب في زيادة المبلغ الذي تربحه إلى أقصى حد من خلال اختيار قاعدة توقف.

في هذا المثال، التسلسل (Xأنا{\displaystyle X_{i}}يمثل تسلسل العروض لمنزلك، ويمثل تسلسل وظائف المكافآت مقدار ما ستربحه. [ 6 ]

مشاكل السكرتيرة

ثلاث حالات لمشكلة السكرتيرة مع ارتفاع الأيقونة الذي يدل على مدى الاستحسان:
  1. مجموعة الاستكشاف الصغيرة جدًا تختار مرشحًا دون المستوى الأمثل قبل رؤية الأفضل (*).
  2. تحدد المجموعة المثالية الأفضل.
  3. إذا كانت المجموعة كبيرة جدًا وتضمنت أفضل المرشحين، فسيتم اختيار المرشح الأخير.

(مثال حيث(Xأنا){\displaystyle (X_{i})}(متتالية منتهية)

أنت تراقب سلسلة من الأشياء التي يمكن ترتيبها من الأفضل إلى الأسوأ. وترغب في اختيار قاعدة توقف تزيد من فرصتك في اختيار أفضل شيء.

هنا، إذاR1،...،Rن{\displaystyle R_{1},\ldots ,R_{n}}( حيث n عدد كبير) هي رتب العناصر، وyأنا{\displaystyle y_{i}}هل احتمال اختيارك لأفضل عنصر هو إذا توقفت عن رفض العناصر عمدًا في الخطوة i؟(Rأنا){\displaystyle (R_{i})}و(yأنا){\displaystyle (y_{i})}هذه هي المتتاليات المرتبطة بهذه المسألة. وقد تم حل هذه المسألة في أوائل الستينيات من القرن الماضي على يد عدة أشخاص. ويُقدم خوارزمية الاحتمالات الحديثة للتوقف الأمثل (خوارزمية بروس) حلاً أنيقاً لمسألة السكرتيرة، بالإضافة إلى العديد من التعديلات عليها .

نظرية البحث

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

مشاكل في مواقف السيارات

من الأمثلة الخاصة على تطبيق نظرية البحث مهمة اختيار موقف السيارة الأمثل لسائق متوجه إلى دار الأوبرا (أو المسرح، أو مركز التسوق، إلخ). عند اقترابه من وجهته، يسير السائق في الشارع الذي تتوافر فيه مواقف السيارات - عادةً ما تكون بعض الأماكن فقط في موقف السيارات شاغرة. وبما أن الوجهة واضحة للعيان، يسهل تقدير المسافة إليها. وتتمثل مهمة السائق في اختيار موقف سيارة شاغر أقرب ما يمكن إلى الوجهة دون الحاجة إلى الالتفاف، بحيث تكون المسافة من هذا الموقف إلى الوجهة أقصر ما يمكن. [ 7 ]

تداول الخيارات

في تداول الخيارات في الأسواق المالية ، يُسمح لحامل الخيار الأمريكي بممارسة حقه في شراء (أو بيع) الأصل الأساسي بسعر محدد مسبقًا في أي وقت قبل تاريخ انتهاء الصلاحية أو عنده. ولذلك، فإن تقييم الخيارات الأمريكية هو في جوهره مسألة توقف أمثل. لنفترض نموذج بلاك-شولز الكلاسيكي ولنفرضر{\displaystyle r}ليكن معدل الفائدة الخالي من المخاطر ودلتا{\displaystyle \delta }وσ{\displaystyle \sigma }ليكن معدل توزيع الأرباح وتقلبات سعر السهم.S{\displaystyle S}يتبع الحركة البراونية الهندسية

Sت=S0خبرة{(ر-دلتا-σ22)ت+σبت}{\displaystyle S_{t}=S_{0}\exp \left\{\left(r-\delta -{\frac {\sigma ^{2}}{2}}\right)t+\sigma B_{t}\right\}}

في إطار المقياس المحايد للمخاطر .

عندما يكون الخيار دائمًا، فإن مشكلة التوقف الأمثل هي

V(x)=رشفةτهـx[هـ-رτز(Sτ)]{\displaystyle V(x)=\sup _{\tau }\mathbb {E} _{x}\left[e^{-r\tau }g(S_{\tau })\right]}

حيث تكون دالة العائدز(x)=(x-ك)+{\displaystyle g(x)=(x-K)^{+}}للحصول على خيار الاتصال وز(x)=(ك-x)+{\displaystyle g(x)=(K-x)^{+}}بالنسبة لخيار البيع. المتباينة التباينية هي

الأعلى{12σ2x2V"(x)+(ر-دلتا)xV(x)-رV(x)،ز(x)-V(x)}=0{\displaystyle \max \left\{{\frac {1}{2}}\sigma ^{2}x^{2}V''(x)+(r-\delta )xV'(x)-rV(x),g(x)-V(x)\right\}=0}

للجميعx(0،){ب}{\displaystyle x\in (0,\infty )\setminus \{b\}} أينب{\displaystyle b}يمثل هذا حدود التمرين. الحل معروف بأنه [ 8 ]

  • (نداء دائم)V(x)={(ب-ك)(x/ب)γx(0،ب)x-كx[ب،){\displaystyle V(x)={\begin{cases}(b-K)(x/b)^{\gamma }&x\in (0,b)\\x-K&x\in [b,\infty )\end{cases}}}أينγ=(ν2+2ر-ν)/σ{\displaystyle \gamma =({\sqrt {\nu ^{2}+2r}}-\nu )/\sigma }وν=(ر-دلتا)/σ-σ/2،ب=γك/(γ-1).{\displaystyle \nu =(r-\delta )/\sigma -\sigma /2,\quad b=\gamma K/(\gamma -1).}
  • (خيار البيع الدائم)V(x)={ك-xx(0،ج](ك-ج)(x/ج)γ~x(ج،){\displaystyle V(x)={\begin{cases}K-x&x\in (0,c]\\(K-c)(x/c)^{\tilde {\gamma }}&x\in (c,\infty )\end{cases}}}أينγ~=-(ν2+2ر+ν)/σ{\displaystyle {\tilde {\gamma }}=-({\sqrt {\nu ^{2}+2r}}+\nu )/\sigma }وν=(ر-دلتا)/σ-σ/2،ج=γ~ك/(γ~-1).{\displaystyle \nu =(r-\delta )/\sigma -\sigma /2,\quad c={\tilde {\gamma }}K/({\tilde {\gamma }}-1).}

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

انظر أيضاً

مراجع

الاقتباسات

  1. تشاو، واي إس؛ روبنز، إتش ؛ سيغموند، دي (1971). آمال عظيمة: نظرية التوقف الأمثل . بوسطن: هوتون ميفلين .
  2. فيرغسون، توماس س. (2007). التوقف الأمثل والتطبيقات . جامعة كاليفورنيا في لوس أنجلوس.
  3. هيل، ثيودور ب. (2009). "معرفة متى تتوقف". العالم الأمريكي . 97 (2): 126-133 . doi : 10.1511/2009.77.126 . ISSN 1545-2786 . S2CID 124798270 .  
    (للاطلاع على الترجمة الفرنسية، انظر قصة الغلاف في عدد يوليو من مجلة Pour la Science (2009).)
  4. 1 2 بيسكير، غوران؛ شيريايف، ألبرت (2006). التوقف الأمثل ومسائل الحدود الحرة . محاضرات في الرياضيات. المعهد الفدرالي السويسري للتكنولوجيا في زيورخ. doi : 10.1007/978-3-7643-7390-0 . ISBN 978-3-7643-2419-3.
  5. ^ أوكسيندال، ب . سليم، أ. (2007). التحكم العشوائي التطبيقي في انتشار القفزات . دوى : 10.1007/978-3-540-69826-5 . رقم ISBN 978-3-540-69825-8. S2CID 123531718 . 
  6. فيرغسون، توماس سكلاس، مايكل ج. (2010). "البحث عن منزل بدون لحظات ثانية". التحليل التسلسلي . 29 (3): 236-244 . doi : 10.1080/07474946.2010.487423 . ISSN 0747-4946 . 
  7. ماكوين، ج.؛ ميلر الابن، ر. ج. (1960). "سياسات الاستمرارية المثلى". بحوث العمليات . 8 (3): 362-380 . doi : 10.1287/opre.8.3.362 . ISSN 0030-364X . 
  8. كاراتزاس، يوانيس؛ شريف، ستيفن إي. (1998). أساليب التمويل الرياضي . النمذجة العشوائية والاحتمالات التطبيقية. المجلد 39. doi : 10.1007/b98840 . ISBN  978-0-387-94839-3.

مصادر