We study the occurrence of historical behavior for almost every point in the setting of skew products with one-dimensional fiber dynamics. Under suitable ergodic conditions, we establish that a weak form of the arcsine law leads to the non-convergence of Birkhoff averages along almost every orbit. As an application, we show that this phenomenon occurs for one-step skew product maps over a Bernoulli shift, where the stochastic process induced by the iterates of the fiber maps is conjugate to a random walk.
Furthermore, we revisit known examples of skew products that exhibit historical behavior almost everywhere, verifying that they fulfill the required ergodic and probabilistic conditions. Consequently, our results provide a unified and generalized framework that connects such behaviors to the arcsine distribution of the orbits.
معرّف الورقة : 2501.00266العنوان : السلوك التاريخي للمنتجات المائلة وقوانين أركسينالمؤلفون : Pablo G. Barrientos, Raul R. Chavezالتصنيف : math.DS (الأنظمة الديناميكية)تاريخ النشر : 31 ديسمبر 2024رابط الورقة : https://arxiv.org/abs/2501.00266 تدرس هذه الورقة ظواهر السلوك التاريخي لكل نقطة تقريباً في أنظمة المنتجات المائلة للديناميكا الليفية أحادية البعد. في ظل شروط الإرجوديكية المناسبة، يثبت المؤلفون نتيجة تتعلق بصيغة ضعيفة من قانون أركسين تؤدي إلى عدم تقارب متوسطات بيركهوف على كل مدار تقريباً. كتطبيق، يثبتون أن هذه الظاهرة تظهر في خرائط المنتجات المائلة أحادية الخطوة على إزاحات بيرنولي، حيث تكون العمليات العشوائية المستحثة من تكرارات الخرائط الليفية مترافقة مع المسارات العشوائية. علاوة على ذلك، يعيد المؤلفون النظر في أمثلة معروفة من المنتجات المائلة التي تظهر السلوك التاريخي في كل مكان تقريباً، ويتحققون من أنها تستوفي شروط الإرجوديكية والاحتمالية المطلوبة، مما يوفر إطاراً نظرياً موحداً يربط هذه السلوكيات بالتوزيع الأركسيني للمدارات.
المشكلة الأساسية التي تعالجها هذه الورقة هي مسألة تاكنز الأخيرة : هل توجد فئات من الأنظمة الديناميكية المستمرة بحيث تكون مجموعة النقاط غير المنتظمة ذات قياس لبيسج موجب؟ النقاط غير المنتظمة هنا هي النقاط التي تظهر السلوك التاريخي، أي النقاط التي توجد فيها دالة مستمرة بحيث لا يتقارب المتوسط الزمني (متوسط بيركهوف).
الأهمية النظرية : السلوك التاريخي مفهوم مهم في نظرية الأنظمة الديناميكية، وهو مرتبط ارتباطاً وثيقاً بوجود المقاييس الفيزيائيةالسلوك الإحصائي : فهم الخصائص الإحصائية للأنظمة الديناميكية ضروري للتنبؤ بالسلوك طويل الأجلالاتصال الاحتمالي : إنشاء ارتباط عميق بين الأنظمة الديناميكية وقانون أركسين في نظرية الاحتمالاتمعظم الأمثلة المعروفة للسلوك التاريخي معزولة وتفتقر إلى إطار نظري موحد نقص في التوصيف المنهجي للسلوك التاريخي في أنظمة المنتجات المائلة آلية عمل قانون أركسين في الأنظمة الديناميكية غير واضحة بشكل كافٍ دافع المؤلفين هو إنشاء إطار موحد لفهم السلوك التاريخي في أنظمة المنتجات المائلة، خاصة:
تحديد الشروط الهيكلية التي تؤدي إلى السلوك التاريخي الكشف عن الارتباط الجوهري بين قانون أركسين والسلوك التاريخي توفير تفسير نظري موحد للأمثلة المعروفة إنشاء نظريتين رئيسيتين :النظرية أ : للمنتجات المائلة أحادية الخطوة، إثبات السلوك التاريخي تحت قانون أركسين الضعيف وشروط الإرجوديكيةالنظرية ب : للمنتجات المائلة العامة، إثبات السلوك التاريخي تحت إرجوديكية المقياس المرجعي وقانون أركسين الضعيفتوفير إطار موحد : توحيد الأمثلة المعروفة للسلوك التاريخي تحت إطار قانون أركسينإنشاء ارتباط مع المسارات العشوائية : إثبات أن أنظمة المنتجات المائلة المترافقة مع المسارات العشوائية تظهر السلوك التاريخيتوصيف النقاط الحدية للمقاييس التجريبية : وصف السلوك المقارب لسلسلة المقاييس التجريبية في أنظمة السلوك التاريخيتعريف السلوك التاريخي : بالنسبة لخريطة المنتج المائل F : Ω × M → Ω × M F: \Omega \times M \to \Omega \times M F : Ω × M → Ω × M ، إذا كان لكل نقطة ( ω , x ) (\omega, x) ( ω , x ) تقريباً بالنسبة لـ ( P × Leb ) (P \times \text{Leb}) ( P × Leb ) ، توجد دالة مستمرة ϕ : M → R \phi: M \to \mathbb{R} ϕ : M → R بحيث لا يكون الحد
lim n → ∞ 1 n ∑ j = 0 n − 1 ϕ ( f ω j ( x ) ) \lim_{n \to \infty} \frac{1}{n} \sum_{j=0}^{n-1} \phi(f_\omega^j(x)) lim n → ∞ n 1 ∑ j = 0 n − 1 ϕ ( f ω j ( x ))
موجوداً، فإننا نقول أن F F F تظهر السلوك التاريخي في تلك النقطة.
نعتبر خريطة المنتج المائل:
F : Ω × M → Ω × M , F ( ω , x ) = ( τ ( ω ) , f ω ( x ) ) F: \Omega \times M \to \Omega \times M, \quad F(\omega, x) = (\tau(\omega), f_\omega(x)) F : Ω × M → Ω × M , F ( ω , x ) = ( τ ( ω ) , f ω ( x ))
حيث:
τ : Ω → Ω \tau: \Omega \to \Omega τ : Ω → Ω هي خريطة محفوظة للقياس وإرجوديةf ω : M → M f_\omega: M \to M f ω : M → M هي الخريطة الليفيةM M M هو متعدد طي مضغوط أحادي البعدقانون أركسين الليفي الضعيف : توجد x 0 , x 1 , γ 0 , γ 1 ∈ ( 0 , 1 ) x_0, x_1, \gamma_0, \gamma_1 \in (0,1) x 0 , x 1 , γ 0 , γ 1 ∈ ( 0 , 1 ) بحيث
lim inf n → ∞ P ( 1 n ∑ j = 0 n − 1 1 I i ( γ i ) ( f ω j ( x i ) ) ≤ α ) < 1 \liminf_{n \to \infty} P\left(\frac{1}{n} \sum_{j=0}^{n-1} 1_{I_i(\gamma_i)}(f_\omega^j(x_i)) \leq \alpha\right) < 1 lim inf n → ∞ P ( n 1 ∑ j = 0 n − 1 1 I i ( γ i ) ( f ω j ( x i )) ≤ α ) < 1
لجميع α ∈ ( 0 , 1 ) \alpha \in (0,1) α ∈ ( 0 , 1 ) و i = 0 , 1 i = 0,1 i = 0 , 1 .
قانون أركسين الضعيف : توجد ثوابت γ 0 , γ 1 ∈ ( 0 , 1 ) \gamma_0, \gamma_1 \in (0,1) γ 0 , γ 1 ∈ ( 0 , 1 ) بحيث
lim inf n → ∞ ( P × Leb ) ( ∑ j = 0 n − 1 1 I i ( γ i ) ( f ω j ( x ) ) ≤ α ) < 1 \liminf_{n \to \infty} (P \times \text{Leb})\left(\sum_{j=0}^{n-1} 1_{I_i(\gamma_i)}(f_\omega^j(x)) \leq \alpha\right) < 1 lim inf n → ∞ ( P × Leb ) ( ∑ j = 0 n − 1 1 I i ( γ i ) ( f ω j ( x )) ≤ α ) < 1
بالنسبة للمنتجات المائلة أحادية الخطوة، يُطلب تفاهة جبر سيجما الذيل:
(H0) لكل x ∈ ( 0 , 1 ) x \in (0,1) x ∈ ( 0 , 1 ) ، جبر سيجما الذيل للسلسلة { X n x } n ≥ 1 \{X_n^x\}_{n \geq 1} { X n x } n ≥ 1 (حيث X n x ( ω ) = f ω n ( x ) X_n^x(\omega) = f_\omega^n(x) X n x ( ω ) = f ω n ( x ) ) تافه.
بالنسبة للمنتجات المائلة العامة، يُطلب إرجوديكية المقياس المرجعي:
P × Leb P \times \text{Leb} P × Leb إرجودي بالنسبة لـ F F F .
اللمة الأساسية : تحت الشرط (H0)، دوال الحد الأعلى والأدنى
U ϕ ( ω , x ) = lim sup n → ∞ 1 n ∑ j = 0 n − 1 ϕ ( f ω j ( x ) ) U_\phi(\omega, x) = \limsup_{n \to \infty} \frac{1}{n} \sum_{j=0}^{n-1} \phi(f_\omega^j(x)) U ϕ ( ω , x ) = lim sup n → ∞ n 1 ∑ j = 0 n − 1 ϕ ( f ω j ( x )) L ϕ ( ω , x ) = lim inf n → ∞ 1 n ∑ j = 0 n − 1 ϕ ( f ω j ( x ) ) L_\phi(\omega, x) = \liminf_{n \to \infty} \frac{1}{n} \sum_{j=0}^{n-1} \phi(f_\omega^j(x)) L ϕ ( ω , x ) = lim inf n → ∞ n 1 ∑ j = 0 n − 1 ϕ ( f ω j ( x ))
ثابتة لكل ω \omega ω تقريباً بالنسبة لـ P P P .
عندما تكون الديناميكا الليفية مترافقة مع مسار عشوائي، نستخدم قانون Erdős-Kac أركسين مباشرة للحصول على شرط قانون أركسين الضعيف.
ربط قانون أركسين الضعيف بالسلوك التاريخي من خلال شروط وقت الاحتلال (OT1) و (OT2).
الإعداد : T T T هو تباين Morse-Smale على متعدد طي مضغوط أحادي البعدتعريف المنتج المائل : F T ( ω , x ) = ( τ ( ω ) , T ω 0 ( x ) ) F_T(\omega, x) = (\tau(\omega), T^{\omega_0}(x)) F T ( ω , x ) = ( τ ( ω ) , T ω 0 ( x )) طريقة التحقق : إثبات الترافق مع مسار عشوائي متماثل بسيطالإعداد : F ϕ , ϕ ( ω , x ) = ( τ ( ω ) , ϕ ( ϕ ( ω ) , x ) ) F_{\phi,\phi}(\omega, x) = (\tau(\omega), \phi(\phi(\omega), x)) F ϕ , ϕ ( ω , x ) = ( τ ( ω ) , ϕ ( ϕ ( ω ) , x )) الشروط : ϕ \phi ϕ دالة Hölder مستمرة، تستوفي التوقع صفر وليست محدودة من الأعلىطريقة التحقق : من خلال علاقة الترافق مع الإزاحة المائلةالخريطة الليفية : f ω ( x ) = a ( ω ) x 1 + ( a ( ω ) − 1 ) x f_\omega(x) = \frac{a(\omega)x}{1 + (a(\omega) - 1)x} f ω ( x ) = 1 + ( a ( ω ) − 1 ) x a ( ω ) x الشروط : ∫ log a ( ω ) d P = 0 \int \log a(\omega) dP = 0 ∫ log a ( ω ) d P = 0 ، ∫ ( log a ( ω ) ) 2 d P < ∞ \int (\log a(\omega))^2 dP < \infty ∫ ( log a ( ω ) ) 2 d P < ∞ طريقة التحقق : إثبات الترافق مع مسار عشوائي بمتوسط صفر وتباين محدودالخصائص : خريطة فترة بنقطة ثابتة محايدةالخصائص : تستوفي الإرجوديكية وقانون أركسين الضعيفالأمثلة : دالة Manneville-Pomeau المتماثلةبالنسبة لكل مثال، يتحقق المؤلفون من:
استيفاء شروط الإرجوديكية صحة قانون أركسين الضعيف ظهور السلوك التاريخي توصيف النقاط الحدية للمقاييس التجريبية القضية الأولى : بالنسبة للمنتجات المائلة أحادية الخطوة المترافقة مع المسارات العشوائية، لدينا
lim n → ∞ P ( 1 n ∑ j = 0 n − 1 1 J i ( x ) ( f ω j ( x ) ) ≤ α ) = 2 π arcsin α \lim_{n \to \infty} P\left(\frac{1}{n} \sum_{j=0}^{n-1} 1_{J_i(x)}(f_\omega^j(x)) \leq \alpha\right) = \frac{2}{\pi} \arcsin\sqrt{\alpha} lim n → ∞ P ( n 1 ∑ j = 0 n − 1 1 J i ( x ) ( f ω j ( x )) ≤ α ) = π 2 arcsin α
تحويل ( T , T − 1 ) (T, T^{-1}) ( T , T − 1 ) المعمم :إثبات السلوك التاريخي في كل مكان تقريباً توصيف مجموعة النقاط الحدية: L ( ω , x ) = { λ δ p + ( 1 − λ ) δ q : λ ∈ [ 0 , 1 ] } L(\omega, x) = \{\lambda\delta_p + (1-\lambda)\delta_q : \lambda \in [0,1]\} L ( ω , x ) = { λ δ p + ( 1 − λ ) δ q : λ ∈ [ 0 , 1 ]} تحويل التدفق المائل :إثبات السلوك التاريخي تحت شرط عدم الحد الأعلى توسيع نتيجة Ji-Molinek إلى حالات أوسع حالة المشتق الأسود صفر :إكمال إثبات Bonifant-Milnor توفير التفاصيل التقنية الكاملة دالة ثالر :إعادة النظر في نتيجة Aaronson وآخرين تقديم إثبات جديد تحت الإطار الموحد بالنسبة للأنظمة التي تستوفي الشروط، مجموعة النقاط الحدية لسلسلة المقاييس التجريبية لها بنية خاصة:
L ( ω , x ) = { λ δ 0 + ( 1 − λ ) δ 1 : λ ∈ [ 0 , 1 ] } L(\omega, x) = \{\lambda\delta_0 + (1-\lambda)\delta_1 : \lambda \in [0,1]\} L ( ω , x ) = { λ δ 0 + ( 1 − λ ) δ 1 : λ ∈ [ 0 , 1 ]}
هذا يشير إلى أن المقاييس التجريبية لأنظمة السلوك التاريخي تتذبذب بين مقياسي ديراك.
جميع النتائج صحيحة في معنى ( P × Leb ) (P \times \text{Leb}) ( P × Leb ) -تقريباً في كل نقطة، وهذا هو أقوى نتيجة بالمعنى النظري للقياس.
Ruelle (2001) : إدخال مفهوم السلوك التاريخيTakens (2008) : طرح مسائل البحث والإطار النظرينموذج Bowen Eye : مثال كلاسيكي للسلوك التاريخيLévy (1939) : قانون أركسين لحركة براونيانErdős-Kac (1947) : قانون أركسين للمسارات العشوائيةالتطبيقات الاحتمالية : التطبيق في الأنظمة الديناميكيةMolinek (1994) : البحث المبكر عن السلوك التاريخي للمنتجات المائلةJi-Molinek (2000) : السلوك التاريخي للتدفقات المائلةCrovisier وآخرون (2020) : التطبيق على التباينات شبه الزائديةإطار موحد : إنشاء إطار نظري موحد قائم على قانون أركسين الضعيفشروط كافية : توفير شروط كافية لأنظمة المنتجات المائلة لإظهار السلوك التاريخيتوحيد الأمثلة : توحيد الأمثلة المعروفة في الأدبيات تحت نظرية واحدةارتباط المسارات العشوائية : الكشف عن الارتباط العميق مع المسارات العشوائيةالكفاية : الشروط المقدمة كافية، لكنها قد لا تكون ضروريةقيود البعد : تركز بشكل أساسي على الديناميكا الليفية أحادية البعدافتراضات العد : بعض النتائج تتطلب افتراض أن الأبجدية قابلة للعدالاستمرارية : لا تتطلب استمرارية الخرائط الليفية، لكن هذا قد يحد من نطاق التطبيقالشروط الضرورية : البحث عن شروط ضرورية للسلوك التاريخيالتعميم إلى الأبعاد العالية : توسيع النتائج إلى الديناميكا الليفية متعددة الأبعادالمقاييس الطبيعية : دراسة وجود المقاييس الطبيعية في أنظمة السلوك التاريخيالتطبيقات على الأنظمة الملساء : التطبيق في الأنظمة الديناميكية الملساءالابتكار النظري :إنشاء ارتباط عميق بين الأنظمة الديناميكية ونظرية الاحتمالات توفير إطار نظري موحد تحقيق اختراقات تقنية مهمة الصرامة الرياضية :الإثبات كامل وصارم معالجة التفاصيل التقنية بشكل مناسب تعيين الشروط بشكل معقول نطاق التطبيق الواسع :تغطي الأمثلة الرئيسية في الأدبيات توفير أدوات تحليل جديدة احتمالية التطبيقات الإضافية وضوح الكتابة :البنية واضحة والمنطق صارم شرح الدافع كافٍ التفاصيل التقنية كاملة التعقيد التقني :يتطلب خلفية واسعة في نظرية الاحتمالات والنظرية الإرجودية قد تكون بعض الشروط التقنية قوية جداً الإثبات معقد تقنياً نطاق التطبيق :يقتصر بشكل أساسي على الحالة أحادية البعد بعض الشروط المفترضة تحد من التطبيق الارتباط مع الأنظمة الفعلية يتطلب استكشافاً إضافياً المسائل المفتوحة :ترك بعض المسائل المهمة مفتوحة شروط الضرورة لا تزال غير واضحة مسألة المقاييس الطبيعية لا تزال مفتوحة المساهمة الأكاديمية :توفير أدوات جديدة لنظرية الأنظمة الديناميكية إنشاء ارتباطات بين التخصصات حل مسائل طويلة الأمد القيمة العملية :توفير طرق لتحليل الأنظمة المعقدة المساعدة في فهم الخصائص الإحصائية للأنظمة الفوضوية احتمالية التطبيقات في الفيزياء والهندسة قابلية التكرار :يمكن التحقق من النتائج النظرية يمكن تعميم الطرق على أنظمة أخرى توفير أساس للبحث اللاحق البحث النظري : نظرية الأنظمة الديناميكية، النظرية الإرجودية، نظرية الاحتمالاتالرياضيات التطبيقية : تحليل الأنظمة المعقدة، الفيزياء الإحصائيةالعلوم الحسابية : التحليل العددي للأنظمة الفوضويةالبحث متعدد التخصصات : الفيزياء الرياضية، الرياضيات البيولوجية وغيرهاتستشهد هذه الورقة بعدد كبير من الأدبيات ذات الصلة، تشمل بشكل أساسي:
أدبيات النظرية الأساسية للأنظمة الديناميكية البحث المتعلق بالسلوك التاريخي نظرية قانون أركسين في نظرية الاحتمالات دراسة الأمثلة المحددة لأنظمة المنتجات المائلة الاستشهادات المرجعية شاملة وموثوقة، مما يعكس فهم المؤلفين العميق لهذا المجال.