These are lecture notes for a mini-course on stochastic sewing, taught at the University of Edinburgh and Beijing Institute of Technology in Spring/Summer 2025. The aim is to introduce the reader to stochastic sewing techniques and to show how they can be successfully applied to study various problems in stochastic analysis, including: regularization by noise for stochastic differential equations driven by Brownian motion or fractional Brownian motion, well-posedness of stochastic PDEs with irregular drift, the study of averaging operators and local times, and the analysis of numerical algorithms.
معرّف الورقة : 2510.12165العنوان : Lectures on stochastic sewing with applicationsالمؤلف : Oleg Butkovsky (معهد Weierstrass، جامعة Humboldt برلين، معهد Simons Laufer للعلوم الرياضية)التصنيف : math.PRتاريخ النشر : 15 أكتوبر 2025رابط الورقة : https://arxiv.org/abs/2510.12165 هذه مجموعة محاضرات حول تقنية الخياطة العشوائية (stochastic sewing)، تم تدريسها في ربيع وصيف 2025 في جامعة إدنبرة وجامعة بكين للتكنولوجيا. الهدف هو تعريف القارئ بتقنية الخياطة العشوائية وإظهار كيفية تطبيقها بنجاح على مسائل مختلفة في التحليل العشوائي، بما في ذلك:
التنظيم بالضوضاء للمعادلات التفاضلية العشوائية المدفوعة بالحركة البراونية أو الحركة البراونية الكسرية الاستقرار الجيد للمعادلات التفاضلية الجزئية العشوائية ذات الانجراف غير المنتظم دراسة مؤثرات التوسيط والزمن المحلي تحليل الخوارزميات العددية المشكلة الأساسية التي تعالجها هذه الورقة هي كيفية تحليل حدود التكاملات من الشكل:
∫ f ( noise ( t ) + perturbation ( t ) ) d t , ∫ f ( noise ( t ) + perturbation ( t ) ) d noise ( t ) \int f(\text{noise}(t) + \text{perturbation}(t)) dt, \quad \int f(\text{noise}(t) + \text{perturbation}(t)) d\text{noise}(t) ∫ f ( noise ( t ) + perturbation ( t )) d t , ∫ f ( noise ( t ) + perturbation ( t )) d noise ( t )
حيث f f f دالة قابلة للقياس وغير ناعمة أو حتى توزيع Schwartz، و"noise" عملية عالية عدم الانتظام ذات توزيع معروف، و"perturbation" عملية توزيعها غير معروف لكنها أكثر انتظاماً من الضوضاء.
ظاهرة التنظيم بالضوضاء : النظام الحتمي قد يكون مريضاً، لكن إضافة اضطراب عشوائي قد يجعله استقراراً جيداًقيود الطرق الكلاسيكية : تعتمد طريقة تحويل Veretennikov-Zvonkin بشدة على صيغة Itô الجيدة، مما يصعب تطبيقها على الحركة البراونية الكسرية أو المعادلات التفاضلية الجزئية العشوائيةالتطبيق الواسع : الخياطة العشوائية لا تعتمد على خاصية Markov أو خاصية شبه المارتينجيل، مما يوفر نطاقاً أوسع للتطبيقالطرق التقليدية لتقدير حدود النوع Krylov لها قيود عند التعامل مع المعادلات التفاضلية العشوائية المدفوعة بضوضاء غير منتظمة. تقنية الخياطة العشوائية، كبديل فعال لطريقة تحويل Veretennikov-Zvonkin، توفر إطار تحليل أكثر عمومية.
التقديم المنهجي : التقديم المنهجي الأول لتقنية الخياطة العشوائية وتوسيعاتهاإطار موحد : إدراج مسائل يبدو أنها مختلفة (الاستقرار الجيد، الطرق العددية، التنظيم) في إطار خياطة عشوائية موحدالابتكارات التقنية :
تقنية الاقتران المعممة للفرادة الضعيفة لمة الخياطة العشوائية المنقولة (shifted stochastic sewing lemma) تطبيق عدم المساواة John-Nirenberg إدخال معايير Hölder الشرطية توسيع التطبيقات : إظهار التطور النظري الكامل من الحركة البراونية إلى عمليات Lévy، ومن الاستقرار القوي إلى الاستقرار الضعيفلمة الخياطة الكلاسيكية (Feyel-De La Pradelle, Gubinelli) تتطلب:
∥ δ A s , u , t ∥ E ≤ Γ ∣ t − s ∣ γ , γ > 1 \|\delta A_{s,u,t}\|_E \leq \Gamma|t-s|^\gamma, \quad \gamma > 1 ∥ δ A s , u , t ∥ E ≤ Γ∣ t − s ∣ γ , γ > 1
لمة الخياطة العشوائية (Lê) - التحسين الرئيسي:
∥ δ A s , u , t ∥ L m ( Ω ) ≤ Γ 1 ∣ t − s ∣ γ 1 , γ 1 > 1 2 \|\delta A_{s,u,t}\|_{L^m(\Omega)} \leq \Gamma_1|t-s|^{\gamma_1}, \quad \gamma_1 > \frac{1}{2} ∥ δ A s , u , t ∥ L m ( Ω ) ≤ Γ 1 ∣ t − s ∣ γ 1 , γ 1 > 2 1 ∥ E s δ A s , u , t ∥ L m ( Ω ) ≤ Γ 2 ∣ t − s ∣ γ 2 , γ 2 > 1 \|E_s\delta A_{s,u,t}\|_{L^m(\Omega)} \leq \Gamma_2|t-s|^{\gamma_2}, \quad \gamma_2 > 1 ∥ E s δ A s , u , t ∥ L m ( Ω ) ≤ Γ 2 ∣ t − s ∣ γ 2 , γ 2 > 1
حيث δ A s , u , t : = A s , t − A s , u − A u , t \delta A_{s,u,t} := A_{s,t} - A_{s,u} - A_{u,t} δ A s , u , t := A s , t − A s , u − A u , t .
الشرط E s δ A s , u , t E_s\delta A_{s,u,t} E s δ A s , u , t عادة ما يكون أصغر بكثير من δ A s , u , t \delta A_{s,u,t} δ A s , u , t ، وهذه هي الميزة الرئيسية للخياطة العشوائية مقارنة بالخياطة الحتمية.
لحل مشكلة تباعد التكامل، يتم إدخال السمبلكس المعدل:
Δ [ S , T ] shift : = { ( s , t ) ∈ [ S , T ] 2 : s < t , s − ( t − s ) ≥ S } \Delta^{\text{shift}}_{[S,T]} := \{(s,t) \in [S,T]^2 : s < t, s-(t-s) \geq S\} Δ [ S , T ] shift := {( s , t ) ∈ [ S , T ] 2 : s < t , s − ( t − s ) ≥ S }
الشرط الرئيسي يصبح:
∥ E s − ( t − s ) δ A s , u , t ∥ L m ( Ω ) ≤ Γ 2 ∣ t − s ∣ γ 2 \|E_{s-(t-s)}\delta A_{s,u,t}\|_{L^m(\Omega)} \leq \Gamma_2|t-s|^{\gamma_2} ∥ E s − ( t − s ) δ A s , u , t ∥ L m ( Ω ) ≤ Γ 2 ∣ t − s ∣ γ 2
تعريف شبه المعيار الجديد:
[ f ] C τ L m ( [ S , T ] ) : = sup ( s , t ) ∈ Δ [ S , T ] ∥ f ( t ) − E s f ( t ) ∥ L m ( Ω ) ∣ t − s ∣ τ [f]_{C^\tau L^m([S,T])} := \sup_{(s,t)\in\Delta_{[S,T]}} \frac{\|f(t) - E^s f(t)\|_{L^m(\Omega)}}{|t-s|^\tau} [ f ] C τ L m ([ S , T ]) := sup ( s , t ) ∈ Δ [ S , T ] ∣ t − s ∣ τ ∥ f ( t ) − E s f ( t ) ∥ L m ( Ω )
هذا أضعف من شبه معيار Hölder التقليدي، لكنه أكثر ملاءمة للإعدادات العشوائية.
النظرية 1.1 (Veretennikov-Zvonkin): لتكن b : R d → R d b: \mathbb{R}^d \to \mathbb{R}^d b : R d → R d دالة قابلة للقياس ومحدودة، فإن المعادلة التفاضلية العشوائية
d X t = b ( X t ) d t + d W t , X 0 = x dX_t = b(X_t)dt + dW_t, \quad X_0 = x d X t = b ( X t ) d t + d W t , X 0 = x
لها حل قوي فريد.
استراتيجية الإثبات :
إنشاء حد التكامل: لـ γ ∈ ( 0 , 1 ] \gamma \in (0,1] γ ∈ ( 0 , 1 ] ،
∥ ∫ S T ( b ( W r + x ) − b ( W r + y ) ) d r ∥ L m ( Ω ) ≤ C ∥ b ∥ C γ ∣ x − y ∣ ∣ T − S ∣ 1 2 + γ 2 \left\|\int_S^T (b(W_r + x) - b(W_r + y))dr\right\|_{L^m(\Omega)} \leq C\|b\|_{C^\gamma}|x-y||T-S|^{\frac{1}{2}+\frac{\gamma}{2}} ∫ S T ( b ( W r + x ) − b ( W r + y )) d r L m ( Ω ) ≤ C ∥ b ∥ C γ ∣ x − y ∣∣ T − S ∣ 2 1 + 2 γ التوسيع إلى الاضطرابات العشوائية:
∥ ∫ S T ( b ( W r + ϕ r ) − b ( W r + ψ r ) ) d r ∥ L m ( Ω ) ≤ C ( T − S ) 1 2 + γ 2 ( regularity terms ) \left\|\int_S^T (b(W_r + \phi_r) - b(W_r + \psi_r))dr\right\|_{L^m(\Omega)} \leq C(T-S)^{\frac{1}{2}+\frac{\gamma}{2}}(\text{regularity terms}) ∫ S T ( b ( W r + ϕ r ) − b ( W r + ψ r )) d r L m ( Ω ) ≤ C ( T − S ) 2 1 + 2 γ ( regularity terms ) النظرية 1.2 : لتكن b ∈ C γ ( R d , R d ) b \in C^\gamma(\mathbb{R}^d, \mathbb{R}^d) b ∈ C γ ( R d , R d ) ، γ > − 1 2 \gamma > -\frac{1}{2} γ > − 2 1 ، فإن المعادلة التفاضلية العشوائية لها حل ضعيف وفرادة ضعيفة في الفئة V ( 1 + γ 2 ) V(1+\frac{\gamma}{2}) V ( 1 + 2 γ ) .
استراتيجية الإثبات :
استخدام طريقة الاقتران المعممة إدخال عملية مساعدة X ~ n \tilde{X}^n X ~ n تحقق:
d X ~ t n = b n ( X ~ t n ) d t + λ ( X t − X ~ t n ) d t + d W t d\tilde{X}^n_t = b_n(\tilde{X}^n_t)dt + \lambda(X_t - \tilde{X}^n_t)dt + dW_t d X ~ t n = b n ( X ~ t n ) d t + λ ( X t − X ~ t n ) d t + d W t موازنة المعامل λ \lambda λ للتحكم في حدي الخطأ النظرية 1.4 : لصيغة Euler، يوجد معدل تقارب:
∥ sup t ∈ [ 0 , 1 ] ∣ X t − X t n ∣ ∥ L m ( Ω ) ≤ C n − 1 2 − γ 2 + ε \|\sup_{t\in[0,1]} |X_t - X^n_t|\|_{L^m(\Omega)} \leq Cn^{-\frac{1}{2}-\frac{\gamma}{2}+\varepsilon} ∥ sup t ∈ [ 0 , 1 ] ∣ X t − X t n ∣ ∥ L m ( Ω ) ≤ C n − 2 1 − 2 γ + ε
النظرية 1.5 : للمعادلات التفاضلية العشوائية المدفوعة بعمليات α \alpha α -مستقرة:
∥ sup t ∈ [ 0 , 1 ] ∣ X t − X t n ∣ ∥ L m ( Ω ) ≤ C n − 1 2 − γ α + ε \|\sup_{t\in[0,1]} |X_t - X^n_t|\|_{L^m(\Omega)} \leq Cn^{-\frac{1}{2}-\frac{\gamma}{\alpha}+\varepsilon} ∥ sup t ∈ [ 0 , 1 ] ∣ X t − X t n ∣ ∥ L m ( Ω ) ≤ C n − 2 1 − α γ + ε
النظرية 5.6 : إذا كان E s ∣ A t − A s ∣ ≤ Γ E^s|A_t - A_s| \leq \Gamma E s ∣ A t − A s ∣ ≤ Γ a.s.، فإن
∥ sup r ∈ [ s , T ] ∣ A r − A s ∣ ∥ L m ( Ω ) ≤ C m Γ \|\sup_{r\in[s,T]} |A_r - A_s|\|_{L^m(\Omega)} \leq Cm\Gamma ∥ sup r ∈ [ s , T ] ∣ A r − A s ∣ ∥ L m ( Ω ) ≤ C m Γ
هذه الأداة تسمح بتعميم حدود L 2 L^2 L 2 إلى حدود L m L^m L m اعتيادية دون فقدان معدل التقارب.
الورقة هي في الأساس عمل نظري، يتم التحقق من فعالية الطريقة من خلال:
إثباتات جديدة للنتائج الكلاسيكية : إعادة إثبات نظرية Veretennikov-Zvonkin باستخدام الخياطة العشوائيةالتوسيع إلى إعدادات جديدة : التعامل الناجح مع الحالات المدفوعة بالحركة البراونية الكسرية وعمليات Lévyمعدلات التقارب المثلى : معدلات التقارب للطرق العددية حادة بالمعنى المعروف الأمثلبالنسبة لحالة الحركة البراونية، حد النواة الحراري الرئيسي:
∥ P t f ∥ C 1 ≤ C t γ − 1 2 ∥ f ∥ C γ \|P_t f\|_{C^1} \leq Ct^{\frac{\gamma-1}{2}}\|f\|_{C^\gamma} ∥ P t f ∥ C 1 ≤ C t 2 γ − 1 ∥ f ∥ C γ
بالنسبة لعمليات α \alpha α -مستقرة:
∥ P t α f ∥ C 1 ≤ C t γ − 1 α ∥ f ∥ C γ \|P^\alpha_t f\|_{C^1} \leq Ct^{\frac{\gamma-1}{\alpha}}\|f\|_{C^\gamma} ∥ P t α f ∥ C 1 ≤ C t α γ − 1 ∥ f ∥ C γ
تحويل Veretennikov-Zvonkin : يعتمد على صيغة Itô وتقنيات المعادلات التفاضلية الجزئيةطريقة نظرية Girsanov : تتطلب قابلية التربيع للانجرافلمة الخياطة الحتمية : تتطلب انتظامية γ > 1 \gamma > 1 γ > 1 Lê (2018) : لمة الخياطة العشوائية الأصليةGerencsér (2022) : الخياطة العشوائية المنقولةمساهمة هذه الورقة : نظرية منهجية وتطبيقات واسعةنظرية المسارات الخشنة المعادلات التفاضلية الجزئية العشوائية معادلات McKean-Vlasov الأنظمة السريعة والبطيئة إطار موحد : توفر الخياطة العشوائية طريقة موحدة للتعامل مع المعادلات التفاضلية العشوائية المدفوعة بشكل غير منتظمالمرونة التقنية : يمكن تعديل وتكييف شكل الخياطة العشوائية حسب المشكلة المحددةالتطبيق الواسع : نظرية كاملة من الحركة البراونية إلى عمليات Lévy، ومن الاستقرار القوي إلى الاستقرار الضعيفالتعقيد التقني : يتطلب تطوير أدوات متخصصة لمشاكل مختلفةمتطلبات الانتظامية : لا تزال تتطلب افتراضات انتظامية معينةالتعقيد الحسابي : قد يكون التطبيق العملي معقداً حسابياًعمليات دفع أكثر عمومية : التوسيع إلى فئات أوسع من العمليات العشوائيةالزمن متعدد الأبعاد : تطوير نظرية الخياطة العشوائية متعددة المعاملاتتحسين الخوارزميات العددية : تصميم طرق عددية أكثر كفاءة بناءً على نظرية الخياطة العشوائيةالابتكار النظري : لمة الخياطة العشوائية هي تعميم مهم للمة الخياطة الكلاسيكيةالقوة المنهجية : التنظيم المنهجي الأول للنظرية والتطبيقات في هذا المجالعمق تقني : إظهار كيفية تكييف الأدوات التقنية حسب المشكلة المحددةالتطبيق الواسع : يغطي الاستقرار الجيد والطرق العددية والتنظيم وغيرها من المسائل المهمةالطبيعة الاستقصائية بشكل أساسي : معظم النتائج مأخوذة من أعمال منشورةغياب التجارب العددية : نتائج نظرية تفتقر إلى التحقق العدديعتبة تقنية عالية : تتطلب خلفية قوية في التحليل العشوائيالقيمة التعليمية : كمحاضرات، توفر مورداً تعليمياً مهماً للمجالالتوجيه البحثي : توفير خريطة طريق تقنية واضحة للبحث ذي الصلةنشر الطريقة : إظهار إمكانات تطبيق الخياطة العشوائية في مسائل مختلفةالبحث النظري : دراسة الاستقرار الجيد للمعادلات التفاضلية العشوائية والمعادلات التفاضلية الجزئية العشوائيةالتحليل العددي : تحليل الطرق العددية للمعادلات التفاضلية العشوائية ذات المعاملات غير المنتظمةالرياضيات التطبيقية : النمذجة العشوائية في الرياضيات المالية والرياضيات البيولوجية وغيرهاتتضمن الورقة أدبيات مهمة في هذا المجال، خاصة:
Lê20 K. Lê. A stochastic sewing lemma and applicationsGub04 M. Gubinelli. Controlling rough pathsVer80, Zvo74 النظرية الكلاسيكية Veretennikov-ZvonkinBDG21, BDG22 أعمال المؤلف في الطرق العدديةتوفر هذه المحاضرات مقدمة شاملة وعميقة لنظرية الخياطة العشوائية، وهي مرجع مهم لباحثي ودارسي هذا المجال. على الرغم من أنها استقصائية بشكل أساسي، فإن تنظيمها المنهجي وعرض خريطة الطريق التقنية الواضحة يمنحها قيمة أكاديمية مهمة.