Dimensions and dimension spectra of Non-autonomous iterated function systems
Miao, Wang
Non-autonomous iterated function systems are a generalization of iterated function systems. If the contractions in the system are conformal mappings, it is called a non-autonomous conformal iterated function system, and its attractor is called a non-autonomous conformal set. In this paper, we study intermediate dimension spectra of non-autonomous conformal sets which provide a unifying framework for Hausdorff and box-counting dimensions. First, we obtain the intermediate dimension spectra formula of non-autonomous conformal sets by using upper and lower topological pressures. As a consequence, we obtain simplified forms of their Hausdorff, packing and box dimensions. Finally, we explore the Hausdorff dimensions of the non-autonomous infinite conformal iterated function systems which consists of countably many conformal mappings at each level, and we provide the Hausdorff dimension formula under certain conditions.
academic
الأبعاد وأطياف الأبعاد لأنظمة الدوال المتكررة غير المستقلة زمنياً
تدرس هذه الورقة نظرية الأبعاد لأنظمة الدوال المتكررة المطابقة غير المستقلة زمنياً (Non-autonomous conformal iterated function systems). يستخدم المؤلفون الضغط الطوبولوجي العلوي والسفلي (upper and lower topological pressures) لإنشاء صيغة لأطياف الأبعاد الوسيطة (intermediate dimension spectra) للمجموعات المطابقة غير المستقلة زمنياً، وهذه الصيغة توفر إطاراً موحداً يربط بين بُعد هاوسدورف وبُعد العد الصندوقي. كنتيجة طبيعية، يحصلون على صيغ مبسطة لبُعد هاوسدورف وبُعد الحزم وبُعد الصندوق. بالإضافة إلى ذلك، تستكشف الورقة بُعد هاوسدورف لأنظمة الدوال المتكررة المطابقة غير المستقلة زمنياً اللانهائية التي تحتوي على عدد لا نهائي معدود من الدوال المطابقة، وتقدم صيغ الأبعاد في ظروف محددة.
المشكلة الأساسية التي تعالجها هذه الورقة هي: كيفية حساب الأبعاد المختلفة (بُعد هاوسدورف، بُعد الصندوق، بُعد الحزم وأطياف الأبعاد الوسيطة) للمجموعات الكسورية المطابقة غير المستقلة زمنياً.
القيمة النظرية: نظرية الأبعاد هي جوهر الهندسة الكسورية، وبُعد هاوسدورف وبُعد الصندوق هما مفهومان أساسيان. بالنسبة للعديد من المجموعات الكسورية غير النمطية (مثل المجموعات ذاتية التشابه غير المستقلة زمنياً، مجموعات موران)، قد لا تكون هذان البُعدان متساويين، وفهم الانتقال بينهما له أهمية نظرية كبيرة.
إطار موحد: الأبعاد الوسيطة (intermediate dimensions) التي قدمها Falconer و Fraser و Kempton في 2016 توفر طيفاً مستمراً يربط بُعد هاوسدورف (θ=0) وبُعد الصندوق (θ=1)، لكن البحث في أطياف الأبعاد الوسيطة للأنظمة غير المستقلة زمنياً لم يكن كافياً.
النتائج المعروفة للأنظمة المستقلة زمنياً: بالنسبة لأنظمة الدوال المتكررة الكلاسيكية (IFS)، قدم Mauldin و Urbański (1996) صيغة الأبعاد للمجموعات ذاتية المطابقة، حيث يحقق البُعد الحرج h المعرّف بواسطة الضغط الطوبولوجي dimₕE = dim_BE = h.
تحديات الأنظمة غير المستقلة زمنياً: في الأنظمة غير المستقلة زمنياً، يمكن أن تكون هناك مجموعات دوال مختلفة في كل طبقة، مما يجعل بنية الجاذب أكثر تعقيداً. الأعمال الموجودة (مثل بحث Hua وآخرين عن مجموعات موران، وعمل Rempe-Gillen و Urbański 2016) تركز بشكل أساسي على ظروف محددة، والشروط لا يمكن استنتاج بعضها من بعض.
صيغة أطياف الأبعاد الوسيطة (Theorem 2.1): بالنسبة للمجموعات المطابقة غير المستقلة زمنياً المحدودة E التي تحقق شرط المجموعة المفتوحة (OSC) والشرط (1.11)، يتم إنشاء توصيف كامل للأبعاد الوسيطة العليا والسفلى:
dim_θ E = s_θ, dim^θ E = s^θ for θ ∈ 0,1
حيث يتم تعريف s_θ و s^θ من خلال نقاط القفز لدوال الضغط العليا والسفلى P(t,θ) و P(t,θ)
صيغ مبسطة لبُعد الصندوق وبُعد الحزم (Theorem 2.2): يثبت أن
dim_P E = dim_B E = s*
حيث يتم تعريف s* من خلال دالة ضغط أبسط P(t)، بدون الحاجة إلى النظر في مجموعات القطع المعقدة للأبعاد الوسيطة
صيغة بُعد هاوسدورف (Theorem 2.3 و Corollary 2.4): تحت شرط أن تكون قياس الحدود صفراً L^d(∂J)=0، يثبت أن
dim_H E = s*
ويتم تخفيف الشرط من (1.11) إلى (1.13)
بُعد الأنظمة اللانهائية (Theorem 2.5): بالنسبة للمجموعات المطابقة غير المستقلة زمنياً اللانهائية، تحت الشرط (2.18) والافتراضات التقنية المتعلقة بتقارب السلاسل، يثبت أن dim_H E = s*
تعميم الشروط (Example 1, Corollary 2.4, Corollary 7.3): من خلال أمثلة محددة، يتم توضيح العلاقات بين الشروط (1.11) و (1.12) و (1.13)، وتقديم نتائج أكثر عمومية تحت الشرط المخروطي
وحدة الأبعاد: تحت الشرط (1.11) و L^d(∂J)=0، تكون الأبعاد الثلاثة الرئيسية للمجموعات المطابقة غير المستقلة زمنياً متساوية:
dim_H E = dim_P E = dim_B E = s*
استمرارية أطياف الأبعاد الوسيطة: بواسطة Proposition 1.1، أطياف الأبعاد dim_θ E و dim^θ E مستمرة على θ∈(0,1]، وتتصل ببُعد هاوسدورف عند θ=0، وتتصل ببُعد الصندوق عند θ=1
المجموعات ذاتية التشابه: بالنسبة للمجموعات ذاتية التشابه التي تحقق شرط المجموعة المفتوحة، بُعد هاوسدورف وبُعد الصندوق متساويان، يُعطى بنقطة الصفر لدالة الضغط
المجموعات ذاتية المطابقة (Mauldin & Urbański 1996):
تعريف القيمة الحرجة h بحيث P(h) = 0
إثبات dim_H E = dim_B E = h
التوسع إلى أنظمة IFS المطابقة اللانهائية
المجموعات ذاتية التشابه الانجذابي (Falconer 1988):
نظرية أبعاد كاملة: تؤسس هذه الورقة نظرية أبعاد كاملة للمجموعات المطابقة غير المستقلة زمنياً تشمل بُعد هاوسدورف وبُعد الصندوق وبُعد الحزم وأطياف الأبعاد الوسيطة
الدور الأساسي لدالة الضغط: يمكن توصيف جميع الأبعاد من خلال القيم الحرجة s* أو s_θ لدالة الضغط الطوبولوجي
جوهر الشروط: الشروط (1.11) أو (1.13) تضمن "التجانس" للنظام على مقاييس مختلفة، وهي مفتاح الحصول على صيغ الأبعاد
جسر من المحدود إلى اللانهائي: من خلال تقنية تقريب الأنظمة الجزئية، يمكن اختزال مشاكل الأنظمة اللانهائية بفعالية إلى الأنظمة المحدودة
لم يتم مناقشة ضرورة الشروط: تركز الورقة بشكل أساسي على الشروط الكافية، ولم تستكشف ما إذا كانت هذه الشروط (مثل (1.11) و (1.13)) ضرورية
قيود الشرط المخروطي: بالنسبة لبُعد هاوسدورف، يستبعد الشرط L^d(∂J)=0 أو الشرط المخروطي بعض المجموعات الكسورية الأولية J
الافتراضات التقنية للأنظمة اللانهائية: الشروط (1)-(3) المتعلقة بتقارب السلاسل في Theorem 2.5 تقنية جداً، وقد يكون من الصعب التحقق منها في المشاكل العملية
الحساب العملي لأطياف الأبعاد الوسيطة: على الرغم من توفير صيغ نظرية، فإن حساب P(t,θ) للأمثلة المحددة يظل تحدياً
دور شرط الفصل القوي: تذكر الورقة أن شرط الفصل القوي (SSC) يمكن أن يزيل متطلب L^d(∂J)=0 (Remark 2)، لكن لم يتم التوسع فيه بالتفصيل
التقييم الشامل: هذه ورقة نظرية رياضية عالية الجودة، تقدم مساهمات مهمة في نظرية الأبعاد لأنظمة الدوال المتكررة المطابقة غير المستقلة زمنياً. تؤسس الورقة إطاراً نظرياً متكاملاً، والإثباتات صارمة، والابتكارات التقنية كبيرة. أوجه القصور الرئيسية تتمثل في نقص أمثلة حسابية محددة ومناقشات التطبيقات، وكذلك عدم كفاية الحدس الهندسي لبعض الشروط. هذا العمل له قيمة نظرية مهمة لمجالات الهندسة الكسورية والأنظمة الديناميكية، ومن المتوقع أن ينتج عنه تأثير أكاديمي كبير.