بُعد هاوسدورف للتقريب الديوفانتي الديناميكي المرتبط بأنظمة الخلط الإرغوديّة

المعلومات الأساسية

• معرّف الورقة: 2502.13051
• العنوان: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
• المؤلف: E. Daviaud (جامعة ليج)
• التصنيف: math.DS (الأنظمة الديناميكية)، math.MG (الهندسة المترية)
• وقت النشر: فبراير 2025 (نسخة أولية على arXiv)
• رابط الورقة: https://arxiv.org/abs/2502.13051

الملخص

تدرس هذه الورقة بُعد هاوسدورف للتقريب الديوفانتي الديناميكي المرتبط بأنظمة الخلط الإرغوديّة. بشكل محدد، عندما تكون المقياس الإرغوديّ ذا بُعد دقيق، يتم إنشاء صيغة تحت شروط الخلط السريع متعدد الحدود للنظام؛ عندما لا يكون المقياس ذا بُعد دقيق، يتم إنشاء نتائج مماثلة تحت افتراضات سرعة خلط فوق متعددة الحدود. كتطبيق، تعمم الورقة نتائج Fan-Schmeling-Troubetzkoy حول خريطة المضاعفة على الدائرة إلى حالة الخريطة (×2,×3) على الطارة ثنائية الأبعاد.

السياق البحثي والدافع

خلفية المشكلة

1. مشكلة التقريب الديوفانتي الكلاسيكية: بالنظر إلى متتالية $(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$، فإن دراسة بُعد مجموعة النقاط التي يمكن تقريبها بواسطة المتتالية بمعدل معين تُعتبر مشكلة أساسية في التقريب الديوفانتي والأنظمة الديناميكية والتحليل متعدد الكسيريات.
2. التطور التاريخي:
   • درس ديريكليه وخينتشين في البداية بُعد هاوسدورف لمجموعات التقريب العقلاني $E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\}$
   • أثبت بيريسنيفيتش وفيلاني أن تقدير $\dim_H E_\psi$ يعادل صحة حدسية دافين-شيفر
   • أثبت كوكولوبولوس وميناردت مؤخراً هذا الحدس، مما أسس $\dim_H E_\psi = \min\{1, s_\psi\}$
3. المشاكل المماثلة في الأنظمة الديناميكية: دراسة مشكلة بُعد المدارات $(T^n(x))_{n\in\mathbb{N}}$ التي تقترب من نقطة معينة، حيث:
   • درس Fan-Schmeling-Troubetzkoy حالة خرائط ماركوف التوسعية على الدائرة
   • عمّم Liao-Seuret النتائج إلى مقاييس جيبس أكثر عمومية
   • درس Persson حالة الأنظمة الخلط الأسية

الدافع البحثي

1. الكمال النظري: اقترح Persson أن بُعد هاوسدورف في حالة الأنظمة الديناميكية يجب أن يكون مماثلاً لحالة التقريب العشوائي
2. الاختراق التقني: تعتمد النتائج الموجودة بشكل أساسي على الحفاظ على الشكل، وتهدف هذه الورقة إلى معالجة الحالة غير الحافظة على الشكل
3. توسيع التطبيقات: تعميم النتائج أحادية البعد إلى المقاييس الذاتية المتشابهة على سجاد بيدفورد-ماكمولين

المساهمات الأساسية

1. إنشاء نظرية كاملة لأنظمة Σ-الخلط: بالنسبة للمقاييس ذات البُعد الدقيق، يتم إعطاء صيغة دقيقة لبُعد هاوسدورف لمجموعات التقريب الديناميكي تحت شروط Σ-الخلط
2. إثبات صيغة البُعد في حالة الخلط فوق متعدد الحدود: بالنسبة إلى $\delta \geq \frac{1}{\dim_H \mu}$، يتم إثبات $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$
3. تعميم نتائج Fan-Schmeling-Troubetzkoy: توسيع النتائج من خريطة ×2 على الدائرة إلى خريطة (×2,×3) على الطارة
4. توفير نتائج الأمثلية: بناء أمثلة مضادة توضح ضرورة شروط الخلط فوق متعدد الحدود
5. تطوير مبدأ نقل الكتلة للمقاييس المحدودة: إنشاء أدوات تقنية قابلة للتطبيق على المقاييس غير الأهلفورس المنتظمة

شرح الطرق

تعريف المهمة

دراسة بُعد هاوسدورف لمجموعات التقريب الديناميكي: $E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ i.o.}\}$ حيث $(r_n)_{n\in\mathbb{N}}$ متتالية متناقصة من الأنصاف القطرية.

إطار العمل التقني الأساسي

1. تعريف خصائص الخلط

التعريف 2.4: لتكن $(T,\mu)$ نظام إرغوديّ على $\mathbb{R}^d$، و $\varphi: \mathbb{N} \to \mathbb{R}_+$ دالة غير متزايدة. يُقال أن $(T,\mu)$ هو $\varphi$-خلط بالنسبة إلى $(C_1, C_2, \gamma)$ إذا كان لكل $A \in C_1$ و $B \in C_2$: $\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)$

يُسمى Σ-خلط عندما $\sum_{n\geq 1} \varphi(n) < +\infty$.

2. بيان النظريات الرئيسية

النظرية 3.2 (حالة Σ-الخلط): لتكن $(T,\mu)$ نظام إرغوديّ Σ-خلط، و $\mu$ ذا بُعد دقيق. بالنسبة إلى متتالية متناقصة $r = (r_n)_{n\in\mathbb{N}}$ تحقق $s_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu$ فإنه بالنسبة إلى $\mu$-تقريباً كل $x$، لدينا $\dim_H E(x,r) = s_r$.

النظرية 3.4 (حالة الخلط فوق متعدد الحدود): لتكن $(T,\mu)$ نظام إرغوديّ خلط فوق متعدد الحدود، و $\dim_H \mu > 0$. بالنسبة إلى كل $\delta \geq \frac{1}{\dim_H \mu}$، بالنسبة إلى $\mu$-تقريباً كل $x$ لدينا: $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$

نقاط الابتكار التقني

1. لمّا ديناميكي من نوع بوريل-كانتيللي

اللمّا 6.5: إنشاء نسخة ديناميكية من لمّا بوريل-كانتيللي لأنظمة Σ-الخلط، مما يثبت: $\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1$

2. تقديرات دقيقة لأوقات الاصطدام

القضية 2.2: بالنسبة إلى أنظمة Σ-الخلط، يتم إثبات أن وقت الاصطدام $\tau_r(x,y)$ يحقق: $\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1$

3. مبدأ نقل الكتلة للمقاييس المحدودة

النظرية 6.1: تعميم مبدأ نقل الكتلة الكلاسيكي إلى حالة المقاييس المحدودة، باستخدام محتوى هاوسدورف الأساسي $\mu$: $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

الإعداد التجريبي

التحقق النظري

هذه الورقة عمل نظري بشكل أساسي، يتم التحقق من النتائج بالطرق التالية:

1. المقارنة مع النتائج المعروفة: استرجاع نتائج Fan-Schmeling-Troubetzkoy وآخرين في الحالات الخاصة
2. بناء الأمثلية: بناء أمثلة مضادة في ورقة مصاحبة توضح ضرورة شروط الخلط
3. أمثلة التطبيق: تطبيق النتائج على المقاييس الذاتية المتشابهة على سجاد بيدفورد-ماكمولين

تطبيق سجاد بيدفورد-ماكمولين

القضية 3.10: يتم إثبات أن المقاييس الذاتية المتشابهة المرتبطة بسجاد $(m,n)$-بيدفورد-ماكمولين $\mu$ تحقق خاصية Σ-الخلط: $\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B)$ حيث $C > 0$ و $\tau < 1$.

النتائج التجريبية

النتائج الرئيسية

1. التوصيف الكامل لحالة البُعد الدقيق

بالنسبة إلى المقاييس ذات البُعد الدقيق وأنظمة Σ-الخلط، يتم إنشاء نظرية كاملة لبُعد هاوسدورف لمجموعات التقريب الديناميكي، مما يعمّم النتائج من حالة التقريب العشوائي بالكامل إلى الإعداد الديناميكي.

2. شروط كافية للخلط فوق متعدد الحدود

يتم إثبات أنه عندما $\delta \geq \frac{1}{\dim_H \mu}$، فإن شروط الخلط فوق متعدد الحدود كافية لضمان صيغة البُعد $\frac{1}{\delta}$، مما يؤكد حدس Persson.

3. تطبيق على سجاد بيدفورد-ماكمولين

النتيجة 3.12: بالنسبة إلى المقاييس الذاتية المتشابهة على سجاد $(m,n)$-بيدفورد-ماكمولين $\mu$، تحت افتراضات الانتظام متعدد الكسيريات، لدينا: