We say that a sequence $ν_j$ of normalized Borel measures on $R$ is universal if, for any $f\in L_1(X,m)$ and any ergodic flow on the probability space, the following convergence holds: $$\left\|\int_R f(T_{r}x) dν_j(r) -\int f \, dm\right\|\to 0, \ \ j\to \infty.$$ If, for some $n$, the convolution powers $ν_j^{\ast n}$ form a universal sequence for ergodic flows, then $ν_j$ is also universal. This generalizes one of Kozlov-Treschev's results from \cite{KT}.
معرّف الورقة : 2511.09229العنوان : Universal Averaging for Ergodic Flows (التوسيط العام للتدفقات الإرغودية)المؤلف : Ryzhikov V.V.التصنيف : math.DS (الأنظمة الديناميكية)تاريخ النشر : تم تقديمه إلى arXiv في 12 نوفمبر 2025رابط الورقة : https://arxiv.org/abs/2511.09229 تدرس هذه الورقة مسألة التوسيط العام للتدفقات الإرغودية (ergodic flows). يعرّف المؤلف عمومية سلسلة من مقاييس بوريل المعيارية ν j \nu_j ν j على R \mathbb{R} R كالتالي: لأي f ∈ L 1 ( X , m ) f\in L_1(X,m) f ∈ L 1 ( X , m ) وأي تدفق إرغودي، يتحقق التقارب التالي:
∥ ∫ R f ( T r x ) d ν j ( r ) − ∫ f d m ∥ → 0 , j → ∞ \left\|\int_\mathbb{R} f(T_{r}x) d\nu_j(r) -\int f \, dm\right\|\to 0, \quad j\to \infty ∫ R f ( T r x ) d ν j ( r ) − ∫ f d m → 0 , j → ∞
تُظهر النتائج الرئيسية أنه إذا كانت القوى الالتفافية (convolution powers) ν j ∗ n \nu_j^{*n} ν j ∗ n تشكل سلسلة عامة للتدفقات الإرغودية لقيمة معينة من n n n ، فإن ν j \nu_j ν j نفسها تكون عامة أيضاً. وهذا يعمّم نتيجة مهمة لـ Kozlov-Treschev.
تعميم نظرية الإرغودية الكلاسيكية : تتناول النظريات الإرغودية الكلاسيكية التوسيطات المنتظمة (مثل h = χ [ 0 , 1 ] h = \chi_{[0,1]} h = χ [ 0 , 1 ] )، بينما قدّم Kozlov و Treschev في عام 2003 مفهوم التوسيطات المتجانسة المرجحة (weighted homothetic averages) بالشكل:
P t f ( x ) = ∫ R f ( T r t x ) h ( r ) d r P_t f(x) = \int_\mathbb{R} f(T_{rt}x)h(r)dr P t f ( x ) = ∫ R f ( T r t x ) h ( r ) d r حدود النتائج المعروفة : أثبت Kozlov-Treschev في النظرية 1.1 أنه بالنسبة للمقاييس المعيارية المطلقة الاستمرارية بالنسبة لمقياس Lebesgue، يتقارب التوسيط أعلاه إلى ثابت. لكن هذا ترك مسألة أساسية: أي المقاييس الشاذة (singular measures) تمتلك أيضاً خاصية العمومية؟ الدافع البحثي :جذور الالتفاف (convolution roots) للمقاييس المطلقة الاستمرارية قد تكون شاذة الحاجة لفهم استقرار العمومية تحت العمليات الالتفافية استكشاف دور المقاييس الشاذة في نظرية الإرغودية تتمتع هذه المسألة بأهمية أساسية في نظرية الأنظمة الديناميكية لأنها:
توسّع نطاق تطبيق نظريات الإرغودية تكشف الارتباطات العميقة بين بنية الالتفاف للمقاييس وخصائص الإرغودية توفر أدوات جديدة لنظرية الخلط المتعدد والتوسيط غير المنتظم النتيجة النظرية الرئيسية (النظرية 1.2/2.1) : تثبت استقرار العمومية تحت عملية "استخراج جذور الالتفاف" — إذا كانت قوة التفافية معينة ν ∗ n \nu^{*n} ν ∗ n من المقياس ν \nu ν عامة، فإن ν \nu ν نفسها تكون عامة أيضاًالنتائج البنائية : باستخدام المقاييس الطيفية للتحويلات الذاتية Sidon، توفر أمثلة محددة للمقاييس الشاذة العامة — وهي مقاييس شاذة في القوى الالتفافية منخفضة الرتبة لكنها تصبح مطلقة الاستمرارية عند الرتبة d ≥ n d \geq n d ≥ n توصيف التدفقات العامة :تثبت أن جميع التدفقات الخلاطة عامة بالنسبة لفئة المقاييس المستمرة (النظرية 3.1) تثبت أن التدفقات ذات العوامل الصلبة ليست عامة (النظرية 3.2) تبني أمثلة لتدفقات غير خلاطة لكنها عامة (الملاحظة 3.3) طرح مسائل مفتوحة : هل توجد مقاييس عامة جميع قواها الالتفافية شاذة؟المدخلات :
تدفق إرغودي { T t } t ∈ R \{T_t\}_{t\in\mathbb{R}} { T t } t ∈ R على فضاء احتمالي ( X , B , m ) (X, \mathcal{B}, m) ( X , B , m ) مقياس بوريل معياري ν \nu ν على R \mathbb{R} R (أو سلسلة مقاييس { ν j } \{\nu_j\} { ν j } ) دالة f ∈ L 1 ( X , m ) f \in L_1(X,m) f ∈ L 1 ( X , m ) المخرجات : تحديد ما إذا كان المقياس (السلسلة) عاماً، أي ما إذا كان:
∥ ∫ R f ( T r x ) d ν ( r ) − ∫ f d m ∥ L 1 → 0 \left\|\int_\mathbb{R} f(T_r x) d\nu(r) - \int f \, dm\right\|_{L_1} \to 0 ∫ R f ( T r x ) d ν ( r ) − ∫ f d m L 1 → 0
تعريف المؤثر التكاملي P P P :
P f ( x ) = ∫ R f ( T r x ) d ν ( r ) Pf(x) = \int_\mathbb{R} f(T_r x) d\nu(r) P f ( x ) = ∫ R f ( T r x ) d ν ( r )
الملاحظات الرئيسية:
إذا كان P P P يقابل المقياس ν \nu ν ، فإن P n P^n P n يقابل المقياس ν ∗ n \nu^{*n} ν ∗ n (الالتفاف n n n مرات) يعمل P P P كمؤثر الهوية على الدوال الثابتة عند التقييد على فضاء الدوال ذات المتوسط الصفري L 1 0 L_1^0 L 1 0 ، يُرمز له بـ Q Q Q اللمّة : لتكن Q j Q_j Q j سلسلة من المؤثرات العادية في L 2 L_2 L 2 (أي Q j ∗ Q j = Q j Q j ∗ Q_j^* Q_j = Q_j Q_j^* Q j ∗ Q j = Q j Q j ∗ )، إذا تقاربت ∥ Q j n f ∥ → 0 \|Q_j^n f\| \to 0 ∥ Q j n f ∥ → 0 لجميع الدوال ذات المتوسط الصفري f ∈ L 2 f \in L_2 f ∈ L 2 ، فإن ∥ Q j f ∥ → 0 \|Q_j f\| \to 0 ∥ Q j f ∥ → 0 .
خطوط إثبات (حجة ابتدائية لا تعتمد على التمثيل الطيفي):
من ∥ Q j n f ∥ → 0 \|Q_j^n f\| \to 0 ∥ Q j n f ∥ → 0 والقابلية للتبادل بين المؤثرات، نحصل على:
( Q j ∗ Q j ) 2 n f → w 0 (Q_j^* Q_j)^{2n} f \xrightarrow{w} 0 ( Q j ∗ Q j ) 2 n f w 0 هذا يكافئ:
( Q j 2 n − 1 f , Q j 2 n − 1 f ) → 0 (Q_j^{2^n-1} f, Q_j^{2^n-1} f) \to 0 ( Q j 2 n − 1 f , Q j 2 n − 1 f ) → 0 بتقليل الأس تدريجياً:
( Q j ∗ Q j ) 2 n − 1 f → w 0 , … , Q j ∗ Q j f → w 0 (Q_j^* Q_j)^{2^{n-1}} f \xrightarrow{w} 0, \ldots, Q_j^* Q_j f \xrightarrow{w} 0 ( Q j ∗ Q j ) 2 n − 1 f w 0 , … , Q j ∗ Q j f w 0 التقارب الأخير يكافئ ∥ Q j f ∥ → 0 \|Q_j f\| \to 0 ∥ Q j f ∥ → 0 حجة الكثافة : الدوال في L 2 L_2 L 2 ضمن L 1 0 L_1^0 L 1 0 كثيفةالتحكم بالمعايير : ∥ Q j g ∥ 1 ≤ ∥ Q j g ∥ 2 → 0 \|Q_j g\|_1 \leq \|Q_j g\|_2 \to 0 ∥ Q j g ∥ 1 ≤ ∥ Q j g ∥ 2 → 0 (للدوال في L 2 L_2 L 2 )حجة التقريب : لأي f ∈ L 1 0 f \in L_1^0 f ∈ L 1 0 و ϵ > 0 \epsilon > 0 ϵ > 0 ، اختر g ∈ L 2 g \in L_2 g ∈ L 2 بحيث ∥ f − g ∥ 1 < ϵ \|f-g\|_1 < \epsilon ∥ f − g ∥ 1 < ϵ ، ثم بالنسبة لـ j j j كبيرة بما يكفي:
∥ Q j f ∥ 1 ≤ ∥ Q j ( f − g ) ∥ 1 + ∥ Q j g ∥ 1 ≤ ϵ + o ( 1 ) \|Q_j f\|_1 \leq \|Q_j(f-g)\|_1 + \|Q_j g\|_1 \leq \epsilon + o(1) ∥ Q j f ∥ 1 ≤ ∥ Q j ( f − g ) ∥ 1 + ∥ Q j g ∥ 1 ≤ ϵ + o ( 1 ) استقرار جذور الالتفاف : أول نظام يؤسس استقرار العمومية تحت استخراج جذور الالتفاف، وهي نتيجة غير تافهة لأن الشذوذ قد يختفي تحت الالتفافالمعالجة الابتدائية للمؤثرات العادية : تجنب استخدام نظرية الطيف، وتقديم إثبات ابتدائي تماماً يجعل النتيجة أكثر اتساقاًتطبيق تحويلات Sidon الذاتية : استخدام مبتكر لخصائص الطيف لتحويلات Sidon الذاتية لبناء أمثلة محددة، ربط النتائج المجردة للتحليل الدالي بالأنظمة الديناميكية المحددةبناء مقاييس نوع Cantor : في إثبات النظرية 3.2، بناء مقياس يشبه مجموعة Cantor، يستخدم بذكاء السلسلة الصلبة t ( i ) t(i) t ( i ) والسلسلة بطيئة النمو m ( i ) m(i) m ( i ) ملاحظة : هذه ورقة نظرية رياضية بحتة لا تتضمن تجارب عددية أو مجموعات بيانات. جميع النتائج هي براهين رياضية صارمة.
أمثلة بنائية :استخدام تحويلات Sidon الذاتية من المرجع 4 لبناء مقاييس شاذة عامة محددة تحويل المقاييس الطيفية على الدائرة إلى مقاييس على R \mathbb{R} R عبر التدفقات الخاصة (special flows) بناء أمثلة معاكسة :بالنسبة للنظرية 3.2، بناء مقياس نوع Cantor دقيق لا يتقارب إلى ثابت في أوقات الصلابة براهين الوجود :بالنسبة للملاحظة 3.3، الرجوع إلى طريقة المرجع 5 لبناء تدفقات غير خلاطة لكنها عامة إذا كانت قوة التفافية معينة ν ∗ n \nu^{*n} ν ∗ n من مقياس بوريل معياري ν \nu ν عامة بالنسبة للتدفقات الإرغودية، فإن ν \nu ν نفسها تكون عامة.
الأهمية : يسمح لنا باستنتاج وجود مقاييس شاذة عامة من المقاييس المطلقة الاستمرارية المعروفة (المضمونة بالنظرية 1.1).
إذا كانت سلسلة المقاييس { ν j } \{\nu_j\} { ν j } وقواها الالتفافية { ν j ∗ n } \{\nu_j^{*n}\} { ν j ∗ n } عامة، فإن { ν j } \{\nu_j\} { ν j } نفسها تكون عامة.
النتيجة المستنتجة : بالاقتران مع نتيجة Kozlov-Treschev، أي مقياس قوته الالتفافية مطلقة الاستمرارية يكون عاماً.
جميع التدفقات الخلاطة عامة بالنسبة لفئة المقاييس المستمرة.
نقاط الإثبات الرئيسية : استخدام خاصية الخلط μ ( A ∩ T t B ) → μ ( A ) μ ( B ) \mu(A \cap T_t B) \to \mu(A)\mu(B) μ ( A ∩ T t B ) → μ ( A ) μ ( B ) ، التحقق المباشر.
التدفقات ذات العوامل الصلبة ليست عامة.
نقاط البناء :
استخدام السلسلة الصلبة t ( i ) t(i) t ( i ) التي تحقق μ ( A ∩ T t ( i ) A ) → μ ( A ) \mu(A \cap T_{t(i)} A) \to \mu(A) μ ( A ∩ T t ( i ) A ) → μ ( A ) التوسيع إلى μ ( A △ T m ( i ) t ( i ) A ) → 0 \mu(A \triangle T_{m(i)t(i)} A) \to 0 μ ( A △ T m ( i ) t ( i ) A ) → 0 (للسلاسل بطيئة النمو m ( i ) m(i) m ( i ) ) بناء مقياس نوع Cantor، دعمه في نظام من الفترات المتداخلة في الطبقة n n n ، تعريف 2 n 2^n 2 n فترة I 0 , I 1 , … I_0, I_1, \ldots I 0 , I 1 , … ، كل منها بقياس 2 − n 2^{-n} 2 − n اختيار الفترات بحيث p ( i ) t ( i ) ∈ m ( i ) t ( i ) I 0 p(i)t(i) \in m(i)t(i)I_0 p ( i ) t ( i ) ∈ m ( i ) t ( i ) I 0 و μ ( A △ T t A ) < 0.001 μ ( A ) \mu(A \triangle T_t A) < 0.001\mu(A) μ ( A △ T t A ) < 0.001 μ ( A ) النتيجة : بالنسبة لـ f = χ A f = \chi_A f = χ A ، القيمة المتوسطة ∫ R f ( T m ( i ) t ( i ) r x ) d ν ( r ) \int_\mathbb{R} f(T_{m(i)t(i)r}x) d\nu(r) ∫ R f ( T m ( i ) t ( i ) r x ) d ν ( r ) قريبة من f f f وليس من ثابت.
توجد تدفقات غير خلاطة لكنها عامة بالنسبة لجميع المقاييس المستمرة.
فكرة البناء :
عدم خلط سريع على السلسلة n i n_i n i : μ ( A ∩ T n i A ) → μ ( A ) / 2 \mu(A \cap T_{n_i} A) \to \mu(A)/2 μ ( A ∩ T n i A ) → μ ( A ) /2 لكن الفترات البعيدة عن الخلط I k I_k I k صغيرة وقليلة بما يكفي بحيث بالنسبة لجميع المقاييس المستمرة ν \nu ν :
∑ i ν ( J i / t k ) → 0 , k → ∞ \sum_i \nu(J_i/t_k) \to 0, \quad k \to \infty ∑ i ν ( J i / t k ) → 0 , k → ∞ مثال تحويلات Sidon الذاتية :
البدء من تحويل Sidon الذاتي S S S من المرجع 4 مقياسه الطيفي مركز على الدائرة الوحدة بناء تدفق خاص T t T_t T t بدالة عودة ثابتة تساوي 1 المقياس الطيفي الناتج على R \mathbb{R} R شاذ (قوى التفاف منخفضة)، لكن القوى الالتفافية العليا مطلقة الاستمرارية بالنظرية 1.2، هذه المقاييس الشاذة عامة Kozlov-Treschev (2003) 1 :أول من قدم التوسيطات المتجانسة المرجحة أثبت عمومية المقاييس مطلقة الاستمرارية (النظرية 1.1) أسس اتجاه البحث في التوسيط غير المنتظم Ryzhikov (1991) 2 :دراسة التوسيطات المتجانسة للتدفقات متعددة الأبعاد استكشاف العلاقة بين خصائص الخلط والتوسيط إثبات ∫ R μ ( A ∩ T r t B ) h ( r ) d r → μ ( A ) μ ( B ) \int_\mathbb{R} \mu(A \cap T_{rt}B)h(r)dr \to \mu(A)\mu(B) ∫ R μ ( A ∩ T r t B ) h ( r ) d r → μ ( A ) μ ( B ) Bogachev (2020) 3 :مراجعة منهجية لتطبيقات توسيط Kozlov-Treschev في نظريات الإرغودية دراسة تعميمات مختلفة للتوسيط غير المنتظم Ryzhikov (2026) 4 :دراسة الخصائص الطيفية لتحويلات Sidon الذاتية توفير أمثلة على مقاييس تصبح قواها الالتفافية تدريجياً مطلقة الاستمرارية توفير أدوات بناء رئيسية للورقة الحالية Ryzhikov (2021) 5 :دراسة مجموعات الخلط للتحويلات الصلبة إثبات أن بعض التحويلات غير الخلاطة قد تكون خلاطة معظم الوقت توفير الأساس النظري للملاحظة 3.3 مقارنة بالأعمال الموجودة، هذه الورقة:
تؤسس استقرار الالتفاف للمرة الأولى : استقرار العمومية تحت استخراج جذور الالتفاف جديد تماماًتوسّع إلى المقاييس الشاذة : تتجاوز قيود Kozlov-Treschev على الاستمرارية المطلقةتوفر توصيفاً كاملاً للتدفقات العامة : صورة كاملة للتدفقات الخلاطة والصلبة والحالات الوسيطةتقنياً أكثر ابتدائية : تجنب نظرية الطيف العميقة، مما يجعل الإثباتات أكثر إمكانية الوصولاستقرار الالتفاف للعمومية : جذور الالتفاف للمقاييس العامة تبقى عامة، مما يوفر طريقة منهجية لبناء مقاييس عامة جديدةوجود مقاييس شاذة عامة : من خلال تحويلات Sidon الذاتية، إثبات وجود مقاييس شاذة لكنها عامةنظرية البنية للتدفقات العامة :الخلط ⇒ \Rightarrow ⇒ عام (بالنسبة للمقاييس المستمرة) عامل صلب ⇒ \Rightarrow ⇒ غير عام وجود تدفقات غير خلاطة لكنها عامة عدم الصراحة في البناء : بينما يثبت وجود مقاييس شاذة عامة، فإن البناء المحدد يعتمد على نظرية عميقة لتحويلات Sidon الذاتيةقيد المقاييس المستمرة : النظريات 3.1-3.3 تناقش فقط فئة المقاييس المستمرة، الحالات الذرية لم تُعالجعدم معرفة الأمثلية : ما إذا كانت درجة القوة الالتفافية n n n في النظريات مثلى لم يُناقشغياب التقديرات الكمية : لا توجد تقديرات كمية لسرعة التقاربمسائل مفتوحة : هل توجد مقاييس عامة جميع قواها الالتفافية شاذة؟ هذه المسألة الأساسية المطروحة في الورقةنظرية كمية : تأسيس تقديرات لسرعة التقارب، تعتمد على درجة شذوذ المقياستعميم عالي الأبعاد : توسيع النتائج إلى التدفقات على R d \mathbb{R}^d R d استكشاف التطبيقات : تطبيق هذه النتائج في أنظمة ديناميكية محددة (مثل التدفقات الزائدية، التدفقات الهاملتونية)مسائل حسابية : بالنظر إلى مقياس، كيف نحدد ما إذا كان عاماً؟العمق النظري :يكشف الارتباطات العميقة بين بنية الالتفاف للمقاييس وخصائص الإرغودية الإثبات الابتدائي للمؤثرات العادية يعرض براعة تقنية عالية يدمج التحليل الدالي المجرد والأنظمة الديناميكية المحددة بأناقة اكتمال النتائج :لا يثبت فقط النظريات الرئيسية بل يوفر بناءات محددة يوصف بالكامل منظر التدفقات العامة من خلال أمثلة معاكسة (النظرية 3.2) وأمثلة إيجابية (الملاحظة 3.3) المسائل المطروحة لها قيمة بحثية واضحة ابتكار الطريقة :الحجج الابتدائية التي تتجنب نظرية الطيف أكثر إلهاماً براعة بناء مقاييس نوع Cantor فكرة جذور الالتفاف قد تكون لها تطبيقات أوسع وضوح الكتابة :العرض ثنائي اللغة (إنجليزي وروسي) يزيد من إمكانية الوصول خطوط الإثبات واضحة والمنطق صارم الاستشهادات مناسبة والسياق التاريخي واضح قابلية الحساب للأمثلة المحددة :بناء تحويلات Sidon الذاتية مجرد جداً، يصعب إعطاء صيغ صريحة بناء مقياس Cantor في النظرية 3.2 واضح نظرياً لكن معقد حسابياً حدة النتائج :أمثلية "قوة معينة n n n " في النظريات لم تُناقش ما إذا كان يمكن تخفيف الاستمرارية المطلقة إلى شروط أخرى (مثل التباين المحدود) لم يُستكشف حدود تقنيات الإثبات :إثبات لمّة المؤثرات العادية، بينما ابتدائي، ينطبق فقط على فضاء L 2 L_2 L 2 التوسيع من L 2 L_2 L 2 إلى L 1 L_1 L 1 يعتمد على حجج الكثافة، قد يفقد معلومات كمية عدم وضوح الاتجاهات التطبيقية :كعمل نظري بحت، التطبيقات المباشرة محدودة الارتباطات مع فروع رياضية أخرى (مثل التحليل التوافقي، نظرية الأعداد) لم تُستكشف بكفاية المساهمة في المجال :تقدم كبير في نظرية نظريات الإرغودية غير المنتظمة منظور جديد حول دور المقاييس الشاذة في الأنظمة الديناميكية المسائل المفتوحة قد تحفز أبحاثاً لاحقة القيمة العملية :كعمل نظري رياضي بحت، التطبيقات المباشرة محدودة لكن قد يكون هناك تطبيقات محتملة في المتوسطات الطويلة، الفيزياء الإحصائية إمكانية إعادة الإنتاج :جميع الإثباتات براهين رياضية كاملة، قابلة للتحقق بالكامل البناءات النظرية مجردة لكن المنطق واضح التأثير التقني :تقنيات المعالجة الابتدائية للمؤثرات العادية قد تكون مفيدة في مسائل أخرى فكرة استقرار الالتفاف قد تلهم أبحاثاً ذات صلة أبحاث نظرية الإرغودية : توفير أدوات لدراسة التوسيطات غير القياسيةنظرية الطيف : فهم خصائص الطيف للمقاييس من منظور الأنظمة الديناميكيةالتحليل التوافقي : قد يكون للارتباط بين بنية الالتفاف وخصائص الإرغودية تطبيقات في التحليل التوافقيالفيزياء النظرية : في الميكانيكا الإحصائية، قد يكون للمتوسطات غير المنتظمة عبر الزمن معنى فيزيائي1 V.V. Kozlov, D.V. Treschev, On new forms of the ergodic theorem , J. Dynam. Control Systems, 9:3 (2003), 449-453
2 V.V. Ryzhikov, Connection between the mixing properties of a flow and the isomorphicity of the transformations that compose it , Math. Notes, 49:6 (1991), 621-627
3 V.I. Bogachev, Non-uniform Kozlov–Treschev averagings in the ergodic theorem , Russian Math. Surveys, 75:3 (2020), 393-425
4 V.V. Ryzhikov, Спектр и совместная динамика пуассоновских надстроек над преобразованиями ранга один , Матем. сборник, 117:1 (2026)
5 V.V. Ryzhikov, Mixing Sets for Rigid Transformations , Math. Notes, 110:4 (2021), 565-570
الخلاصة : هذه الورقة تمثل تقدماً نظرياً مهماً في مجال نظرية الإرغودية، حيث تؤسس استقرار الالتفاف للمقاييس العامة من خلال تقنيات تحليل دالي ماهرة، وتثبت وجود مقاييس شاذة عامة. بينما تفتقر كعمل نظري بحت إلى التطبيقات المباشرة، فإن المسائل المطروحة والطرق المطورة لها أهمية إلهامية كبيرة للأبحاث اللاحقة في هذا المجال. القيمة الرئيسية للورقة تكمن في تعميق فهمنا للارتباطات بين بنية المقاييس وخصائص الإرغودية للأنظمة الديناميكية.